runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246275-1500687098/watcher-4246275-1500687098 -o /tmp/evaluation-result-4246275-1500687098/solver-4246275-1500687098 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2117298588 HOME/instance-4246275-1500687098.xml
pid=9177
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 16.01 15.81 15.38 10/276 9180
/proc/meminfo: memFree=31642268/32770624 swapFree=5900/256308
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 16.01 15.81 15.38 10/276 9180
/proc/meminfo: memFree=31642268/32770624 swapFree=5900/256308
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20025 s]
/proc/loadavg: 16.01 15.81 15.38 10/276 9180
/proc/meminfo: memFree=31642268/32770624 swapFree=5900/256308
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.530447 s]
/proc/loadavg: 16.01 15.81 15.38 10/276 9180
/proc/meminfo: memFree=31642268/32770624 swapFree=5900/256308
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700217 s]
/proc/loadavg: 16.01 15.81 15.38 10/276 9180
/proc/meminfo: memFree=31642268/32770624 swapFree=5900/256308
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50131 s]
/proc/loadavg: 15.45 15.69 15.34 13/297 9201
/proc/meminfo: memFree=31449352/32770624 swapFree=5900/256364
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[pid=9181] ppid=9180 vsize=13269256 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/9181/stat : 9181 (java) S 9180 9180 16913 0 -1 1077944320 22759 0 0 0 477 13 0 0 20 0 20 0 3976780 13587718144 52030 33554432000 4194304 4196468 140724642837488 140724642820032 140444676628215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
/proc/9181/statm: 3317314 52030 3251 1 0 3304547 0
[pid=9181/tid=9182] ppid=9180 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9182/stat : 9182 (java) R 9180 9180 16913 0 -1 4202560 8010 0 0 0 130 4 0 0 20 0 20 0 3976781 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444680866200 140444311318210 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9184] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9184/stat : 9184 (java) S 9180 9180 16913 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444629248528 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9185] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9185/stat : 9185 (java) S 9180 9180 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444628195984 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9186] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9186/stat : 9186 (java) S 9180 9180 16913 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444627142928 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9187] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9187/stat : 9187 (java) S 9180 9180 16913 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444272359824 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9188] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9188/stat : 9188 (java) S 9180 9180 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444271307792 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9189] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9189/stat : 9189 (java) S 9180 9180 16913 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444270255248 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9190] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9190/stat : 9190 (java) S 9180 9180 16913 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444269202192 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9191] ppid=9180 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9191/stat : 9191 (java) S 9180 9180 16913 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 3976782 13587718144 52030 33554432000 4194304 4196468 140724642837488 140444268149648 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9192] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9192/stat : 9192 (java) S 9180 9180 16913 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 3976784 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443937577200 140444676639362 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9193] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9193/stat : 9193 (java) S 9180 9180 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3976784 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443936523424 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9194] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9194/stat : 9194 (java) S 9180 9180 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3976785 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443935470320 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9195] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9195/stat : 9195 (java) S 9180 9180 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3976788 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443934418896 140444676646811 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9196] ppid=9180 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9196/stat : 9196 (java) R 9180 9180 16913 0 -1 4202560 3478 0 0 0 88 0 0 0 20 0 20 0 3976788 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443933348592 140444656816813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9197] ppid=9180 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9197/stat : 9197 (java) R 9180 9180 16913 0 -1 4202560 3226 0 0 0 85 0 0 0 20 0 20 0 3976788 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443932295872 140444654222961 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9198] ppid=9180 vsize=13269256 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9198/stat : 9198 (java) R 9180 9180 16913 0 -1 4202560 3047 0 0 0 93 1 0 0 20 0 20 0 3976788 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443931247928 140444658149921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9199] ppid=9180 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9199/stat : 9199 (java) S 9180 9180 16913 0 -1 1077944384 3107 0 0 0 67 1 0 0 20 0 20 0 3976788 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443930208880 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9200] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9200/stat : 9200 (java) S 9180 9180 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3976789 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443929156064 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9201] ppid=9180 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9201/stat : 9201 (java) S 9180 9180 16913 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3976789 13587718144 52030 33554432000 4194304 4196468 140724642837488 140443928103600 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 13278768
[startup+3.10704 s]
/proc/loadavg: 15.45 15.69 15.34 20/305 9241
/proc/meminfo: memFree=31411624/32770624 swapFree=5900/256364
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[pid=9181] ppid=9180 vsize=13802796 CPUtime=17.08 cores=1,3,5,7,9,11,13,15
/proc/9181/stat : 9181 (java) S 9180 9180 16913 0 -1 1077944320 29733 0 0 0 1674 34 0 0 20 0 28 0 3976780 14134063104 93219 33554432000 4194304 4196468 140724642837488 140724642820032 140444676628215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
/proc/9181/statm: 3450699 93219 3272 1 0 3437932 0
[pid=9181/tid=9182] ppid=9180 vsize=13802796 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9182/stat : 9182 (java) S 9180 9180 16913 0 -1 1077944384 8264 0 0 0 141 4 0 0 20 0 28 0 3976781 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444680868992 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9184] ppid=9180 vsize=13802796 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9184/stat : 9184 (java) R 9180 9180 16913 0 -1 4202560 70 0 0 0 3 3 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444629248728 140444669731630 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9185] ppid=9180 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9185/stat : 9185 (java) R 9180 9180 16913 0 -1 4202560 43 0 0 0 2 1 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444628196184 140444658254251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9186] ppid=9180 vsize=13802796 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9186/stat : 9186 (java) R 9180 9180 16913 0 -1 4202560 76 0 0 0 3 1 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444627142928 140444655823245 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9187] ppid=9180 vsize=13802796 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9187/stat : 9187 (java) R 9180 9180 16913 0 -1 4202560 118 0 0 0 2 2 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444272359824 140444655823245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9188] ppid=9180 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9188/stat : 9188 (java) R 9180 9180 16913 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444271307792 140444655823245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9189] ppid=9180 vsize=13802796 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9189/stat : 9189 (java) R 9180 9180 16913 0 -1 4202560 75 0 0 0 2 2 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444270255448 140444661652444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9190] ppid=9180 vsize=13802796 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9190/stat : 9190 (java) R 9180 9180 16913 0 -1 4202560 86 0 0 0 3 2 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444269202192 140444661655522 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9191] ppid=9180 vsize=13802796 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9191/stat : 9191 (java) R 9180 9180 16913 0 -1 4202560 73 0 0 0 3 2 0 0 20 0 28 0 3976782 14134063104 93219 33554432000 4194304 4196468 140724642837488 140444268149648 140444669732873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9192] ppid=9180 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9192/stat : 9192 (java) S 9180 9180 16913 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 28 0 3976784 14134063104 93219 33554432000 4194304 4196468 140724642837488 140443937575712 140444676638421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9193] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9193/stat : 9193 (java) S 9180 9180 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3976784 14134063104 93219 33554432000 4194304 4196468 140724642837488 140443936523488 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9194] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9194/stat : 9194 (java) S 9180 9180 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3976785 14134063104 93219 33554432000 4194304 4196468 140724642837488 140443935470336 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9195] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9195/stat : 9195 (java) S 9180 9180 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976788 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443934418896 140444676646811 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9196] ppid=9180 vsize=13802796 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9196/stat : 9196 (java) S 9180 9180 16913 0 -1 1077944384 5193 0 0 0 214 0 0 0 20 0 28 0 3976788 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443933365920 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9197] ppid=9180 vsize=13802796 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9197/stat : 9197 (java) R 9180 9180 16913 0 -1 4202560 3712 0 0 0 203 0 0 0 20 0 28 0 3976788 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443932300400 140444655871909 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9198] ppid=9180 vsize=13802796 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9198/stat : 9198 (java) S 9180 9180 16913 0 -1 1077944384 4269 0 0 0 200 1 0 0 20 0 28 0 3976788 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443931252704 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9199] ppid=9180 vsize=13802796 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9199/stat : 9199 (java) S 9180 9180 16913 0 -1 1077944384 4262 0 0 0 108 2 0 0 20 0 28 0 3976788 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443930208880 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9200] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9200/stat : 9200 (java) S 9180 9180 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976789 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443929156064 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9201] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9201/stat : 9201 (java) S 9180 9180 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3976789 14134063104 93731 33554432000 4194304 4196468 140724642837488 140443928103600 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 13812308
[startup+6.30143 s]
/proc/loadavg: 14.93 15.58 15.31 17/305 9305
/proc/meminfo: memFree=31236420/32770624 swapFree=5900/256364
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[pid=9181] ppid=9180 vsize=13802796 CPUtime=37.6 cores=1,3,5,7,9,11,13,15
/proc/9181/stat : 9181 (java) S 9180 9180 16913 0 -1 1077944320 32662 0 0 0 3706 54 0 0 20 0 28 0 3976780 14134063104 103767 33554432000 4194304 4196468 140724642837488 140724642820032 140444676628215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
/proc/9181/statm: 3450699 103767 3289 1 0 3437932 0
[pid=9181/tid=9182] ppid=9180 vsize=13802796 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9182/stat : 9182 (java) S 9180 9180 16913 0 -1 1077944384 8271 0 0 0 143 5 0 0 20 0 28 0 3976781 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444680868992 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9184] ppid=9180 vsize=13802796 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9184/stat : 9184 (java) S 9180 9180 16913 0 -1 1077944384 89 0 0 0 5 5 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444629248528 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9185] ppid=9180 vsize=13802796 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9185/stat : 9185 (java) S 9180 9180 16913 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444628195984 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9186] ppid=9180 vsize=13802796 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9186/stat : 9186 (java) S 9180 9180 16913 0 -1 1077944384 94 0 0 0 6 3 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444627142928 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9187] ppid=9180 vsize=13802796 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9187/stat : 9187 (java) S 9180 9180 16913 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444272359824 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9188] ppid=9180 vsize=13802796 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9188/stat : 9188 (java) S 9180 9180 16913 0 -1 1077944384 94 0 0 0 4 4 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444271307792 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9189] ppid=9180 vsize=13802796 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9189/stat : 9189 (java) S 9180 9180 16913 0 -1 1077944384 636 0 0 0 5 4 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444270255248 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9190] ppid=9180 vsize=13802796 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9190/stat : 9190 (java) S 9180 9180 16913 0 -1 1077944384 107 0 0 0 5 5 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444269202192 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9191] ppid=9180 vsize=13802796 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9191/stat : 9191 (java) S 9180 9180 16913 0 -1 1077944384 94 0 0 0 5 5 0 0 20 0 28 0 3976782 14134063104 103767 33554432000 4194304 4196468 140724642837488 140444268149648 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9192] ppid=9180 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9192/stat : 9192 (java) S 9180 9180 16913 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 28 0 3976784 14134063104 103767 33554432000 4194304 4196468 140724642837488 140443937577200 140444676639362 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9193] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9193/stat : 9193 (java) S 9180 9180 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3976784 14134063104 103767 33554432000 4194304 4196468 140724642837488 140443936523488 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9194] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9194/stat : 9194 (java) S 9180 9180 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3976785 14134063104 103767 33554432000 4194304 4196468 140724642837488 140443935470336 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9195] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9195/stat : 9195 (java) S 9180 9180 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976788 14134063104 103767 33554432000 4194304 4196468 140724642837488 140443934418896 140444676646811 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
################
# More data... #
################
[pid=9181/tid=9361] ppid=9180 vsize=13802796 CPUtime=159.53 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9361/stat : 9361 (java) R 9180 9180 16913 0 -1 4202560 653 0 0 0 15953 0 0 0 20 0 28 0 3982868 14134063104 572765 33554432000 4194304 4196468 140724642837488 140443917983816 140444315260166 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9362] ppid=9180 vsize=13802796 CPUtime=160.97 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9362/stat : 9362 (java) R 9180 9180 16913 0 -1 4202560 1858 0 0 0 16097 0 0 0 20 0 28 0 3982868 14134063104 572765 33554432000 4194304 4196468 140724642837488 140443911670672 140444313424216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
Current children cumulated CPU time (s) 1735.71
Current children cumulated vsize (KiB) 13812308
[startup+282.301 s]
/proc/loadavg: 15.95 15.70 15.42 17/303 9365
/proc/meminfo: memFree=27711872/32770624 swapFree=5900/256620
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[pid=9181] ppid=9180 vsize=13802796 CPUtime=2213.07 cores=1,3,5,7,9,11,13,15
/proc/9181/stat : 9181 (java) S 9180 9180 16913 0 -1 1077944320 110121 0 0 0 221078 229 0 0 20 0 28 0 3976780 14134063104 577362 33554432000 4194304 4196468 140724642837488 140724642820032 140444676628215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
/proc/9181/statm: 3450699 577362 3291 1 0 3437932 0
[pid=9181/tid=9182] ppid=9180 vsize=13802796 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9182/stat : 9182 (java) S 9180 9180 16913 0 -1 1077944384 8871 0 0 0 144 5 0 0 20 0 28 0 3976781 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444680868992 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 9 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9184] ppid=9180 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9184/stat : 9184 (java) S 9180 9180 16913 0 -1 1077944384 706 0 0 0 18 20 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444629248528 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9185] ppid=9180 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9185/stat : 9185 (java) S 9180 9180 16913 0 -1 1077944384 2127 0 0 0 19 19 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444628195984 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9186] ppid=9180 vsize=13802796 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9186/stat : 9186 (java) S 9180 9180 16913 0 -1 1077944384 431 0 0 0 18 17 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444627142928 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9187] ppid=9180 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9187/stat : 9187 (java) S 9180 9180 16913 0 -1 1077944384 763 0 0 0 19 21 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444272359824 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9188] ppid=9180 vsize=13802796 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9188/stat : 9188 (java) S 9180 9180 16913 0 -1 1077944384 956 0 0 0 18 18 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444271307792 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9189] ppid=9180 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9189/stat : 9189 (java) S 9180 9180 16913 0 -1 1077944384 1355 0 0 0 20 19 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444270255248 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9190] ppid=9180 vsize=13802796 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9190/stat : 9190 (java) S 9180 9180 16913 0 -1 1077944384 1024 0 0 0 18 19 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444269202192 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9191] ppid=9180 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9191/stat : 9191 (java) S 9180 9180 16913 0 -1 1077944384 708 0 0 0 20 18 0 0 20 0 28 0 3976782 14134063104 577362 33554432000 4194304 4196468 140724642837488 140444268149648 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9192] ppid=9180 vsize=13802796 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9192/stat : 9192 (java) S 9180 9180 16913 0 -1 1077944384 4232 0 0 0 8 10 0 0 20 0 28 0 3976784 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443937577200 140444676639362 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9193] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9193/stat : 9193 (java) S 9180 9180 16913 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3976784 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443936523488 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9194] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9194/stat : 9194 (java) S 9180 9180 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3976785 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443935470336 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9195] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9195/stat : 9195 (java) S 9180 9180 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976788 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443934418896 140444676646811 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9196] ppid=9180 vsize=13802796 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9196/stat : 9196 (java) S 9180 9180 16913 0 -1 1077944384 11667 0 0 0 378 2 0 0 20 0 28 0 3976788 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443933367024 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9197] ppid=9180 vsize=13802796 CPUtime=3.97 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9197/stat : 9197 (java) S 9180 9180 16913 0 -1 1077944384 13935 0 0 0 396 1 0 0 20 0 28 0 3976788 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443932314480 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9198] ppid=9180 vsize=13802796 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9198/stat : 9198 (java) S 9180 9180 16913 0 -1 1077944384 11389 0 0 0 382 2 0 0 20 0 28 0 3976788 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443931261424 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9199] ppid=9180 vsize=13802796 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9199/stat : 9199 (java) S 9180 9180 16913 0 -1 1077944384 12257 0 0 0 135 3 0 0 20 0 28 0 3976788 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443930208880 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9200] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9200/stat : 9200 (java) S 9180 9180 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976789 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443929156064 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9201] ppid=9180 vsize=13802796 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9201/stat : 9201 (java) S 9180 9180 16913 0 -1 1077944384 1054 0 0 0 6 8 0 0 20 0 28 0 3976789 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443928103600 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9355] ppid=9180 vsize=13802796 CPUtime=220.33 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9355/stat : 9355 (java) R 9180 9180 16913 0 -1 4202560 1463 0 0 0 22033 0 0 0 20 0 28 0 3982867 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443915876840 140444315260085 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9356] ppid=9180 vsize=13802796 CPUtime=219.47 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9356/stat : 9356 (java) R 9180 9180 16913 0 -1 4202560 2340 0 0 0 21947 0 0 0 20 0 28 0 3982867 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443913775728 140444314006822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9357] ppid=9180 vsize=13802796 CPUtime=220.56 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9357/stat : 9357 (java) R 9180 9180 16913 0 -1 4202560 4953 0 0 0 22055 1 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443914826104 140444315584452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9358] ppid=9180 vsize=13802796 CPUtime=220.79 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9358/stat : 9358 (java) R 9180 9180 16913 0 -1 4202560 3193 0 0 0 22078 1 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443919037032 140444315584862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9359] ppid=9180 vsize=13802796 CPUtime=220.25 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9359/stat : 9359 (java) R 9180 9180 16913 0 -1 4202560 977 0 0 0 22025 0 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443920089104 140444315584452 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9360] ppid=9180 vsize=13802796 CPUtime=219.55 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9360/stat : 9360 (java) R 9180 9180 16913 0 -1 4202560 2351 0 0 0 21955 0 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443912720440 140444314006955 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9361] ppid=9180 vsize=13802796 CPUtime=219.12 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9361/stat : 9361 (java) R 9180 9180 16913 0 -1 4202560 729 0 0 0 21912 0 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443917983480 140444315258190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9362] ppid=9180 vsize=13802796 CPUtime=220.74 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9362/stat : 9362 (java) R 9180 9180 16913 0 -1 4202560 2253 0 0 0 22073 1 0 0 20 0 28 0 3982868 14134063104 577362 33554432000 4194304 4196468 140724642837488 140443911667736 140444315257627 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
Current children cumulated CPU time (s) 2213.07
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.802 s]
/proc/loadavg: 15.63 15.65 15.41 18/302 9501
/proc/meminfo: memFree=29103140/32770624 swapFree=5900/256712
[pid=9180] ppid=9177 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9180/stat : 9180 (xcsp3-exec) S 9177 9180 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3976780 9740288 345 33554432000 4194304 5098028 140733515702000 140733515700104 140600757318268 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7749632 140733515703438 140733515703648 140733515703648 140733515706347 0
/proc/9180/statm: 2378 345 289 221 0 87 0
[pid=9181] ppid=9180 vsize=13802796 CPUtime=2400.12 cores=1,3,5,7,9,11,13,15
/proc/9181/stat : 9181 (java) S 9180 9180 16913 0 -1 1077944320 112381 0 0 0 239775 237 0 0 20 0 28 0 3976780 14134063104 578937 33554432000 4194304 4196468 140724642837488 140724642820032 140444676628215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
/proc/9181/statm: 3450699 578937 3291 1 0 3437932 0
[pid=9181/tid=9182] ppid=9180 vsize=13802796 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9182/stat : 9182 (java) S 9180 9180 16913 0 -1 1077944384 8871 0 0 0 144 5 0 0 20 0 28 0 3976781 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444680868992 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 9 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9184] ppid=9180 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9184/stat : 9184 (java) S 9180 9180 16913 0 -1 1077944384 731 0 0 0 19 21 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444629248528 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9185] ppid=9180 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9185/stat : 9185 (java) S 9180 9180 16913 0 -1 1077944384 2163 0 0 0 20 20 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444628195984 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9186] ppid=9180 vsize=13802796 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9186/stat : 9186 (java) S 9180 9180 16913 0 -1 1077944384 609 0 0 0 19 18 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444627142928 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9187] ppid=9180 vsize=13802796 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9187/stat : 9187 (java) S 9180 9180 16913 0 -1 1077944384 816 0 0 0 19 22 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444272359824 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9188] ppid=9180 vsize=13802796 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9188/stat : 9188 (java) S 9180 9180 16913 0 -1 1077944384 980 0 0 0 19 18 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444271307792 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9189] ppid=9180 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9189/stat : 9189 (java) S 9180 9180 16913 0 -1 1077944384 1378 0 0 0 20 19 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444270255248 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9190] ppid=9180 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9190/stat : 9190 (java) S 9180 9180 16913 0 -1 1077944384 1045 0 0 0 19 19 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444269202192 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9191] ppid=9180 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9191/stat : 9191 (java) S 9180 9180 16913 0 -1 1077944384 1106 0 0 0 21 18 0 0 20 0 28 0 3976782 14134063104 578937 33554432000 4194304 4196468 140724642837488 140444268149648 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9192] ppid=9180 vsize=13802796 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9192/stat : 9192 (java) S 9180 9180 16913 0 -1 1077944384 4499 0 0 0 9 10 0 0 20 0 28 0 3976784 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443937577200 140444676639362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9193] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9193/stat : 9193 (java) S 9180 9180 16913 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3976784 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443936523488 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9194] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9194/stat : 9194 (java) S 9180 9180 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3976785 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443935470336 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9195] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9195/stat : 9195 (java) S 9180 9180 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976788 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443934418896 140444676646811 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9196] ppid=9180 vsize=13802796 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9196/stat : 9196 (java) S 9180 9180 16913 0 -1 1077944384 11673 0 0 0 378 2 0 0 20 0 28 0 3976788 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443933367024 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9197] ppid=9180 vsize=13802796 CPUtime=3.97 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9197/stat : 9197 (java) S 9180 9180 16913 0 -1 1077944384 13938 0 0 0 396 1 0 0 20 0 28 0 3976788 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443932314480 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9198] ppid=9180 vsize=13802796 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9198/stat : 9198 (java) S 9180 9180 16913 0 -1 1077944384 11393 0 0 0 382 2 0 0 20 0 28 0 3976788 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443931261424 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9199] ppid=9180 vsize=13802796 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9199/stat : 9199 (java) S 9180 9180 16913 0 -1 1077944384 12262 0 0 0 135 3 0 0 20 0 28 0 3976788 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443930208880 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9200] ppid=9180 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9200/stat : 9200 (java) S 9180 9180 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976789 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443929156064 140444676638421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9201] ppid=9180 vsize=13802796 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9201/stat : 9201 (java) S 9180 9180 16913 0 -1 1077944384 1081 0 0 0 6 9 0 0 20 0 28 0 3976789 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443928103600 140444676639362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9355] ppid=9180 vsize=13802796 CPUtime=243.65 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9355/stat : 9355 (java) R 9180 9180 16913 0 -1 4202560 1549 0 0 0 24365 0 0 0 20 0 28 0 3982867 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443915877688 140444314648363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9356] ppid=9180 vsize=13802796 CPUtime=242.56 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9356/stat : 9356 (java) R 9180 9180 16913 0 -1 4202560 2449 0 0 0 24256 0 0 0 20 0 28 0 3982867 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443913772664 140444309071720 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9357] ppid=9180 vsize=13802796 CPUtime=244.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9357/stat : 9357 (java) R 9180 9180 16913 0 -1 4202560 5310 0 0 0 24399 2 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443914826104 140444315584248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9358] ppid=9180 vsize=13802796 CPUtime=244.05 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9358/stat : 9358 (java) R 9180 9180 16913 0 -1 4202560 3322 0 0 0 24404 1 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443919037064 140444313410560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9359] ppid=9180 vsize=13802796 CPUtime=243.7 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9359/stat : 9359 (java) R 9180 9180 16913 0 -1 4202560 1084 0 0 0 24370 0 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443920089104 140444315584770 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9360] ppid=9180 vsize=13802796 CPUtime=243.01 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9360/stat : 9360 (java) R 9180 9180 16913 0 -1 4202560 2478 0 0 0 24301 0 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443912723552 140444310862231 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9361] ppid=9180 vsize=13802796 CPUtime=242.54 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9361/stat : 9361 (java) R 9180 9180 16913 0 -1 4202560 780 0 0 0 24254 0 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443917983720 140444315257693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
[pid=9181/tid=9362] ppid=9180 vsize=13802796 CPUtime=244.2 cores=1,3,5,7,9,11,13,15
/proc/9181/task/9362/stat : 9362 (java) R 9180 9180 16913 0 -1 4202560 2477 0 0 0 24419 1 0 0 20 0 28 0 3982868 14134063104 578937 33554432000 4194304 4196468 140724642837488 140443911667736 140444315584452 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15896576 140724642845884 140724642846060 140724642846060 140724642848719 0
Current children cumulated CPU time (s) 2400.12
Current children cumulated vsize (KiB) 13812308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9181 sig 9
??? kill 9180 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9180 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=804
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1609
# CPU time returned by wait4() is 0.002413
# while last known CPU time is 2400.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.813
CPU time (s): 2400.12
CPU user time (s): 2397.75
CPU system time (s): 2.37
CPU usage (%): 784.834
Max. virtual memory (cumulated for all children) (KiB): 13812308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000804
system time used= 0.001609
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98735 second user time and 4.65096 second system time
The end