runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730660-1338730822/watcher-3730660-1338730822 -o /tmp/evaluation-result-3730660-1338730822/solver-3730660-1338730822 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3730660-1338730822.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: 3.79 3.86 3.73 4/198 7383
/proc/meminfo: memFree=26371800/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (java) R 7381 7383 27000 0 -1 4202496 1084 0 0 0 0 0 0 0 20 0 1 0 339209530 23793664 813 33554432000 1073741824 1073778376 140737286665008 140737286654072 140308005517792 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 5809 832 626 9 0 128 0
[pid=7383/tid=7384] ppid=7381 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) R 7381 7383 27000 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 2 0 339209531 24780800 869 33554432000 1073741824 1073778376 140737286665008 140737286654072 140308007354112 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.011717 s]
/proc/loadavg: 3.79 3.86 3.73 4/198 7383
/proc/meminfo: memFree=26371800/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=1621820 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 1701 0 1 0 0 0 0 0 20 0 2 0 339209530 1660743680 1382 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 405455 1401 931 9 0 396564 0
[pid=7383/tid=7384] ppid=7381 vsize=1621820 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) R 7381 7383 27000 0 -1 4202560 585 0 1 0 0 0 0 0 20 0 2 0 339209531 1660743680 1412 33554432000 1073741824 1073778376 140737286665008 140308000766256 219513631403 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1621820
[startup+0.100272 s]
/proc/loadavg: 3.79 3.86 3.73 4/198 7383
/proc/meminfo: memFree=26371800/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 4782 0 1 0 9 1 0 0 20 0 18 0 339209530 2764726272 5969 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 674982 5969 2109 9 0 665676 0
[pid=7383/tid=7384] ppid=7381 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) R 7381 7383 27000 0 -1 4202560 2824 0 1 0 6 1 0 0 20 0 18 0 339209531 2764726272 5969 33554432000 1073741824 1073778376 140737286665008 140308000751528 219517347085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300249 s]
/proc/loadavg: 3.79 3.86 3.73 4/198 7383
/proc/meminfo: memFree=26371800/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=2699928 CPUtime=0.49 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 6172 0 1 0 47 2 0 0 20 0 18 0 339209530 2764726272 8908 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 674982 8908 2217 9 0 665676 0
[pid=7383/tid=7384] ppid=7381 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) R 7381 7383 27000 0 -1 4202560 2838 0 1 0 26 1 0 0 20 0 18 0 339209531 2764726272 8908 33554432000 1073741824 1073778376 140737286665008 140308000763352 140307873146743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2699928
[startup+0.70034 s]
/proc/loadavg: 3.79 3.86 3.73 4/198 7383
/proc/meminfo: memFree=26371800/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=2833056 CPUtime=1.05 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 14462 0 1 0 102 3 0 0 20 0 18 0 339209530 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 708264 17458 2244 9 0 698958 0
[pid=7383/tid=7384] ppid=7381 vsize=2833056 CPUtime=0.37 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) S 7381 7383 27000 0 -1 4202560 2867 0 1 0 36 1 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140308000765080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2833056
Solver just ended. Dumping a history of the last processes samples
[startup+1.1071 s]
/proc/loadavg: 3.79 3.86 3.73 3/216 7403
/proc/meminfo: memFree=26311412/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=2833056 CPUtime=1.05 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 14462 0 1 0 102 3 0 0 20 0 18 0 339209530 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 708264 17458 2244 9 0 698958 0
[pid=7383/tid=7384] ppid=7381 vsize=2833056 CPUtime=0.37 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) S 7381 7383 27000 0 -1 4202560 2867 0 1 0 36 1 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140308000765080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7386/stat : 7386 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307867482280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7387/stat : 7387 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307866429736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7388/stat : 7388 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307865377192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7389/stat : 7389 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307864324648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7390/stat : 7390 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307863272104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7391/stat : 7391 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307862219560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7392/stat : 7392 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307861167016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7393/stat : 7393 (java) S 7381 7383 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307860114472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7394/stat : 7394 (java) S 7381 7383 27000 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307377547368 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7395/stat : 7395 (java) S 7381 7383 27000 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307376493688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7396/stat : 7396 (java) S 7381 7383 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307375441032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7397/stat : 7397 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209535 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307374389776 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=2833056 CPUtime=0.31 cores=0,2,4,6
/proc/7383/task/7398/stat : 7398 (java) S 7381 7383 27000 0 -1 4202560 5674 0 0 0 31 0 0 0 20 0 18 0 339209535 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307373337144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=2833056 CPUtime=0.33 cores=0,2,4,6
/proc/7383/task/7399/stat : 7399 (java) S 7381 7383 27000 0 -1 4202560 4703 0 0 0 33 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307372284600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7400/stat : 7400 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307371232248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7401/stat : 7401 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307370179912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2833056
[startup+1.30071 s]
/proc/loadavg: 3.79 3.86 3.73 3/216 7403
/proc/meminfo: memFree=26311412/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=2833056 CPUtime=1.05 cores=0,2,4,6
/proc/7383/stat : 7383 (java) S 7381 7383 27000 0 -1 4202496 14462 0 1 0 102 3 0 0 20 0 18 0 339209530 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140737286656144 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 708264 17458 2244 9 0 698958 0
[pid=7383/tid=7384] ppid=7381 vsize=2833056 CPUtime=0.37 cores=0,2,4,6
/proc/7383/task/7384/stat : 7384 (java) S 7381 7383 27000 0 -1 4202560 2867 0 1 0 36 1 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140308000765080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7386/stat : 7386 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307867482280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7387/stat : 7387 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307866429736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7388/stat : 7388 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307865377192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7389/stat : 7389 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209531 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307864324648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7390/stat : 7390 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307863272104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7391/stat : 7391 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307862219560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7392/stat : 7392 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307861167016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7393/stat : 7393 (java) S 7381 7383 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339209532 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307860114472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7394/stat : 7394 (java) S 7381 7383 27000 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307377547368 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7395/stat : 7395 (java) S 7381 7383 27000 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307376493688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7396/stat : 7396 (java) S 7381 7383 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339209533 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307375441032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7397/stat : 7397 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209535 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307374389776 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=2833056 CPUtime=0.31 cores=0,2,4,6
/proc/7383/task/7398/stat : 7398 (java) S 7381 7383 27000 0 -1 4202560 5674 0 0 0 31 0 0 0 20 0 18 0 339209535 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307373337144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=2833056 CPUtime=0.33 cores=0,2,4,6
/proc/7383/task/7399/stat : 7399 (java) S 7381 7383 27000 0 -1 4202560 4703 0 0 0 33 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307372284600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7400/stat : 7400 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307371232248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7401/stat : 7401 (java) S 7381 7383 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339209536 2901049344 17458 33554432000 1073741824 1073778376 140737286665008 140307370179912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2833056
[startup+1.40057 s]
/proc/loadavg: 3.79 3.86 3.73 3/216 7403
/proc/meminfo: memFree=26311412/32873648 swapFree=7120/7120
[pid=7383] ppid=7381 vsize=0 CPUtime=1.07 cores=0,2,4,6
/proc/7383/stat : 7383 (java) Z 7381 7383 27000 0 -1 4203532 14477 0 1 0 103 4 0 0 20 0 2 0 339209530 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7383/statm: 0 0 0 0 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/7383/task/7388/stat : 7388 (java) R 7381 7383 27000 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 339209531 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1.40151
CPU time (s): 1.07284
CPU user time (s): 1.03084
CPU system time (s): 0.041993
CPU usage (%): 76.5485
Max. virtual memory (cumulated for all children) (KiB): 2833316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03084
system time used= 0.041993
maximum resident set size= 71916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14477
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275
involuntary context switches= 34
runsolver used 0.002999 second user time and 0.012998 second system time
The end