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-3456855-1307221876/watcher-3456855-1307221876 -o /tmp/evaluation-result-3456855-1307221876/solver-3456855-1307221876 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456855-1307221876.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 1140
/proc/meminfo: memFree=27102040/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1140/stat : 1140 (java) R 1138 1140 31238 0 -1 4202496 667 0 0 0 0 0 0 0 25 0 1 0 912418240 23580672 411 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231890528021 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1140/statm: 5757 422 320 9 0 124 0
[pid=1140/tid=1141] ppid=1138 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 5533 0 1 0 0 0 0 0 25 0 2 0 912418240 10694979584 6349 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0445451 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 1140
/proc/meminfo: memFree=27102040/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 11308 0 1 0 2 1 0 0 25 0 13 0 912418240 10718699520 11005 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2616870 11005 1675 9 0 2607618 0
[pid=1140/tid=1141] ppid=1138 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 10160 0 1 0 2 1 0 0 25 0 13 0 912418240 10718699520 11005 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 47224253996963 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100512 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 1140
/proc/meminfo: memFree=27102040/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10540020 CPUtime=0.1 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 13122 0 1 0 9 1 0 0 25 0 18 0 912418240 10792980480 12750 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2635005 12752 2092 9 0 2625739 0
[pid=1140/tid=1141] ppid=1138 vsize=10540020 CPUtime=0.08 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 11164 0 1 0 7 1 0 0 18 0 18 0 912418240 10792980480 12752 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540020
[startup+0.518495 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 1140
/proc/meminfo: memFree=27102040/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10551640 CPUtime=1.18 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 28925 0 1 0 115 3 0 0 25 0 19 0 912418240 10804879360 25748 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2637910 25749 2219 9 0 2628644 0
[pid=1140/tid=1141] ppid=1138 vsize=10551640 CPUtime=0.5 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 18611 0 1 0 48 2 0 0 18 0 19 0 912418240 10804879360 25749 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505558769 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10551640
[startup+0.700424 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 1140
/proc/meminfo: memFree=27102040/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10551640 CPUtime=1.56 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 42185 0 1 0 151 5 0 0 25 0 19 0 912418240 10804879360 39008 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2637910 39016 2222 9 0 2628644 0
[pid=1140/tid=1141] ppid=1138 vsize=10551640 CPUtime=0.68 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 31846 0 1 0 65 3 0 0 18 0 19 0 912418240 10804879360 39016 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505571099 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10551640
[startup+1.50128 s]
/proc/loadavg: 2.03 2.03 2.00 3/480 1159
/proc/meminfo: memFree=26775032/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10551640 CPUtime=2.42 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 112343 0 1 0 229 13 0 0 25 0 19 0 912418240 10804879360 109165 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2637910 109168 2224 9 0 2628644 0
[pid=1140/tid=1141] ppid=1138 vsize=10551640 CPUtime=1.48 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 101991 0 1 0 137 11 0 0 18 0 19 0 912418240 10804879360 109170 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505526628 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109172 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109173 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109175 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109176 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109178 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109182 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109187 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 109191 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912418243 10804879360 109195 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912418243 10804879360 109200 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 912418243 10804879360 109204 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10804879360 109207 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10551640 CPUtime=0.46 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 4908 0 0 0 46 0 0 0 15 0 19 0 912418245 10804879360 109209 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10551640 CPUtime=0.45 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 4288 0 0 0 45 0 0 0 15 0 19 0 912418245 10804879360 109211 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1157] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1157/stat : 1157 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10804879360 109213 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1158] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1158/stat : 1158 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912418245 10804879360 109215 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1159] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10804879360 109217 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 10551640
[startup+3.10097 s]
/proc/loadavg: 2.03 2.03 2.00 3/480 1159
/proc/meminfo: memFree=26387160/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10551640 CPUtime=4.13 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 251877 0 1 0 386 27 0 0 25 0 19 0 912418240 10804879360 247676 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2637910 247679 2226 9 0 2628644 0
[pid=1140/tid=1141] ppid=1138 vsize=10551640 CPUtime=3.08 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 240485 0 1 0 283 25 0 0 18 0 19 0 912418240 10804879360 247680 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505804820 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247681 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247682 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247684 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247686 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247687 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247688 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247690 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10804879360 247691 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 912418243 10804879360 247692 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912418243 10804879360 247694 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 912418243 10804879360 247695 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10804879360 247697 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10551640 CPUtime=0.46 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 4908 0 0 0 46 0 0 0 15 0 19 0 912418245 10804879360 247697 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10551640 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 5327 0 0 0 56 0 0 0 15 0 19 0 912418245 10804879360 247699 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1157] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1157/stat : 1157 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10804879360 247701 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1158] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1158/stat : 1158 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912418245 10804879360 247701 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1159] ppid=1138 vsize=10551640 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10804879360 247703 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10551640
[startup+6.30137 s]
/proc/loadavg: 2.03 2.03 2.00 3/480 1159
/proc/meminfo: memFree=25320592/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10548112 CPUtime=7.35 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 495748 0 1 0 681 54 0 0 25 0 19 0 912418240 10801266688 490710 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2637028 490713 2227 9 0 2627762 0
[pid=1140/tid=1141] ppid=1138 vsize=10548112 CPUtime=6.28 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 484344 0 1 0 576 52 0 0 21 0 19 0 912418240 10801266688 490714 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505575376 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490716 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490717 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490719 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490720 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490721 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490723 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490724 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418242 10801266688 490726 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912418243 10801266688 490727 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912418243 10801266688 490729 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 912418243 10801266688 490730 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10548112 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10801266688 490731 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10548112 CPUtime=0.48 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 4919 0 0 0 48 0 0 0 15 0 19 0 912418245 10801266688 490733 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10548112 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 5327 0 0 0 56 0 0 0 15 0 19 0 912418245 10801266688 490734 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=1140/tid=1159] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10798960640 1034513 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.69
Current children cumulated vsize (KiB) 10545860
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/480 1208
/proc/meminfo: memFree=21472600/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10545860 CPUtime=1726.89 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 1058804 0 1 0 172565 124 0 0 25 0 19 0 912418240 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2636465 1040821 2243 9 0 2627199 0
[pid=1140/tid=1141] ppid=1138 vsize=10545860 CPUtime=1720.61 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 804740 0 1 0 171976 85 0 0 25 0 19 0 912418240 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505805675 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10545860 CPUtime=0.6 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 27619 0 0 0 58 2 0 0 16 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10545860 CPUtime=0.69 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 30321 0 0 0 65 4 0 0 16 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10545860 CPUtime=0.59 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 39919 0 0 0 54 5 0 0 15 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10545860 CPUtime=0.62 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 32176 0 0 0 58 4 0 0 16 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10545860 CPUtime=0.58 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 29972 0 0 0 54 4 0 0 15 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10545860 CPUtime=0.65 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 30852 0 0 0 60 5 0 0 15 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10545860 CPUtime=0.67 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 30275 0 0 0 64 3 0 0 15 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10545860 CPUtime=0.54 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 21247 0 0 0 51 3 0 0 15 0 19 0 912418242 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10545860 CPUtime=0.03 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 101 0 0 0 1 2 0 0 15 0 19 0 912418243 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10545860 CPUtime=0.63 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 5005 0 0 0 63 0 0 0 15 0 19 0 912418245 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10545860 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 5327 0 0 0 56 0 0 0 15 0 19 0 912418245 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1157] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1157/stat : 1157 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1158] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1158/stat : 1158 (java) S 1138 1140 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912418245 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1159] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10798960640 1040821 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.89
Current children cumulated vsize (KiB) 10545860
[startup+1782.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/480 1257
/proc/meminfo: memFree=22958852/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10545860 CPUtime=1787.02 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 1063374 0 1 0 178577 125 0 0 25 0 19 0 912418240 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2636465 1045119 2243 9 0 2627199 0
[pid=1140/tid=1141] ppid=1138 vsize=10545860 CPUtime=1780.55 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 804745 0 1 0 177970 85 0 0 25 0 19 0 912418240 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505526776 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10545860 CPUtime=0.61 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 28028 0 0 0 59 2 0 0 15 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10545860 CPUtime=0.7 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 31003 0 0 0 66 4 0 0 15 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10545860 CPUtime=0.62 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 40308 0 0 0 57 5 0 0 16 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10545860 CPUtime=0.65 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 33279 0 0 0 61 4 0 0 15 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10545860 CPUtime=0.61 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 30337 0 0 0 57 4 0 0 16 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10545860 CPUtime=0.66 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 30887 0 0 0 61 5 0 0 16 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10545860 CPUtime=0.7 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 31145 0 0 0 67 3 0 0 16 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10545860 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 21952 0 0 0 53 3 0 0 15 0 19 0 912418242 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10545860 CPUtime=0.03 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 104 0 0 0 1 2 0 0 15 0 19 0 912418243 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10545860 CPUtime=0.63 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 5005 0 0 0 63 0 0 0 15 0 19 0 912418245 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10545860 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 5327 0 0 0 56 0 0 0 15 0 19 0 912418245 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1157] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1157/stat : 1157 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1158] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1158/stat : 1158 (java) S 1138 1140 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912418245 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1159] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10798960640 1045119 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.02
Current children cumulated vsize (KiB) 10545860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.14 2.06 2.01 4/480 1258
/proc/meminfo: memFree=22931084/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=10545860 CPUtime=1800.07 cores=1,3,5,7
/proc/1140/stat : 1140 (java) S 1138 1140 31238 0 -1 4202496 1064734 0 1 0 179882 125 0 0 25 0 19 0 912418240 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 2636465 1046351 2243 9 0 2627199 0
[pid=1140/tid=1141] ppid=1138 vsize=10545860 CPUtime=1793.56 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4202560 804746 0 1 0 179271 85 0 0 25 0 19 0 912418240 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 46912505598225 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1140/tid=1143] ppid=1138 vsize=10545860 CPUtime=0.61 cores=1,3,5,7
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 31238 0 -1 4202560 28028 0 0 0 59 2 0 0 15 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=10545860 CPUtime=0.7 cores=1,3,5,7
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 31238 0 -1 4202560 31003 0 0 0 66 4 0 0 15 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=10545860 CPUtime=0.63 cores=1,3,5,7
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 31238 0 -1 4202560 40347 0 0 0 58 5 0 0 16 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=10545860 CPUtime=0.66 cores=1,3,5,7
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 31238 0 -1 4202560 33975 0 0 0 62 4 0 0 16 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1147] ppid=1138 vsize=10545860 CPUtime=0.61 cores=1,3,5,7
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 31238 0 -1 4202560 30337 0 0 0 57 4 0 0 15 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=10545860 CPUtime=0.66 cores=1,3,5,7
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 31238 0 -1 4202560 30887 0 0 0 61 5 0 0 15 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 7 0 0 0
[pid=1140/tid=1149] ppid=1138 vsize=10545860 CPUtime=0.71 cores=1,3,5,7
/proc/1140/task/1149/stat : 1149 (java) S 1138 1140 31238 0 -1 4202560 31767 0 0 0 68 3 0 0 16 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1150] ppid=1138 vsize=10545860 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1150/stat : 1150 (java) S 1138 1140 31238 0 -1 4202560 21952 0 0 0 53 3 0 0 15 0 19 0 912418242 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1151] ppid=1138 vsize=10545860 CPUtime=0.03 cores=1,3,5,7
/proc/1140/task/1151/stat : 1151 (java) S 1138 1140 31238 0 -1 4202560 106 0 0 0 1 2 0 0 16 0 19 0 912418243 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 0 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1152] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1152/stat : 1152 (java) S 1138 1140 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1153] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1153/stat : 1153 (java) S 1138 1140 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912418243 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1154] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1154/stat : 1154 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907314097 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1155] ppid=1138 vsize=10545860 CPUtime=0.63 cores=1,3,5,7
/proc/1140/task/1155/stat : 1155 (java) S 1138 1140 31238 0 -1 4202560 5005 0 0 0 63 0 0 0 15 0 19 0 912418245 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 5 0 0 0
[pid=1140/tid=1156] ppid=1138 vsize=10545860 CPUtime=0.56 cores=1,3,5,7
/proc/1140/task/1156/stat : 1156 (java) S 1138 1140 31238 0 -1 4202560 5327 0 0 0 56 0 0 0 15 0 19 0 912418245 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1157] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1157/stat : 1157 (java) S 1138 1140 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912418245 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907306393 0 4 0 16800975 18446604462362756288 0 0 -1 1 0 0 0
[pid=1140/tid=1158] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1158/stat : 1158 (java) S 1138 1140 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912418245 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
[pid=1140/tid=1159] ppid=1138 vsize=10545860 CPUtime=0 cores=1,3,5,7
/proc/1140/task/1159/stat : 1159 (java) S 1138 1140 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912418255 10798960640 1046351 33554432000 1073741824 1073778376 140736679965520 18446744073709551615 231907307008 0 4 0 16800975 18446604462362756288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10545860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.44 s]
/proc/loadavg: 2.14 2.06 2.01 4/480 1258
/proc/meminfo: memFree=22931084/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/1140/stat : 1140 (java) Z 1138 1140 31238 0 -1 4203548 1064767 0 1 0 179885 134 0 0 17 0 2 0 912418240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 0 0 0 0 0 0 0
[pid=1140/tid=1141] ppid=1138 vsize=0 CPUtime=1793.66 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4203588 804746 0 1 0 179272 94 0 0 25 0 2 0 912418240 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1795.5 s]
/proc/loadavg: 2.14 2.06 2.01 4/480 1258
/proc/meminfo: memFree=22931084/32950928 swapFree=52246700/67111528
[pid=1140] ppid=1138 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/1140/stat : 1140 (java) Z 1138 1140 31238 0 -1 4203548 1064767 0 1 0 179885 141 0 0 17 0 2 0 912418240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1140/statm: 0 0 0 0 0 0 0
[pid=1140/tid=1141] ppid=1138 vsize=0 CPUtime=1793.72 cores=1,3,5,7
/proc/1140/task/1141/stat : 1141 (java) R 1138 1140 31238 0 -1 4203588 804746 0 1 0 179272 100 0 0 25 0 2 0 912418240 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.52
CPU time (s): 1800.28
CPU user time (s): 1798.86
CPU system time (s): 1.42578
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 10551640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.42578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1064767
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= 40805
involuntary context switches= 20329
runsolver used 7.56085 second user time and 18.8571 second system time
The end