runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//c2164c84-b015-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.result -sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.13 1.07 1.02 5/35 715
/proc/meminfo: memFree=666788/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=11360 CPUtime=0
/proc/714/stat : 714 (java) R 713 713 19908 34817 19908 4202496 918 0 0 0 0 0 0 0 25 0 2 0 67429431 11632640 652 1283457024 134512640 134550932 4292951872 18446744073709551615 4159270504 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 2840 652 285 10 0 1186 0
[pid=714/tid=715] ppid=713 vsize=11360 CPUtime=0
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 67429432 11632640 652 1283457024 134512640 134550932 4292951872 18446744073709551615 4159270504 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.13485 s]
/proc/loadavg: 1.13 1.07 1.02 5/35 715
/proc/meminfo: memFree=666788/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=410204 CPUtime=0.13
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 4150 0 1 0 9 4 0 0 25 0 9 0 67429431 420048896 3581 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102551 3581 1940 10 0 96699 0
[pid=714/tid=715] ppid=713 vsize=410204 CPUtime=0.11
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 2937 0 1 0 9 2 0 0 25 0 9 0 67429432 420048896 3581 1283457024 134512640 134550932 4292951872 18446744073709551615 4114628436 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412776

[startup+0.204861 s]
/proc/loadavg: 1.13 1.07 1.02 5/35 715
/proc/meminfo: memFree=666788/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=410204 CPUtime=0.2
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 4591 0 1 0 16 4 0 0 25 0 9 0 67429431 420048896 4022 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102551 4022 1940 10 0 96699 0
[pid=714/tid=715] ppid=713 vsize=410204 CPUtime=0.18
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 3378 0 1 0 16 2 0 0 25 0 9 0 67429432 420048896 4022 1283457024 134512640 134550932 4292951872 18446744073709551615 4114611550 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412776

[startup+0.304884 s]
/proc/loadavg: 1.13 1.07 1.02 5/35 715
/proc/meminfo: memFree=666788/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=410204 CPUtime=0.3
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 5321 0 1 0 26 4 0 0 25 0 9 0 67429431 420048896 4751 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102551 4751 1946 10 0 96699 0
[pid=714/tid=715] ppid=713 vsize=410204 CPUtime=0.27
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 3511 0 1 0 25 2 0 0 25 0 9 0 67429432 420048896 4751 1283457024 134512640 134550932 4292951872 18446744073709551615 4114574819 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412776

[startup+0.705023 s]
/proc/loadavg: 1.13 1.07 1.02 5/35 715
/proc/meminfo: memFree=666788/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=410752 CPUtime=0.69
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 12906 0 1 0 60 9 0 0 25 0 9 0 67429431 420610048 12152 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102688 12152 2900 10 0 96836 0
[pid=714/tid=715] ppid=713 vsize=410752 CPUtime=0.46
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 4200 0 1 0 44 2 0 0 25 0 9 0 67429432 420610048 12152 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 413324

[startup+1.50528 s]
/proc/loadavg: 1.13 1.07 1.02 2/43 723
/proc/meminfo: memFree=608432/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=410752 CPUtime=1.49
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 27497 0 1 0 137 12 0 0 25 0 9 0 67429431 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102688 26743 2900 10 0 96836 0
[pid=714/tid=715] ppid=713 vsize=410752 CPUtime=0.78
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 6824 0 1 0 75 3 0 0 24 0 9 0 67429432 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=410752 CPUtime=0.66
/proc/714/task/717/stat : 717 (java) R 713 713 19908 34817 19908 4202560 19289 0 0 0 60 6 0 0 18 0 9 0 67429433 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4151174057 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=410752 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 67429433 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=410752 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 67429433 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=410752 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 67429434 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=410752 CPUtime=0.03
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 443 0 0 0 2 1 0 0 21 0 9 0 67429434 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=410752 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 67429434 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=410752 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 67429434 420610048 26743 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413324

[startup+3.10573 s]
/proc/loadavg: 1.13 1.07 1.02 2/43 723
/proc/meminfo: memFree=532800/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=3.09
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 42124 0 1 0 293 16 0 0 25 0 10 0 67429431 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 41285 2924 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=1.79
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9909 0 1 0 174 5 0 0 25 0 10 0 67429432 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4115498690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.16
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 30738 0 0 0 108 8 0 0 16 0 10 0 67429433 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 531 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 41285 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413660

[startup+6.30644 s]
/proc/loadavg: 1.12 1.07 1.02 2/44 724
/proc/meminfo: memFree=508984/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=6.29
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43405 0 1 0 613 16 0 0 25 0 10 0 67429431 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 42566 2924 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=4.96
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9909 0 1 0 491 5 0 0 25 0 10 0 67429432 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4115572268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.18
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32016 0 0 0 110 8 0 0 15 0 10 0 67429433 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 534 0 0 0 11 1 0 0 16 0 10 0 67429434 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 42566 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413660

