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-3453976-1307194711/watcher-3453976-1307194711 -o /tmp/evaluation-result-3453976-1307194711/solver-3453976-1307194711 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453976-1307194711.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: 1.77 2.70 3.23 2/436 11032
/proc/meminfo: memFree=25605148/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 3685 0 1 0 0 0 0 0 25 0 2 0 287080506 10694979584 3388 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2611079 3402 917 9 0 2602235 0
[pid=11032/tid=11033] ppid=11030 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) R 11030 11032 6914 0 -1 4202560 5706 0 1 0 0 0 0 0 25 0 2 0 287080506 10694979584 6523 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.114672 s]
/proc/loadavg: 1.77 2.70 3.23 2/436 11032
/proc/meminfo: memFree=25605148/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10540040 CPUtime=0.13 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 13335 0 1 0 11 2 0 0 25 0 18 0 287080506 10793000960 13034 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2635010 13035 2133 9 0 2625744 0
[pid=11032/tid=11033] ppid=11030 vsize=10540040 CPUtime=0.09 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) R 11030 11032 6914 0 -1 4202560 11321 0 1 0 8 1 0 0 18 0 18 0 287080506 10793000960 13036 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 47883419521029 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540040
[startup+0.208602 s]
/proc/loadavg: 1.77 2.70 3.23 2/436 11032
/proc/meminfo: memFree=25605148/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10542884 CPUtime=0.25 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 14075 0 1 0 23 2 0 0 25 0 20 0 287080506 10795913216 13773 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2635721 13774 2171 9 0 2626455 0
[pid=11032/tid=11033] ppid=11030 vsize=10542884 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11865 0 1 0 18 2 0 0 19 0 20 0 287080506 10795913216 13774 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10542884
[startup+0.300661 s]
/proc/loadavg: 1.77 2.70 3.23 2/436 11032
/proc/meminfo: memFree=25605148/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10544132 CPUtime=0.27 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 14440 0 1 0 25 2 0 0 25 0 20 0 287080506 10797191168 14114 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2636033 14114 2185 9 0 2626767 0
[pid=11032/tid=11033] ppid=11030 vsize=10544132 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11865 0 1 0 18 2 0 0 19 0 20 0 287080506 10797191168 14114 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10544132
[startup+0.700587 s]
/proc/loadavg: 1.77 2.70 3.23 2/436 11032
/proc/meminfo: memFree=25605148/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10544132 CPUtime=0.27 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 14440 0 1 0 25 2 0 0 25 0 20 0 287080506 10797191168 14114 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2636033 14114 2185 9 0 2626767 0
[pid=11032/tid=11033] ppid=11030 vsize=10544132 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11865 0 1 0 18 2 0 0 19 0 20 0 287080506 10797191168 14114 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10544132
[startup+1.50148 s]
/proc/loadavg: 1.77 2.70 3.23 2/455 11057
/proc/meminfo: memFree=25543936/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10545772 CPUtime=0.36 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 15719 0 1 0 33 3 0 0 25 0 19 0 287080506 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2636443 14793 2198 9 0 2627177 0
[pid=11032/tid=11033] ppid=11030 vsize=10545772 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11881 0 1 0 18 2 0 0 16 0 19 0 287080506 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11035] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11035/stat : 11035 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11036] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11036/stat : 11036 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11037] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11037/stat : 11037 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11038] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11038/stat : 11038 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11039] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11039/stat : 11039 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11040] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11040/stat : 11040 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11041] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11041/stat : 11041 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11042] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11042/stat : 11042 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11044] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11044/stat : 11044 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 287080509 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11045] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11045/stat : 11045 (java) S 11030 11032 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287080509 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11046] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11046/stat : 11046 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287080509 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11047] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11047/stat : 11047 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11048] ppid=11030 vsize=10545772 CPUtime=0.05 cores=0,2,4,6
/proc/11032/task/11048/stat : 11048 (java) S 11030 11032 6914 0 -1 4202560 596 0 0 0 5 0 0 0 15 0 19 0 287080511 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11049] ppid=11030 vsize=10545772 CPUtime=0.07 cores=0,2,4,6
/proc/11032/task/11049/stat : 11049 (java) S 11030 11032 6914 0 -1 4202560 1977 0 0 0 7 0 0 0 15 0 19 0 287080511 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11050] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11050/stat : 11050 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11051] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11051/stat : 11051 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287080511 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11054] ppid=11030 vsize=10545772 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11054/stat : 11054 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287080527 10798870528 14793 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10545772
[startup+3.10109 s]
/proc/loadavg: 1.77 2.70 3.23 3/456 11063
/proc/meminfo: memFree=25515752/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10557300 CPUtime=1.95 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 43054 0 1 0 188 7 0 0 25 0 22 0 287080506 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2639325 36941 2221 9 0 2630059 0
[pid=11032/tid=11033] ppid=11030 vsize=10557300 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11894 0 1 0 18 2 0 0 16 0 22 0 287080506 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11035] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11035/stat : 11035 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11036] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11036/stat : 11036 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11037] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11037/stat : 11037 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11038] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11038/stat : 11038 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36941 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11039] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11039/stat : 11039 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11040] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11040/stat : 11040 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11041] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11041/stat : 11041 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11042] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11042/stat : 11042 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11044] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11044/stat : 11044 (java) R 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 287080509 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=11032/tid=11045] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11045/stat : 11045 (java) S 11030 11032 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287080509 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11046] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11046/stat : 11046 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287080509 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11047] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11047/stat : 11047 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080511 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11048] ppid=11030 vsize=10557300 CPUtime=0.49 cores=0,2,4,6
/proc/11032/task/11048/stat : 11048 (java) R 11030 11032 6914 0 -1 4202560 4975 0 0 0 49 0 0 0 16 0 22 0 287080511 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892391093 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11032/tid=11049] ppid=11030 vsize=10557300 CPUtime=0.52 cores=0,2,4,6
/proc/11032/task/11049/stat : 11049 (java) R 11030 11032 6914 0 -1 4202560 7946 0 0 0 51 1 0 0 16 0 22 0 287080511 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892391093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11032/tid=11050] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11050/stat : 11050 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080511 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11051] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11051/stat : 11051 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287080511 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11054] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11054/stat : 11054 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 287080527 10810675200 36942 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10557300
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.21708 s]
/proc/loadavg: 1.77 2.70 3.23 8/458 11071
/proc/meminfo: memFree=25414552/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10557300 CPUtime=2.32 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 51010 0 1 0 224 8 0 0 25 0 22 0 287080506 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2639325 44896 2224 9 0 2630059 0
[pid=11032/tid=11033] ppid=11030 vsize=10557300 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11894 0 1 0 18 2 0 0 16 0 22 0 287080506 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11035] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11035/stat : 11035 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11036] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11036/stat : 11036 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11037] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11037/stat : 11037 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11038] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11038/stat : 11038 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11039] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11039/stat : 11039 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11040] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11040/stat : 11040 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11041] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11041/stat : 11041 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11042] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11042/stat : 11042 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080508 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11044] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11044/stat : 11044 (java) S 11030 11032 6914 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 287080509 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11045] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11045/stat : 11045 (java) S 11030 11032 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287080509 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11046] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11046/stat : 11046 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287080509 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11047] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11047/stat : 11047 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080511 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11048] ppid=11030 vsize=10557300 CPUtime=0.58 cores=0,2,4,6
/proc/11032/task/11048/stat : 11048 (java) S 11030 11032 6914 0 -1 4202560 4990 0 0 0 58 0 0 0 16 0 22 0 287080511 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11049] ppid=11030 vsize=10557300 CPUtime=0.58 cores=0,2,4,6
/proc/11032/task/11049/stat : 11049 (java) R 11030 11032 6914 0 -1 4202560 7952 0 0 0 57 1 0 0 15 0 22 0 287080511 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 47883420106791 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11032/tid=11050] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11050/stat : 11050 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287080511 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11051] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11051/stat : 11051 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287080511 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11054] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11054/stat : 11054 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 287080527 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11066] ppid=11030 vsize=10557300 CPUtime=0.35 cores=0,2,4,6
/proc/11032/task/11066/stat : 11066 (java) R 11030 11032 6914 0 -1 4202560 285 0 0 0 35 0 0 0 17 0 22 0 287080779 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 46912505561661 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11032/tid=11067] ppid=11030 vsize=10557300 CPUtime=0.45 cores=0,2,4,6
/proc/11032/task/11067/stat : 11067 (java) R 11030 11032 6914 0 -1 4202560 24265 0 0 0 42 3 0 0 18 0 22 0 287080779 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 46912505584335 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11032/tid=11068] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11068/stat : 11068 (java) S 11030 11032 6914 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 287080779 10810675200 44896 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10557300
[startup+3.60109 s]
/proc/loadavg: 1.77 2.70 3.23 3/455 11071
/proc/meminfo: memFree=25364108/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10557300 CPUtime=2.43 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 54467 0 1 0 235 8 0 0 25 0 19 0 287080506 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2639325 48353 2224 9 0 2630059 0
[pid=11032/tid=11033] ppid=11030 vsize=10557300 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11894 0 1 0 18 2 0 0 15 0 19 0 287080506 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11035] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11035/stat : 11035 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11036] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11036/stat : 11036 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11037] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11037/stat : 11037 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11038] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11038/stat : 11038 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11039] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11039/stat : 11039 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11040] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11040/stat : 11040 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11041] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11041/stat : 11041 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11042] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11042/stat : 11042 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11044] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11044/stat : 11044 (java) S 11030 11032 6914 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11045] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11045/stat : 11045 (java) S 11030 11032 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11046] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11046/stat : 11046 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11047] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11047/stat : 11047 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11048] ppid=11030 vsize=10557300 CPUtime=0.6 cores=0,2,4,6
/proc/11032/task/11048/stat : 11048 (java) S 11030 11032 6914 0 -1 4202560 4991 0 0 0 60 0 0 0 16 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11049] ppid=11030 vsize=10557300 CPUtime=0.59 cores=0,2,4,6
/proc/11032/task/11049/stat : 11049 (java) S 11030 11032 6914 0 -1 4202560 7954 0 0 0 58 1 0 0 15 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11050] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11050/stat : 11050 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11051] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11051/stat : 11051 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11054] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11054/stat : 11054 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287080527 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 10557300
[startup+3.7011 s]
/proc/loadavg: 1.77 2.70 3.23 3/455 11071
/proc/meminfo: memFree=25364108/32950928 swapFree=52006644/67111528
[pid=11032] ppid=11030 vsize=10557300 CPUtime=2.43 cores=0,2,4,6
/proc/11032/stat : 11032 (java) S 11030 11032 6914 0 -1 4202496 54467 0 1 0 235 8 0 0 25 0 19 0 287080506 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11032/statm: 2639325 48353 2224 9 0 2630059 0
[pid=11032/tid=11033] ppid=11030 vsize=10557300 CPUtime=0.2 cores=0,2,4,6
/proc/11032/task/11033/stat : 11033 (java) S 11030 11032 6914 0 -1 4202560 11894 0 1 0 18 2 0 0 15 0 19 0 287080506 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11035] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11035/stat : 11035 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11036] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11036/stat : 11036 (java) S 11030 11032 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11037] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11037/stat : 11037 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11038] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11038/stat : 11038 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11039] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11039/stat : 11039 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11040] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11040/stat : 11040 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11041] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11041/stat : 11041 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11042] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11042/stat : 11042 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080508 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11044] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11044/stat : 11044 (java) S 11030 11032 6914 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 0 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11045] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11045/stat : 11045 (java) S 11030 11032 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11046] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11046/stat : 11046 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 287080509 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 4 0 0 0
[pid=11032/tid=11047] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11047/stat : 11047 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892388785 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11048] ppid=11030 vsize=10557300 CPUtime=0.6 cores=0,2,4,6
/proc/11032/task/11048/stat : 11048 (java) S 11030 11032 6914 0 -1 4202560 4991 0 0 0 60 0 0 0 16 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11049] ppid=11030 vsize=10557300 CPUtime=0.59 cores=0,2,4,6
/proc/11032/task/11049/stat : 11049 (java) S 11030 11032 6914 0 -1 4202560 7954 0 0 0 58 1 0 0 15 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
[pid=11032/tid=11050] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11050/stat : 11050 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381081 0 4 0 16800975 18446604445275466624 0 0 -1 6 0 0 0
[pid=11032/tid=11051] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11051/stat : 11051 (java) S 11030 11032 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 287080511 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 2 0 0 0
[pid=11032/tid=11054] ppid=11030 vsize=10557300 CPUtime=0 cores=0,2,4,6
/proc/11032/task/11054/stat : 11054 (java) S 11030 11032 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287080527 10810675200 48353 33554432000 1073741824 1073778376 140734318398208 18446744073709551615 218892381696 0 4 0 16800975 18446604445275466624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 10557300
Child status: 30
Real time (s): 3.76576
CPU time (s): 2.47662
CPU user time (s): 2.37764
CPU system time (s): 0.098984
CPU usage (%): 65.7668
Max. virtual memory (cumulated for all children) (KiB): 10557300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.37764
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54488
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= 326
involuntary context switches= 103
runsolver used 0.019996 second user time and 0.056991 second system time
The end