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-3453921-1307194472/watcher-3453921-1307194472 -o /tmp/evaluation-result-3453921-1307194472/solver-3453921-1307194472 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453921-1307194472.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.94 3.02 3.50 3/433 1040
/proc/meminfo: memFree=20679288/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1040/stat : 1040 (java) R 1038 1040 29081 0 -1 4202496 551 0 0 0 0 0 0 0 22 0 1 0 831045020 23580672 295 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255372338965 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1040/statm: 5757 306 235 9 0 124 0
[pid=1040/tid=1041] ppid=1038 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) R 1038 1040 29081 0 -1 4202560 3524 0 1 0 0 0 0 0 23 0 2 0 831045021 10694979584 4340 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0788949 s]
/proc/loadavg: 1.94 3.02 3.50 3/433 1040
/proc/meminfo: memFree=20679288/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 11946 0 1 0 5 1 0 0 22 0 18 0 831045020 10724442112 11643 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2618272 11643 1755 9 0 2609006 0
[pid=1040/tid=1041] ppid=1038 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) R 1038 1040 29081 0 -1 4202560 10772 0 1 0 5 0 0 0 25 0 18 0 831045021 10724442112 11644 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 47120608680787 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10092 s]
/proc/loadavg: 1.94 3.02 3.50 3/433 1040
/proc/meminfo: memFree=20679288/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10540076 CPUtime=0.1 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 13015 0 1 0 9 1 0 0 22 0 18 0 831045020 10793037824 12712 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2635019 12713 2092 9 0 2625753 0
[pid=1040/tid=1041] ppid=1038 vsize=10540076 CPUtime=0.08 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) R 1038 1040 29081 0 -1 4202560 11122 0 1 0 7 1 0 0 18 0 18 0 831045021 10793037824 12713 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540076
[startup+0.300894 s]
/proc/loadavg: 1.94 3.02 3.50 3/433 1040
/proc/meminfo: memFree=20679288/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10541068 CPUtime=0.46 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 15576 0 1 0 44 2 0 0 22 0 18 0 831045020 10794053632 15047 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2635267 15047 2208 9 0 2626001 0
[pid=1040/tid=1041] ppid=1038 vsize=10541068 CPUtime=0.28 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) R 1038 1040 29081 0 -1 4202560 12721 0 1 0 27 1 0 0 18 0 18 0 831045021 10794053632 15047 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541068
[startup+0.700789 s]
/proc/loadavg: 1.94 3.02 3.50 3/433 1040
/proc/meminfo: memFree=20679288/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10545180 CPUtime=0.52 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 15882 0 1 0 50 2 0 0 22 0 19 0 831045020 10798264320 15158 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2636295 15158 2220 9 0 2627029 0
[pid=1040/tid=1041] ppid=1038 vsize=10545180 CPUtime=0.28 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) S 1038 1040 29081 0 -1 4202560 12784 0 1 0 27 1 0 0 19 0 19 0 831045021 10798264320 15158 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10545180
[startup+1.50163 s]
/proc/loadavg: 1.94 3.02 3.50 8/479 1092
/proc/meminfo: memFree=20421256/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10562576 CPUtime=1.93 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 30679 0 1 0 189 4 0 0 22 0 19 0 831045020 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2640644 25854 2236 9 0 2631378 0
[pid=1040/tid=1041] ppid=1038 vsize=10562576 CPUtime=0.29 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) S 1038 1040 29081 0 -1 4202560 12826 0 1 0 28 1 0 0 16 0 19 0 831045021 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1049] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1049/stat : 1049 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1050] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1050/stat : 1050 (java) S 1038 1040 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1051] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1051/stat : 1051 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1052] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1052/stat : 1052 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1053] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1053/stat : 1053 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1054] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1054/stat : 1054 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1055] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1055/stat : 1055 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1056] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1056/stat : 1056 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1057] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1057/stat : 1057 (java) S 1038 1040 29081 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831045023 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 0 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1059] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1059/stat : 1059 (java) S 1038 1040 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1060] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1060/stat : 1060 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1072] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1072/stat : 1072 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389125041 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1073] ppid=1038 vsize=10562576 CPUtime=0.49 cores=0,2,4,6
/proc/1040/task/1073/stat : 1073 (java) S 1038 1040 29081 0 -1 4202560 5949 0 0 0 49 0 0 0 20 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1074] ppid=1038 vsize=10562576 CPUtime=0.51 cores=0,2,4,6
/proc/1040/task/1074/stat : 1074 (java) S 1038 1040 29081 0 -1 4202560 7151 0 0 0 50 1 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
[pid=1040/tid=1075] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1075/stat : 1075 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1076] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1076/stat : 1076 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1085] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1085/stat : 1085 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831045051 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10562576
Solver just ended. Dumping a history of the last processes samples
[startup+1.7006 s]
/proc/loadavg: 1.94 3.02 3.50 8/479 1092
/proc/meminfo: memFree=20421256/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10562576 CPUtime=1.93 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 30679 0 1 0 189 4 0 0 22 0 19 0 831045020 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2640644 25854 2236 9 0 2631378 0
[pid=1040/tid=1041] ppid=1038 vsize=10562576 CPUtime=0.29 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) S 1038 1040 29081 0 -1 4202560 12826 0 1 0 28 1 0 0 16 0 19 0 831045021 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1049] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1049/stat : 1049 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1050] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1050/stat : 1050 (java) S 1038 1040 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1051] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1051/stat : 1051 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1052] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1052/stat : 1052 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1053] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1053/stat : 1053 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1054] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1054/stat : 1054 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1055] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1055/stat : 1055 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1056] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1056/stat : 1056 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1057] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1057/stat : 1057 (java) S 1038 1040 29081 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831045023 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 0 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1059] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1059/stat : 1059 (java) S 1038 1040 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1060] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1060/stat : 1060 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1072] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1072/stat : 1072 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389125041 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1073] ppid=1038 vsize=10562576 CPUtime=0.49 cores=0,2,4,6
/proc/1040/task/1073/stat : 1073 (java) S 1038 1040 29081 0 -1 4202560 5949 0 0 0 49 0 0 0 20 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1074] ppid=1038 vsize=10562576 CPUtime=0.51 cores=0,2,4,6
/proc/1040/task/1074/stat : 1074 (java) S 1038 1040 29081 0 -1 4202560 7151 0 0 0 50 1 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
[pid=1040/tid=1075] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1075/stat : 1075 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1076] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1076/stat : 1076 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1085] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1085/stat : 1085 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831045051 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10562576
[startup+1.80158 s]
/proc/loadavg: 1.94 3.02 3.50 8/479 1092
/proc/meminfo: memFree=20421256/32951124 swapFree=60787360/67111528
[pid=1040] ppid=1038 vsize=10562576 CPUtime=1.93 cores=0,2,4,6
/proc/1040/stat : 1040 (java) S 1038 1040 29081 0 -1 4202496 30679 0 1 0 189 4 0 0 22 0 19 0 831045020 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1040/statm: 2640644 25854 2236 9 0 2631378 0
[pid=1040/tid=1041] ppid=1038 vsize=10562576 CPUtime=0.29 cores=0,2,4,6
/proc/1040/task/1041/stat : 1041 (java) S 1038 1040 29081 0 -1 4202560 12826 0 1 0 28 1 0 0 16 0 19 0 831045021 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1049] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1049/stat : 1049 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1050] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1050/stat : 1050 (java) S 1038 1040 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1051] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1051/stat : 1051 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1052] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1052/stat : 1052 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1053] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1053/stat : 1053 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1054] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1054/stat : 1054 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1055] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1055/stat : 1055 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1056] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1056/stat : 1056 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045022 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1057] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1057/stat : 1057 (java) S 1038 1040 29081 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831045023 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 0 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1059] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1059/stat : 1059 (java) S 1038 1040 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1060] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1060/stat : 1060 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831045024 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1072] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1072/stat : 1072 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389125041 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1073] ppid=1038 vsize=10562576 CPUtime=0.49 cores=0,2,4,6
/proc/1040/task/1073/stat : 1073 (java) S 1038 1040 29081 0 -1 4202560 5949 0 0 0 49 0 0 0 20 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 0 0 0 0
[pid=1040/tid=1074] ppid=1038 vsize=10562576 CPUtime=0.51 cores=0,2,4,6
/proc/1040/task/1074/stat : 1074 (java) S 1038 1040 29081 0 -1 4202560 7151 0 0 0 50 1 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
[pid=1040/tid=1075] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1075/stat : 1075 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117337 0 4 0 16800975 18446604443532014912 0 0 -1 2 0 0 0
[pid=1040/tid=1076] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1076/stat : 1076 (java) S 1038 1040 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831045026 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 6 0 0 0
[pid=1040/tid=1085] ppid=1038 vsize=10562576 CPUtime=0 cores=0,2,4,6
/proc/1040/task/1085/stat : 1085 (java) S 1038 1040 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831045051 10816077824 25854 33554432000 1073741824 1073778376 140734898262976 18446744073709551615 255389117952 0 4 0 16800975 18446604443532014912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10562576
Child status: 30
Real time (s): 1.83371
CPU time (s): 1.9577
CPU user time (s): 1.90371
CPU system time (s): 0.053991
CPU usage (%): 106.762
Max. virtual memory (cumulated for all children) (KiB): 10562576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.90371
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30690
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= 329
involuntary context switches= 65
runsolver used 0.008998 second user time and 0.024996 second system time
The end