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-3455178-1307190775/watcher-3455178-1307190775 -o /tmp/evaluation-result-3455178-1307190775/solver-3455178-1307190775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455178-1307190775.opb
running on 4 cores: 0,2,4,6
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: 2.57 3.55 3.72 3/397 12836
/proc/meminfo: memFree=30017820/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 1200 0 0 0 0 0 0 0 24 0 2 0 830677259 31313920 926 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 7645 936 711 9 0 383 0
[pid=12836/tid=12837] ppid=12834 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) R 12834 12836 8078 0 -1 4202560 1689 0 1 0 0 0 0 0 25 0 2 0 830677260 10681323520 2505 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.111059 s]
/proc/loadavg: 2.57 3.55 3.72 3/397 12836
/proc/meminfo: memFree=30017820/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10540420 CPUtime=0.11 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 13181 0 1 0 10 1 0 0 24 0 18 0 830677259 10793390080 12878 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2635105 12878 2107 9 0 2625839 0
[pid=12836/tid=12837] ppid=12834 vsize=10540420 CPUtime=0.09 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) R 12834 12836 8078 0 -1 4202560 11252 0 1 0 8 1 0 0 25 0 18 0 830677260 10793390080 12878 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540420
[startup+0.201004 s]
/proc/loadavg: 2.57 3.55 3.72 3/397 12836
/proc/meminfo: memFree=30017820/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10544532 CPUtime=0.15 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 13561 0 1 0 14 1 0 0 24 0 19 0 830677259 10797600768 13258 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2636133 13258 2140 9 0 2626867 0
[pid=12836/tid=12837] ppid=12834 vsize=10544532 CPUtime=0.11 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) S 12834 12836 8078 0 -1 4202560 11487 0 1 0 10 1 0 0 25 0 19 0 830677260 10797600768 13258 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10544532
[startup+0.300986 s]
/proc/loadavg: 2.57 3.55 3.72 3/397 12836
/proc/meminfo: memFree=30017820/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10544532 CPUtime=0.15 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 13561 0 1 0 14 1 0 0 24 0 19 0 830677259 10797600768 13258 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2636133 13258 2140 9 0 2626867 0
[pid=12836/tid=12837] ppid=12834 vsize=10544532 CPUtime=0.11 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) S 12834 12836 8078 0 -1 4202560 11487 0 1 0 10 1 0 0 25 0 19 0 830677260 10797600768 13258 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10544532
[startup+0.700917 s]
/proc/loadavg: 2.57 3.55 3.72 3/397 12836
/proc/meminfo: memFree=30017820/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10544532 CPUtime=0.17 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 13658 0 1 0 16 1 0 0 24 0 19 0 830677259 10797600768 13355 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2636133 13355 2156 9 0 2626867 0
[pid=12836/tid=12837] ppid=12834 vsize=10544532 CPUtime=0.11 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) S 12834 12836 8078 0 -1 4202560 11502 0 1 0 10 1 0 0 21 0 19 0 830677260 10797600768 13355 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544532
[startup+1.50077 s]
/proc/loadavg: 2.57 3.55 3.72 2/436 12884
/proc/meminfo: memFree=29705916/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10547048 CPUtime=0.2 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 14578 0 1 0 19 1 0 0 24 0 19 0 830677259 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2636762 13852 2168 9 0 2627496 0
[pid=12836/tid=12837] ppid=12834 vsize=10547048 CPUtime=0.11 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) S 12834 12836 8078 0 -1 4202560 11510 0 1 0 10 1 0 0 17 0 19 0 830677260 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12839] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12839/stat : 12839 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12840] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12840/stat : 12840 (java) S 12834 12836 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12841] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12841/stat : 12841 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12842] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12842/stat : 12842 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12843] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12843/stat : 12843 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12844] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12844/stat : 12844 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12845] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12845/stat : 12845 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12846] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12846/stat : 12846 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12847] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12847/stat : 12847 (java) S 12834 12836 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830677262 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 0 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12848] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12848/stat : 12848 (java) S 12834 12836 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830677263 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12849] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12849/stat : 12849 (java) S 12834 12836 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830677263 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12850] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12850/stat : 12850 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290703281 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12851] ppid=12834 vsize=10547048 CPUtime=0.03 cores=0,2,4,6
/proc/12836/task/12851/stat : 12851 (java) S 12834 12836 8078 0 -1 4202560 375 0 0 0 3 0 0 0 15 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12852] ppid=12834 vsize=10547048 CPUtime=0.03 cores=0,2,4,6
/proc/12836/task/12852/stat : 12852 (java) S 12834 12836 8078 0 -1 4202560 1421 0 0 0 3 0 0 0 18 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 6 0 0 0
[pid=12836/tid=12853] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12853/stat : 12853 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12854] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12854/stat : 12854 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12857] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12857/stat : 12857 (java) S 12834 12836 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830677273 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10547048
Solver just ended. Dumping a history of the last processes samples
[startup+1.60175 s]
/proc/loadavg: 2.57 3.55 3.72 2/436 12884
/proc/meminfo: memFree=29705916/32950904 swapFree=56615552/67111528
[pid=12836] ppid=12834 vsize=10547048 CPUtime=0.2 cores=0,2,4,6
/proc/12836/stat : 12836 (java) S 12834 12836 8078 0 -1 4202496 14578 0 1 0 19 1 0 0 24 0 19 0 830677259 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12836/statm: 2636762 13852 2168 9 0 2627496 0
[pid=12836/tid=12837] ppid=12834 vsize=10547048 CPUtime=0.11 cores=0,2,4,6
/proc/12836/task/12837/stat : 12837 (java) S 12834 12836 8078 0 -1 4202560 11510 0 1 0 10 1 0 0 17 0 19 0 830677260 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12839] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12839/stat : 12839 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12840] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12840/stat : 12840 (java) S 12834 12836 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12841] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12841/stat : 12841 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12842] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12842/stat : 12842 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12843] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12843/stat : 12843 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12844] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12844/stat : 12844 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12845] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12845/stat : 12845 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12846] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12846/stat : 12846 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677261 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12847] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12847/stat : 12847 (java) S 12834 12836 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830677262 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 0 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12848] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12848/stat : 12848 (java) S 12834 12836 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830677263 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12849] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12849/stat : 12849 (java) S 12834 12836 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830677263 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12850] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12850/stat : 12850 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290703281 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12851] ppid=12834 vsize=10547048 CPUtime=0.03 cores=0,2,4,6
/proc/12836/task/12851/stat : 12851 (java) S 12834 12836 8078 0 -1 4202560 375 0 0 0 3 0 0 0 15 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12852] ppid=12834 vsize=10547048 CPUtime=0.03 cores=0,2,4,6
/proc/12836/task/12852/stat : 12852 (java) S 12834 12836 8078 0 -1 4202560 1421 0 0 0 3 0 0 0 18 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 6 0 0 0
[pid=12836/tid=12853] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12853/stat : 12853 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290695577 0 4 0 16800975 18446604453902959808 0 0 -1 4 0 0 0
[pid=12836/tid=12854] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12854/stat : 12854 (java) S 12834 12836 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830677265 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 0 0 0 0
[pid=12836/tid=12857] ppid=12834 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/12836/task/12857/stat : 12857 (java) S 12834 12836 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830677273 10800177152 13852 33554432000 1073741824 1073778376 140736255074496 18446744073709551615 237290696192 0 4 0 16800975 18446604453902959808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10547048
Child status: 30
Real time (s): 1.65306
CPU time (s): 0.218965
CPU user time (s): 0.198969
CPU system time (s): 0.019996
CPU usage (%): 13.2461
Max. virtual memory (cumulated for all children) (KiB): 10547048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.198969
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14590
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= 208
involuntary context switches= 51
runsolver used 0.010998 second user time and 0.019996 second system time
The end