[startup+12.7081 s]
/proc/loadavg: 1.11 1.07 1.02 2/44 724
/proc/meminfo: memFree=510100/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=12.68
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1252 16 0 0 25 0 10 0 67429431 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 42100 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=11.17
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1112 5 0 0 25 0 10 0 67429432 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4114602277 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.36
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32027 0 0 0 128 8 0 0 15 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413660

Solver just ended. Dumping a history of the last processes samples

[startup+14.3083 s]
/proc/loadavg: 1.10 1.07 1.01 2/44 724
/proc/meminfo: memFree=510100/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=14.28
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1412 16 0 0 25 0 10 0 67429431 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 42100 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=12.77
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1272 5 0 0 25 0 10 0 67429432 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4115542173 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.36
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32027 0 0 0 128 8 0 0 15 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 413660

[startup+15.9086 s]
/proc/loadavg: 1.10 1.07 1.01 3/44 724
/proc/meminfo: memFree=510100/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=15.88
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1572 16 0 0 25 0 10 0 67429431 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 42100 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=14.37
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1432 5 0 0 25 0 10 0 67429432 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4115571996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.36
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32027 0 0 0 128 8 0 0 15 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) R 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 413660

[startup+16.3287 s]
/proc/loadavg: 1.10 1.07 1.01 3/44 724
/proc/meminfo: memFree=510100/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=16.3
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1614 16 0 0 25 0 10 0 67429431 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 42100 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=14.72
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1467 5 0 0 25 0 10 0 67429432 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.44
/proc/714/task/717/stat : 717 (java) R 713 713 19908 34817 19908 4202560 32027 0 0 0 136 8 0 0 15 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4152987188 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 42100 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.3
Current children cumulated vsize (KiB) 413660

[startup+16.7088 s]
/proc/loadavg: 1.10 1.07 1.01 3/44 724
/proc/meminfo: memFree=529940/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=16.68
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1652 16 0 0 25 0 10 0 67429431 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 37166 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=15.09
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1504 5 0 0 25 0 10 0 67429432 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4115542173 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.45
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32027 0 0 0 136 9 0 0 16 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) R 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 413660

[startup+16.8088 s]
/proc/loadavg: 1.10 1.07 1.01 3/44 724
/proc/meminfo: memFree=529940/1048576 swapFree=0/0
[pid=713] ppid=712 vsize=2572 CPUtime=0
/proc/713/stat : 713 (gj-user-solver-) S 712 713 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 67429431 2633728 270 1283457024 134512640 135304128 4292044544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/713/statm: 643 270 229 194 0 30 0
[pid=714] ppid=713 vsize=411088 CPUtime=16.78
/proc/714/stat : 714 (java) S 713 713 19908 34817 19908 4202496 43421 0 1 0 1662 16 0 0 25 0 10 0 67429431 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/714/statm: 102772 37166 2920 10 0 96917 0
[pid=714/tid=715] ppid=713 vsize=411088 CPUtime=15.19
/proc/714/task/715/stat : 715 (java) R 713 713 19908 34817 19908 4202560 9910 0 1 0 1514 5 0 0 25 0 10 0 67429432 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4115553605 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=714/tid=717] ppid=713 vsize=411088 CPUtime=1.45
/proc/714/task/717/stat : 717 (java) S 713 713 19908 34817 19908 4202560 32027 0 0 0 136 9 0 0 16 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=718] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/718/stat : 718 (java) S 713 713 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=719] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/719/stat : 719 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67429433 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=720] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/720/stat : 720 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=721] ppid=713 vsize=411088 CPUtime=0.12
/proc/714/task/721/stat : 721 (java) S 713 713 19908 34817 19908 4202560 538 0 0 0 11 1 0 0 15 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=722] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/722/stat : 722 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=723] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/723/stat : 723 (java) S 713 713 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67429434 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=714/tid=724] ppid=713 vsize=411088 CPUtime=0
/proc/714/task/724/stat : 724 (java) S 713 713 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 67429683 420954112 37166 1283457024 134512640 134550932 4292951872 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 413660

Child status: 0
Real time (s): 16.8938
CPU time (s): 16.8371
CPU user time (s): 16.653
CPU system time (s): 0.184011
CPU usage (%): 99.6638
Max. virtual memory (cumulated for all children) (KiB): 413660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.653
system time used= 0.184011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1017
involuntary context switches= 1164

runsolver used 0 second user time and 0.012 second system time

The end