runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454083-1307193365/watcher-3454083-1307193365 -o /tmp/evaluation-result-3454083-1307193365/solver-3454083-1307193365 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454083-1307193365.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.62 3.66 3.40 2/394 22609
/proc/meminfo: memFree=21711624/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 3125 0 1 0 0 0 0 0 25 0 2 0 830936982 10681323520 2827 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2607745 2834 912 9 0 2598901 0
[pid=22609/tid=22610] ppid=22607 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) R 22607 22609 19222 0 -1 4202560 3739 0 1 0 0 0 0 0 25 0 2 0 830936983 10694979584 4555 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.091604 s]
/proc/loadavg: 3.62 3.66 3.40 2/394 22609
/proc/meminfo: memFree=21711624/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10605372 CPUtime=0.09 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 12987 0 1 0 8 1 0 0 25 0 18 0 830936982 10859900928 12650 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2651343 12650 2092 9 0 2642077 0
[pid=22609/tid=22610] ppid=22607 vsize=10605372 CPUtime=0.08 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) R 22607 22609 19222 0 -1 4202560 11053 0 1 0 7 1 0 0 18 0 18 0 830936983 10859900928 12650 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 47055910721555 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10605372
[startup+0.100602 s]
/proc/loadavg: 3.62 3.66 3.40 2/394 22609
/proc/meminfo: memFree=21711624/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10605372 CPUtime=0.1 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 13130 0 1 0 9 1 0 0 25 0 18 0 830936982 10859900928 12793 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2651343 12793 2092 9 0 2642077 0
[pid=22609/tid=22610] ppid=22607 vsize=10605372 CPUtime=0.09 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) R 22607 22609 19222 0 -1 4202560 11197 0 1 0 8 1 0 0 18 0 18 0 830936983 10859900928 12794 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 47055912819539 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605372
[startup+0.300569 s]
/proc/loadavg: 3.62 3.66 3.40 2/394 22609
/proc/meminfo: memFree=21711624/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10610000 CPUtime=0.21 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 13932 0 1 0 20 1 0 0 25 0 19 0 830936982 10864640000 13595 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2652500 13595 2166 9 0 2643234 0
[pid=22609/tid=22610] ppid=22607 vsize=10610000 CPUtime=0.15 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11717 0 1 0 14 1 0 0 19 0 19 0 830936983 10864640000 13595 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10610000
[startup+0.7005 s]
/proc/loadavg: 3.62 3.66 3.40 2/394 22609
/proc/meminfo: memFree=21711624/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10610000 CPUtime=0.23 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 14068 0 1 0 22 1 0 0 25 0 19 0 830936982 10864640000 13731 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2652500 13731 2167 9 0 2643234 0
[pid=22609/tid=22610] ppid=22607 vsize=10610000 CPUtime=0.16 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11788 0 1 0 15 1 0 0 16 0 19 0 830936983 10864640000 13731 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10610000
[startup+1.50134 s]
/proc/loadavg: 3.62 3.66 3.40 3/413 22634
/proc/meminfo: memFree=21664336/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10610140 CPUtime=0.29 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 14392 0 1 0 28 1 0 0 25 0 19 0 830936982 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2652535 14012 2196 9 0 2643269 0
[pid=22609/tid=22610] ppid=22607 vsize=10610140 CPUtime=0.16 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11820 0 1 0 15 1 0 0 15 0 19 0 830936983 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22612] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22612/stat : 22612 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22613] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22613/stat : 22613 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22614] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22614/stat : 22614 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22615] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22615/stat : 22615 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22616] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22616/stat : 22616 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22617] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22617/stat : 22617 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22618] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22618/stat : 22618 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22619] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22619/stat : 22619 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22620] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22620/stat : 22620 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830936985 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22621] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22621/stat : 22621 (java) S 22607 22609 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830936986 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22622] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22622/stat : 22622 (java) S 22607 22609 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830936986 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22623] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22623/stat : 22623 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22624] ppid=22607 vsize=10610140 CPUtime=0.05 cores=1,3,5,7
/proc/22609/task/22624/stat : 22624 (java) S 22607 22609 19222 0 -1 4202560 576 0 0 0 5 0 0 0 16 0 19 0 830936988 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22625] ppid=22607 vsize=10610140 CPUtime=0.02 cores=1,3,5,7
/proc/22609/task/22625/stat : 22625 (java) S 22607 22609 19222 0 -1 4202560 667 0 0 0 2 0 0 0 16 0 19 0 830936988 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22626] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22626/stat : 22626 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22627] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22627/stat : 22627 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830936988 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22634] ppid=22607 vsize=10610140 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22634/stat : 22634 (java) S 22607 22609 19222 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830937050 10864783360 14012 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10610140
[startup+3.10105 s]
/proc/loadavg: 3.62 3.66 3.40 3/413 22640
/proc/meminfo: memFree=21654292/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10620736 CPUtime=1.54 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 28471 0 1 0 152 2 0 0 25 0 19 0 830936982 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2655184 23540 2223 9 0 2645918 0
[pid=22609/tid=22610] ppid=22607 vsize=10620736 CPUtime=0.17 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11914 0 1 0 16 1 0 0 16 0 19 0 830936983 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22612] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22612/stat : 22612 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22613] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22613/stat : 22613 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22614] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22614/stat : 22614 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22615] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22615/stat : 22615 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22616] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22616/stat : 22616 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22617] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22617/stat : 22617 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22618] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22618/stat : 22618 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22619] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22619/stat : 22619 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936984 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22620] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22620/stat : 22620 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830936985 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22621] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22621/stat : 22621 (java) S 22607 22609 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830936986 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22622] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22622/stat : 22622 (java) S 22607 22609 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830936986 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22623] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22623/stat : 22623 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22624] ppid=22607 vsize=10620736 CPUtime=0.42 cores=1,3,5,7
/proc/22609/task/22624/stat : 22624 (java) S 22607 22609 19222 0 -1 4202560 5502 0 0 0 42 0 0 0 16 0 19 0 830936988 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22625] ppid=22607 vsize=10620736 CPUtime=0.4 cores=1,3,5,7
/proc/22609/task/22625/stat : 22625 (java) S 22607 22609 19222 0 -1 4202560 4721 0 0 0 40 0 0 0 16 0 19 0 830936988 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22626] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22626/stat : 22626 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22627] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22627/stat : 22627 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830936988 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22640] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22640/stat : 22640 (java) S 22607 22609 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830937152 10875633664 23540 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10620736
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.90091 s]
/proc/loadavg: 3.62 3.66 3.40 3/413 22649
/proc/meminfo: memFree=21622648/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10620736 CPUtime=2.09 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 37110 0 1 0 205 4 0 0 25 0 19 0 830936982 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2655184 31908 2253 9 0 2645918 0
[pid=22609/tid=22610] ppid=22607 vsize=10620736 CPUtime=0.17 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11979 0 1 0 16 1 0 0 16 0 19 0 830936983 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22612] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22612/stat : 22612 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22613] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22613/stat : 22613 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22614] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22614/stat : 22614 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22615] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22615/stat : 22615 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22616] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22616/stat : 22616 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22617] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22617/stat : 22617 (java) S 22607 22609 19222 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22618] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22618/stat : 22618 (java) S 22607 22609 19222 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22619] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22619/stat : 22619 (java) S 22607 22609 19222 0 -1 4202560 250 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22620] ppid=22607 vsize=10620736 CPUtime=0.01 cores=1,3,5,7
/proc/22609/task/22620/stat : 22620 (java) S 22607 22609 19222 0 -1 4202560 483 0 0 0 1 0 0 0 15 0 19 0 830936985 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22621] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22621/stat : 22621 (java) S 22607 22609 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22622] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22622/stat : 22622 (java) S 22607 22609 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22623] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22623/stat : 22623 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22624] ppid=22607 vsize=10620736 CPUtime=0.56 cores=1,3,5,7
/proc/22609/task/22624/stat : 22624 (java) S 22607 22609 19222 0 -1 4202560 5531 0 0 0 56 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22625] ppid=22607 vsize=10620736 CPUtime=0.49 cores=1,3,5,7
/proc/22609/task/22625/stat : 22625 (java) S 22607 22609 19222 0 -1 4202560 5001 0 0 0 49 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22626] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22626/stat : 22626 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22627] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22627/stat : 22627 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22640] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22640/stat : 22640 (java) S 22607 22609 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830937152 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10620736
[startup+4.10089 s]
/proc/loadavg: 3.62 3.66 3.40 3/413 22649
/proc/meminfo: memFree=21622648/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10620736 CPUtime=2.09 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 37110 0 1 0 205 4 0 0 25 0 19 0 830936982 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2655184 31908 2253 9 0 2645918 0
[pid=22609/tid=22610] ppid=22607 vsize=10620736 CPUtime=0.17 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11979 0 1 0 16 1 0 0 16 0 19 0 830936983 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22612] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22612/stat : 22612 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22613] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22613/stat : 22613 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22614] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22614/stat : 22614 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22615] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22615/stat : 22615 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22616] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22616/stat : 22616 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22617] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22617/stat : 22617 (java) S 22607 22609 19222 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22618] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22618/stat : 22618 (java) S 22607 22609 19222 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22619] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22619/stat : 22619 (java) S 22607 22609 19222 0 -1 4202560 250 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22620] ppid=22607 vsize=10620736 CPUtime=0.01 cores=1,3,5,7
/proc/22609/task/22620/stat : 22620 (java) S 22607 22609 19222 0 -1 4202560 483 0 0 0 1 0 0 0 15 0 19 0 830936985 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22621] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22621/stat : 22621 (java) S 22607 22609 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22622] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22622/stat : 22622 (java) S 22607 22609 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22623] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22623/stat : 22623 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22624] ppid=22607 vsize=10620736 CPUtime=0.56 cores=1,3,5,7
/proc/22609/task/22624/stat : 22624 (java) S 22607 22609 19222 0 -1 4202560 5531 0 0 0 56 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22625] ppid=22607 vsize=10620736 CPUtime=0.49 cores=1,3,5,7
/proc/22609/task/22625/stat : 22625 (java) S 22607 22609 19222 0 -1 4202560 5001 0 0 0 49 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22626] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22626/stat : 22626 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22627] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22627/stat : 22627 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22640] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22640/stat : 22640 (java) S 22607 22609 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830937152 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10620736
[startup+4.20087 s]
/proc/loadavg: 3.62 3.66 3.40 3/413 22649
/proc/meminfo: memFree=21622648/32951124 swapFree=37148216/67111528
[pid=22609] ppid=22607 vsize=10620736 CPUtime=2.09 cores=1,3,5,7
/proc/22609/stat : 22609 (java) S 22607 22609 19222 0 -1 4202496 37110 0 1 0 205 4 0 0 25 0 19 0 830936982 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22609/statm: 2655184 31908 2253 9 0 2645918 0
[pid=22609/tid=22610] ppid=22607 vsize=10620736 CPUtime=0.17 cores=1,3,5,7
/proc/22609/task/22610/stat : 22610 (java) S 22607 22609 19222 0 -1 4202560 11979 0 1 0 16 1 0 0 16 0 19 0 830936983 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22612] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22612/stat : 22612 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22613] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22613/stat : 22613 (java) S 22607 22609 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22614] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22614/stat : 22614 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22615] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22615/stat : 22615 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22616] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22616/stat : 22616 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22617] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22617/stat : 22617 (java) S 22607 22609 19222 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22618] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22618/stat : 22618 (java) S 22607 22609 19222 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=22609/tid=22619] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22619/stat : 22619 (java) S 22607 22609 19222 0 -1 4202560 250 0 0 0 0 0 0 0 18 0 19 0 830936984 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22620] ppid=22607 vsize=10620736 CPUtime=0.01 cores=1,3,5,7
/proc/22609/task/22620/stat : 22620 (java) S 22607 22609 19222 0 -1 4202560 483 0 0 0 1 0 0 0 15 0 19 0 830936985 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=22609/tid=22621] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22621/stat : 22621 (java) S 22607 22609 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22622] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22622/stat : 22622 (java) S 22607 22609 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830936986 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22623] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22623/stat : 22623 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22624] ppid=22607 vsize=10620736 CPUtime=0.56 cores=1,3,5,7
/proc/22609/task/22624/stat : 22624 (java) S 22607 22609 19222 0 -1 4202560 5531 0 0 0 56 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22625] ppid=22607 vsize=10620736 CPUtime=0.49 cores=1,3,5,7
/proc/22609/task/22625/stat : 22625 (java) S 22607 22609 19222 0 -1 4202560 5001 0 0 0 49 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22626] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22626/stat : 22626 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=22609/tid=22627] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22627/stat : 22627 (java) S 22607 22609 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830936988 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=22609/tid=22640] ppid=22607 vsize=10620736 CPUtime=0 cores=1,3,5,7
/proc/22609/task/22640/stat : 22640 (java) S 22607 22609 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830937152 10875633664 31908 33554432000 1073741824 1073778376 140735793831840 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10620736
Child status: 30
Real time (s): 4.24295
CPU time (s): 2.11768
CPU user time (s): 2.07069
CPU system time (s): 0.046992
CPU usage (%): 49.9105
Max. virtual memory (cumulated for all children) (KiB): 10620736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.07069
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37122
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= 425
involuntary context switches= 81
runsolver used 0.027995 second user time and 0.055991 second system time
The end