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-3453600-1307195815/watcher-3453600-1307195815 -o /tmp/evaluation-result-3453600-1307195815/solver-3453600-1307195815 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453600-1307195815.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.56 3.62 3.53 2/538 20582
/proc/meminfo: memFree=21042524/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 3543 0 1 0 0 0 0 0 25 0 2 0 831178147 10694979584 3244 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2611079 3259 917 9 0 2602235 0
[pid=20582/tid=20583] ppid=20580 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) R 20580 20582 20304 0 -1 4202560 5734 0 1 0 0 0 0 0 25 0 2 0 831178148 10694979584 6550 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0599259 s]
/proc/loadavg: 3.56 3.62 3.53 2/538 20582
/proc/meminfo: memFree=21042524/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 11531 0 1 0 3 1 0 0 25 0 13 0 831178147 10718838784 11227 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2616904 11228 1686 9 0 2607652 0
[pid=20582/tid=20583] ppid=20580 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) R 20580 20582 20304 0 -1 4202560 10383 0 1 0 3 1 0 0 21 0 13 0 831178148 10718838784 11228 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512518603 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.122952 s]
/proc/loadavg: 3.56 3.62 3.53 2/538 20582
/proc/meminfo: memFree=21042524/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10539792 CPUtime=0.13 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 13361 0 1 0 11 2 0 0 25 0 18 0 831178147 10792747008 13032 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2634948 13033 2133 9 0 2625682 0
[pid=20582/tid=20583] ppid=20580 vsize=10539792 CPUtime=0.09 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) R 20580 20582 20304 0 -1 4202560 11356 0 1 0 8 1 0 0 25 0 18 0 831178148 10792747008 13033 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 46982752097928 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539792
[startup+0.300802 s]
/proc/loadavg: 3.56 3.62 3.53 2/538 20582
/proc/meminfo: memFree=21042524/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10541024 CPUtime=0.47 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 16474 0 1 0 45 2 0 0 25 0 18 0 831178147 10794008576 15781 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2635256 15781 2213 9 0 2625990 0
[pid=20582/tid=20583] ppid=20580 vsize=10541024 CPUtime=0.27 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) R 20580 20582 20304 0 -1 4202560 12988 0 1 0 26 1 0 0 25 0 18 0 831178148 10794008576 15781 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 46912505121170 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541024
[startup+0.700725 s]
/proc/loadavg: 3.56 3.62 3.53 2/538 20582
/proc/meminfo: memFree=21042524/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10555064 CPUtime=1.94 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 27414 0 1 0 190 4 0 0 25 0 22 0 831178147 10808385536 22682 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2638766 22682 2235 9 0 2629500 0
[pid=20582/tid=20583] ppid=20580 vsize=10555064 CPUtime=0.3 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) S 20580 20582 20304 0 -1 4202560 13485 0 1 0 28 2 0 0 25 0 22 0 831178148 10808385536 22682 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10555064
Solver just ended. Dumping a history of the last processes samples
[startup+1.1207 s]
/proc/loadavg: 3.56 3.62 3.53 5/560 20604
/proc/meminfo: memFree=20900688/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10556800 CPUtime=3.36 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 55017 0 1 0 329 7 0 0 25 0 22 0 831178147 10810163200 47077 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2639200 47079 2239 9 0 2629934 0
[pid=20582/tid=20583] ppid=20580 vsize=10556800 CPUtime=0.3 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) S 20580 20582 20304 0 -1 4202560 13485 0 1 0 28 2 0 0 20 0 22 0 831178148 10810163200 47081 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
[pid=20582/tid=20585] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20585/stat : 20585 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20586] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20586/stat : 20586 (java) S 20580 20582 20304 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47084 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20587] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20587/stat : 20587 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47086 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20588] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20588/stat : 20588 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47087 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20589] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20589/stat : 20589 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47089 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20590] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20590/stat : 20590 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47090 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20591] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20591/stat : 20591 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47093 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20592] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20592/stat : 20592 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178149 10810163200 47095 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20593] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20593/stat : 20593 (java) S 20580 20582 20304 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831178150 10810163200 47097 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 0 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20594] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20594/stat : 20594 (java) S 20580 20582 20304 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 831178151 10810163200 47099 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20595] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20595/stat : 20595 (java) S 20580 20582 20304 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831178151 10810163200 47100 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20596] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20596/stat : 20596 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831178153 10810163200 47102 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512515505 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20597] ppid=20580 vsize=10556800 CPUtime=0.74 cores=1,3,5,7
/proc/20582/task/20597/stat : 20597 (java) S 20580 20582 20304 0 -1 4202560 8362 0 0 0 73 1 0 0 25 0 22 0 831178153 10810163200 47104 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20598] ppid=20580 vsize=10556800 CPUtime=0.73 cores=1,3,5,7
/proc/20582/task/20598/stat : 20598 (java) S 20580 20582 20304 0 -1 4202560 6258 0 0 0 73 0 0 0 16 0 22 0 831178153 10810163200 47105 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20599] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20599/stat : 20599 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178153 10810163200 47107 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20600] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20600/stat : 20600 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 831178153 10810163200 47109 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
[pid=20582/tid=20601] ppid=20580 vsize=10556800 CPUtime=0.78 cores=1,3,5,7
/proc/20582/task/20601/stat : 20601 (java) R 20580 20582 20304 0 -1 4202560 903 0 0 0 78 0 0 0 18 0 22 0 831178179 10810163200 47112 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 46912505738040 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20582/tid=20602] ppid=20580 vsize=10556800 CPUtime=0.78 cores=1,3,5,7
/proc/20582/task/20602/stat : 20602 (java) R 20580 20582 20304 0 -1 4202560 24878 0 0 0 75 3 0 0 18 0 22 0 831178179 10810163200 47114 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 46912505774913 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20582/tid=20603] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20603/stat : 20603 (java) S 20580 20582 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178180 10810163200 47116 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20604] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20604/stat : 20604 (java) S 20580 20582 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178180 10810163200 47120 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10556800
[startup+1.30168 s]
/proc/loadavg: 3.56 3.62 3.53 5/560 20604
/proc/meminfo: memFree=20900688/32950928 swapFree=34259960/67111528
[pid=20582] ppid=20580 vsize=10556800 CPUtime=3.54 cores=1,3,5,7
/proc/20582/stat : 20582 (java) S 20580 20582 20304 0 -1 4202496 62023 0 1 0 346 8 0 0 25 0 19 0 831178147 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20582/statm: 2639200 54083 2240 9 0 2629934 0
[pid=20582/tid=20583] ppid=20580 vsize=10556800 CPUtime=0.3 cores=1,3,5,7
/proc/20582/task/20583/stat : 20583 (java) S 20580 20582 20304 0 -1 4202560 13485 0 1 0 28 2 0 0 20 0 19 0 831178148 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
[pid=20582/tid=20585] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20585/stat : 20585 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20586] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20586/stat : 20586 (java) S 20580 20582 20304 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20587] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20587/stat : 20587 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20588] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20588/stat : 20588 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20589] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20589/stat : 20589 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20590] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20590/stat : 20590 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20591] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20591/stat : 20591 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20592] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20592/stat : 20592 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178149 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20593] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20593/stat : 20593 (java) S 20580 20582 20304 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831178150 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 0 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20594] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20594/stat : 20594 (java) S 20580 20582 20304 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831178151 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20595] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20595/stat : 20595 (java) S 20580 20582 20304 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831178151 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20596] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20596/stat : 20596 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831178153 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512515505 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20597] ppid=20580 vsize=10556800 CPUtime=0.75 cores=1,3,5,7
/proc/20582/task/20597/stat : 20597 (java) S 20580 20582 20304 0 -1 4202560 8362 0 0 0 74 1 0 0 24 0 19 0 831178153 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 7 0 0 0
[pid=20582/tid=20598] ppid=20580 vsize=10556800 CPUtime=0.74 cores=1,3,5,7
/proc/20582/task/20598/stat : 20598 (java) S 20580 20582 20304 0 -1 4202560 6258 0 0 0 74 0 0 0 15 0 19 0 831178153 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20599] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20599/stat : 20599 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178153 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512507801 0 4 0 16800975 18446604455760340096 0 0 -1 5 0 0 0
[pid=20582/tid=20600] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20600/stat : 20600 (java) S 20580 20582 20304 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831178153 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
[pid=20582/tid=20604] ppid=20580 vsize=10556800 CPUtime=0 cores=1,3,5,7
/proc/20582/task/20604/stat : 20604 (java) S 20580 20582 20304 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831178180 10810163200 54083 33554432000 1073741824 1073778376 140734767536784 18446744073709551615 254512508416 0 4 0 16800975 18446604455760340096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10556800
Child status: 10
Real time (s): 1.34093
CPU time (s): 3.56546
CPU user time (s): 3.46547
CPU system time (s): 0.099984
CPU usage (%): 265.894
Max. virtual memory (cumulated for all children) (KiB): 10556800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.46547
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62038
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= 280
involuntary context switches= 62
runsolver used 0.008998 second user time and 0.031995 second system time
The end