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-4247540-1500690453/watcher-4247540-1500690453 -o /tmp/evaluation-result-4247540-1500690453/solver-4247540-1500690453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 877465285 HOME/instance-4247540-1500690453.xml
pid=1168
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.65 14.47 14.42 10/275 1171
/proc/meminfo: memFree=29718908/32770624 swapFree=5808/114840
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.65 14.47 14.42 10/275 1171
/proc/meminfo: memFree=29718908/32770624 swapFree=5808/114840
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20027 s]
/proc/loadavg: 15.65 14.47 14.42 10/275 1171
/proc/meminfo: memFree=29718908/32770624 swapFree=5808/114840
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300209 s]
/proc/loadavg: 15.65 14.47 14.42 10/275 1171
/proc/meminfo: memFree=29718908/32770624 swapFree=5808/114840
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70017 s]
/proc/loadavg: 15.65 14.47 14.42 10/275 1171
/proc/meminfo: memFree=29718908/32770624 swapFree=5808/114840
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5015 s]
/proc/loadavg: 15.65 14.47 14.42 20/304 1200
/proc/meminfo: memFree=29610204/32770624 swapFree=5808/114868
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
[pid=1172] ppid=1171 vsize=13803408 CPUtime=7.76 cores=0,2,4,6,8,10,12,14
/proc/1172/stat : 1172 (java) S 1171 1171 15196 0 -1 1077944320 25993 0 0 0 765 11 0 0 20 0 28 0 4310448 14134689792 37415 33554432000 4194304 4196468 140720945289856 140720945272400 140249407905527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
/proc/1172/statm: 3450852 37415 3204 1 0 3438085 0
[pid=1172/tid=1173] ppid=1171 vsize=13803408 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1173/stat : 1173 (java) S 1171 1171 15196 0 -1 1077944384 6986 0 0 0 59 4 0 0 20 0 28 0 4310449 14134689792 37415 33554432000 4194304 4196468 140720945289856 140249412146304 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1175] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1175/stat : 1175 (java) S 1171 1171 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37415 33554432000 4194304 4196468 140720945289856 140249340041872 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1176] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1176/stat : 1176 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37415 33554432000 4194304 4196468 140720945289856 140249006049808 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1177] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1177/stat : 1177 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37415 33554432000 4194304 4196468 140720945289856 140249004997008 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1178] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1178/stat : 1178 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37481 33554432000 4194304 4196468 140720945289856 140249003944208 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1179] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1179/stat : 1179 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37481 33554432000 4194304 4196468 140720945289856 140249002892432 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1180] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1180/stat : 1180 (java) S 1171 1171 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37481 33554432000 4194304 4196468 140720945289856 140249001839632 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1181] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1181/stat : 1181 (java) S 1171 1171 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37481 33554432000 4194304 4196468 140720945289856 140249000786832 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1182] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1182/stat : 1182 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310450 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248999734032 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1183] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1183/stat : 1183 (java) S 1171 1171 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4310452 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248937380208 140249407916674 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1184] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1184/stat : 1184 (java) S 1171 1171 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4310453 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248600273952 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1185] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1185/stat : 1185 (java) S 1171 1171 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4310453 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248599221104 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1186] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1186/stat : 1186 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248598169424 140249407924123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1187] ppid=1171 vsize=13803408 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1187/stat : 1187 (java) R 1171 1171 15196 0 -1 4202560 5278 0 0 0 56 1 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248597103016 140249389450488 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1188] ppid=1171 vsize=13803408 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1188/stat : 1188 (java) R 1171 1171 15196 0 -1 4202560 4267 0 0 0 59 1 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248596050744 140249389449774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1189] ppid=1171 vsize=13803408 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1189/stat : 1189 (java) R 1171 1171 15196 0 -1 4202560 3499 0 0 0 58 0 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248594996568 140249392302392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1190] ppid=1171 vsize=13803408 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1190/stat : 1190 (java) S 1171 1171 15196 0 -1 1077944384 4126 0 0 0 66 1 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248593959408 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1191] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1191/stat : 1191 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248592906848 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1192] ppid=1171 vsize=13803408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1192/stat : 1192 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310457 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248591854128 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1193] ppid=1171 vsize=13803408 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1193/stat : 1193 (java) R 1171 1171 15196 0 -1 4202560 145 0 0 0 71 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248584339912 140249023897791 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1194] ppid=1171 vsize=13803408 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1194/stat : 1194 (java) R 1171 1171 15196 0 -1 4202560 57 0 0 0 55 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248583285464 140249024334070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1195] ppid=1171 vsize=13803408 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1195/stat : 1195 (java) R 1171 1171 15196 0 -1 4202560 53 0 0 0 65 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248582234504 140249025004236 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1196] ppid=1171 vsize=13803408 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1196/stat : 1196 (java) R 1171 1171 15196 0 -1 4202560 115 0 0 0 51 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248581183360 140249024292473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1197] ppid=1171 vsize=13803408 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1197/stat : 1197 (java) R 1171 1171 15196 0 -1 4202560 40 0 0 0 60 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248580130976 140249023054319 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1198] ppid=1171 vsize=13803408 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1198/stat : 1198 (java) R 1171 1171 15196 0 -1 4202560 53 0 0 0 55 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248579076392 140249023678624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1199] ppid=1171 vsize=13803408 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1199/stat : 1199 (java) R 1171 1171 15196 0 -1 4202560 43 0 0 0 53 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248578022888 140249024460795 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1200] ppid=1171 vsize=13803408 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1200/stat : 1200 (java) R 1171 1171 15196 0 -1 4202560 39 0 0 0 51 0 0 0 20 0 28 0 4310516 14134689792 37481 33554432000 4194304 4196468 140720945289856 140248576970840 140249023684092 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 13812920
[startup+3.10145 s]
/proc/loadavg: 15.65 14.47 14.42 20/302 1202
/proc/meminfo: memFree=29543876/32770624 swapFree=5808/114880
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
[pid=1172] ppid=1171 vsize=13801768 CPUtime=20.47 cores=0,2,4,6,8,10,12,14
/proc/1172/stat : 1172 (java) S 1171 1171 15196 0 -1 1077944320 47137 0 0 0 2029 18 0 0 20 0 28 0 4310448 14133010432 63471 33554432000 4194304 4196468 140720945289856 140720945272400 140249407905527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
/proc/1172/statm: 3450442 63471 3260 1 0 3437675 0
[pid=1172/tid=1173] ppid=1171 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1173/stat : 1173 (java) S 1171 1171 15196 0 -1 1077944384 6986 0 0 0 59 4 0 0 20 0 28 0 4310449 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249412146304 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1175] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1175/stat : 1175 (java) S 1171 1171 15196 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249340041872 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1176] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1176/stat : 1176 (java) S 1171 1171 15196 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249006049808 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1177] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1177/stat : 1177 (java) S 1171 1171 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249004997008 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1178] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1178/stat : 1178 (java) S 1171 1171 15196 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249003944208 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1179] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1179/stat : 1179 (java) S 1171 1171 15196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249002892432 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1180] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1180/stat : 1180 (java) S 1171 1171 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249001839632 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1181] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1181/stat : 1181 (java) S 1171 1171 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140249000786832 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1182] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1182/stat : 1182 (java) S 1171 1171 15196 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 28 0 4310450 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248999734032 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1183] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1183/stat : 1183 (java) S 1171 1171 15196 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 28 0 4310452 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248937380208 140249407916674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1184] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1184/stat : 1184 (java) S 1171 1171 15196 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248600273952 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1185] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1185/stat : 1185 (java) S 1171 1171 15196 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248599221104 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1186] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1186/stat : 1186 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248598169424 140249407924123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1187] ppid=1171 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1187/stat : 1187 (java) R 1171 1171 15196 0 -1 4202560 12871 0 0 0 153 2 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248597103832 140249389449745 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1188] ppid=1171 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1188/stat : 1188 (java) R 1171 1171 15196 0 -1 4202560 7116 0 0 0 148 1 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248596051552 140249389449706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1189] ppid=1171 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1189/stat : 1189 (java) R 1171 1171 15196 0 -1 4202560 10284 0 0 0 196 1 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248594998224 140249389449754 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1190] ppid=1171 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1190/stat : 1190 (java) S 1171 1171 15196 0 -1 1077944384 5328 0 0 0 72 1 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248593959408 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1191] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1191/stat : 1191 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248592906848 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1192] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1192/stat : 1192 (java) S 1171 1171 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248591854128 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1193] ppid=1171 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1193/stat : 1193 (java) R 1171 1171 15196 0 -1 4202560 236 0 0 0 210 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248584337192 140249025881082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1194] ppid=1171 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1194/stat : 1194 (java) R 1171 1171 15196 0 -1 4202560 133 0 0 0 166 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248583285544 140249025005848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1195] ppid=1171 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1195/stat : 1195 (java) R 1171 1171 15196 0 -1 4202560 116 0 0 0 184 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248582233640 140249025004321 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1196] ppid=1171 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1196/stat : 1196 (java) R 1171 1171 15196 0 -1 4202560 430 0 0 0 168 1 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248581183832 140249023055527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1197] ppid=1171 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1197/stat : 1197 (java) R 1171 1171 15196 0 -1 4202560 113 0 0 0 184 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248580128168 140249025004321 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1198] ppid=1171 vsize=13801768 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1198/stat : 1198 (java) R 1171 1171 15196 0 -1 4202560 150 0 0 0 158 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248579076264 140249019814578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1199] ppid=1171 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1199/stat : 1199 (java) R 1171 1171 15196 0 -1 4202560 202 0 0 0 160 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248578023952 140249019807797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1200] ppid=1171 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1200/stat : 1200 (java) R 1171 1171 15196 0 -1 4202560 263 0 0 0 162 0 0 0 20 0 28 0 4310516 14133010432 63471 33554432000 4194304 4196468 140720945289856 140248576969048 140249024292415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
Current children cumulated CPU time (s) 20.47
Current children cumulated vsize (KiB) 13811280
[startup+6.30167 s]
/proc/loadavg: 15.51 14.46 14.42 18/302 1210
/proc/meminfo: memFree=29465244/32770624 swapFree=5808/114880
################
# More data... #
################
[pid=1172/tid=1199] ppid=1171 vsize=13801768 CPUtime=215.67 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1199/stat : 1199 (java) R 1171 1171 15196 0 -1 4202560 2575 0 0 0 21565 2 0 0 20 0 28 0 4310516 14133010432 108570 33554432000 4194304 4196468 140720945289856 140248578023784 140249025410839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1200] ppid=1171 vsize=13801768 CPUtime=215.95 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1200/stat : 1200 (java) R 1171 1171 15196 0 -1 4202560 2474 0 0 0 21594 1 0 0 20 0 28 0 4310516 14133010432 108570 33554432000 4194304 4196468 140720945289856 140248576970184 140249025658992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
Current children cumulated CPU time (s) 1748.89
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.10 15.51 14.88 17/301 1412
/proc/meminfo: memFree=31052436/32770624 swapFree=5808/115272
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
[pid=1172] ppid=1171 vsize=13801768 CPUtime=2220.13 cores=0,2,4,6,8,10,12,14
/proc/1172/stat : 1172 (java) S 1171 1171 15196 0 -1 1077944320 101034 0 0 0 221679 334 0 0 20 0 28 0 4310448 14133010432 100113 33554432000 4194304 4196468 140720945289856 140720945272400 140249407905527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
/proc/1172/statm: 3450442 100113 3299 1 0 3437675 0
[pid=1172/tid=1173] ppid=1171 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1173/stat : 1173 (java) S 1171 1171 15196 0 -1 1077944384 6986 0 0 0 59 4 0 0 20 0 28 0 4310449 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249412146304 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1175] ppid=1171 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1175/stat : 1175 (java) S 1171 1171 15196 0 -1 1077944384 1321 0 0 0 122 14 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249340041872 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1176] ppid=1171 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1176/stat : 1176 (java) S 1171 1171 15196 0 -1 1077944384 2497 0 0 0 117 14 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249006049808 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1177] ppid=1171 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1177/stat : 1177 (java) S 1171 1171 15196 0 -1 1077944384 1106 0 0 0 121 15 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249004997008 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1178] ppid=1171 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1178/stat : 1178 (java) S 1171 1171 15196 0 -1 1077944384 1806 0 0 0 119 14 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249003944208 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1179] ppid=1171 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1179/stat : 1179 (java) S 1171 1171 15196 0 -1 1077944384 1483 0 0 0 120 15 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249002892432 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1180] ppid=1171 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1180/stat : 1180 (java) S 1171 1171 15196 0 -1 1077944384 1344 0 0 0 119 14 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249001839632 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1181] ppid=1171 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1181/stat : 1181 (java) S 1171 1171 15196 0 -1 1077944384 1002 0 0 0 117 12 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140249000786832 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1182] ppid=1171 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1182/stat : 1182 (java) S 1171 1171 15196 0 -1 1077944384 1525 0 0 0 121 13 0 0 20 0 28 0 4310450 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248999734032 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1183] ppid=1171 vsize=13801768 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1183/stat : 1183 (java) S 1171 1171 15196 0 -1 1077944384 8801 0 0 0 132 178 0 0 20 0 28 0 4310452 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248937380208 140249407916674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1184] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1184/stat : 1184 (java) S 1171 1171 15196 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248600274016 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1185] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1185/stat : 1185 (java) S 1171 1171 15196 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248599221120 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1186] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1186/stat : 1186 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248598169424 140249407924123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1187] ppid=1171 vsize=13801768 CPUtime=3.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1187/stat : 1187 (java) S 1171 1171 15196 0 -1 1077944384 17845 0 0 0 360 3 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248597117808 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1188] ppid=1171 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1188/stat : 1188 (java) S 1171 1171 15196 0 -1 1077944384 13879 0 0 0 330 2 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248596065008 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1189] ppid=1171 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1189/stat : 1189 (java) S 1171 1171 15196 0 -1 1077944384 14374 0 0 0 373 2 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248595012208 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1190] ppid=1171 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1190/stat : 1190 (java) S 1171 1171 15196 0 -1 1077944384 8997 0 0 0 90 2 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248593959408 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1191] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1191/stat : 1191 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248592906848 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1192] ppid=1171 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1192/stat : 1192 (java) S 1171 1171 15196 0 -1 1077944384 867 0 0 0 6 5 0 0 20 0 28 0 4310457 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248591854128 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1193] ppid=1171 vsize=13801768 CPUtime=274.35 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1193/stat : 1193 (java) R 1171 1171 15196 0 -1 4202560 1365 0 0 0 27432 3 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248584337928 140249024176261 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1194] ppid=1171 vsize=13801768 CPUtime=273.9 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1194/stat : 1194 (java) R 1171 1171 15196 0 -1 4202560 2783 0 0 0 27387 3 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248583286344 140249024062154 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1195] ppid=1171 vsize=13801768 CPUtime=274.99 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1195/stat : 1195 (java) R 1171 1171 15196 0 -1 4202560 672 0 0 0 27496 3 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248582234352 140249026578411 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1196] ppid=1171 vsize=13801768 CPUtime=274.23 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1196/stat : 1196 (java) R 1171 1171 15196 0 -1 4202560 1552 0 0 0 27421 2 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248581181800 140249026749408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1197] ppid=1171 vsize=13801768 CPUtime=274.32 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1197/stat : 1197 (java) R 1171 1171 15196 0 -1 4202560 1741 0 0 0 27429 3 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248580131792 140249026578424 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1198] ppid=1171 vsize=13801768 CPUtime=273.53 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1198/stat : 1198 (java) R 1171 1171 15196 0 -1 4202560 1674 0 0 0 27351 2 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248579076264 140249027103817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1199] ppid=1171 vsize=13801768 CPUtime=274.08 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1199/stat : 1199 (java) R 1171 1171 15196 0 -1 4202560 3140 0 0 0 27405 3 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248578023352 140249026658914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1200] ppid=1171 vsize=13801768 CPUtime=274.39 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1200/stat : 1200 (java) R 1171 1171 15196 0 -1 4202560 2890 0 0 0 27437 2 0 0 20 0 28 0 4310516 14133010432 100113 33554432000 4194304 4196468 140720945289856 140248576970456 140249024061779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
Current children cumulated CPU time (s) 2220.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.201 s]
/proc/loadavg: 16.15 15.57 14.92 17/301 1414
/proc/meminfo: memFree=31042836/32770624 swapFree=5808/115300
[pid=1171] ppid=1168 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1171/stat : 1171 (xcsp3-exec) S 1168 1171 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4310448 9740288 346 33554432000 4194304 5098028 140722776982672 140722776980776 139960256787068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11997184 140722776986767 140722776986976 140722776986976 140722776989675 0
/proc/1171/statm: 2378 346 289 221 0 87 0
[pid=1172] ppid=1171 vsize=13801768 CPUtime=2400.13 cores=0,2,4,6,8,10,12,14
/proc/1172/stat : 1172 (java) S 1171 1171 15196 0 -1 1077944320 104441 0 0 0 239649 364 0 0 20 0 28 0 4310448 14133010432 106685 33554432000 4194304 4196468 140720945289856 140720945272400 140249407905527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
/proc/1172/statm: 3450442 106685 3299 1 0 3437675 0
[pid=1172/tid=1173] ppid=1171 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1173/stat : 1173 (java) S 1171 1171 15196 0 -1 1077944384 6986 0 0 0 59 4 0 0 20 0 28 0 4310449 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249412146304 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1175] ppid=1171 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1175/stat : 1175 (java) S 1171 1171 15196 0 -1 1077944384 1339 0 0 0 131 15 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249340041872 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1176] ppid=1171 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1176/stat : 1176 (java) S 1171 1171 15196 0 -1 1077944384 2795 0 0 0 128 15 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249006049808 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1177] ppid=1171 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1177/stat : 1177 (java) S 1171 1171 15196 0 -1 1077944384 1521 0 0 0 130 16 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249004997008 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1178] ppid=1171 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1178/stat : 1178 (java) S 1171 1171 15196 0 -1 1077944384 1862 0 0 0 130 15 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249003944208 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1179] ppid=1171 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1179/stat : 1179 (java) S 1171 1171 15196 0 -1 1077944384 1583 0 0 0 130 16 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249002892432 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1180] ppid=1171 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1180/stat : 1180 (java) S 1171 1171 15196 0 -1 1077944384 1429 0 0 0 130 15 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249001839632 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1181] ppid=1171 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1181/stat : 1181 (java) S 1171 1171 15196 0 -1 1077944384 1217 0 0 0 127 13 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140249000786832 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1182] ppid=1171 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1182/stat : 1182 (java) S 1171 1171 15196 0 -1 1077944384 1581 0 0 0 130 14 0 0 20 0 28 0 4310450 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248999734032 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1183] ppid=1171 vsize=13801768 CPUtime=3.44 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1183/stat : 1183 (java) S 1171 1171 15196 0 -1 1077944384 8871 0 0 0 146 198 0 0 20 0 28 0 4310452 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248937380208 140249407916674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1184] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1184/stat : 1184 (java) S 1171 1171 15196 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248600274016 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1185] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1185/stat : 1185 (java) S 1171 1171 15196 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4310453 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248599221120 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1186] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1186/stat : 1186 (java) S 1171 1171 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248598169424 140249407924123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1187] ppid=1171 vsize=13801768 CPUtime=3.63 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1187/stat : 1187 (java) S 1171 1171 15196 0 -1 1077944384 17845 0 0 0 360 3 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248597117808 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1188] ppid=1171 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1188/stat : 1188 (java) S 1171 1171 15196 0 -1 1077944384 13879 0 0 0 330 2 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248596065008 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1189] ppid=1171 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1189/stat : 1189 (java) S 1171 1171 15196 0 -1 1077944384 14374 0 0 0 373 2 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248595012208 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1190] ppid=1171 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1190/stat : 1190 (java) S 1171 1171 15196 0 -1 1077944384 8997 0 0 0 90 2 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248593959408 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1191] ppid=1171 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1191/stat : 1191 (java) S 1171 1171 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248592906848 140249407915733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1192] ppid=1171 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1192/stat : 1192 (java) S 1171 1171 15196 0 -1 1077944384 867 0 0 0 6 6 0 0 20 0 28 0 4310457 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248591854128 140249407916674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1193] ppid=1171 vsize=13801768 CPUtime=296.61 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1193/stat : 1193 (java) R 1171 1171 15196 0 -1 4202560 1941 0 0 0 29658 3 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248584338680 140249026623384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1194] ppid=1171 vsize=13801768 CPUtime=296.22 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1194/stat : 1194 (java) R 1171 1171 15196 0 -1 4202560 2923 0 0 0 29619 3 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248583286824 140249025410146 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1195] ppid=1171 vsize=13801768 CPUtime=297.42 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1195/stat : 1195 (java) R 1171 1171 15196 0 -1 4202560 711 0 0 0 29739 3 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248582234352 140249026578411 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1196] ppid=1171 vsize=13801768 CPUtime=296.67 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1196/stat : 1196 (java) R 1171 1171 15196 0 -1 4202560 1573 0 0 0 29664 3 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248581181096 140249024061803 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1197] ppid=1171 vsize=13801768 CPUtime=296.67 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1197/stat : 1197 (java) R 1171 1171 15196 0 -1 4202560 1930 0 0 0 29663 4 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248580129000 140249026578391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1198] ppid=1171 vsize=13801768 CPUtime=295.86 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1198/stat : 1198 (java) R 1171 1171 15196 0 -1 4202560 1834 0 0 0 29584 2 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248579076440 140249027378380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1199] ppid=1171 vsize=13801768 CPUtime=296.43 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1199/stat : 1199 (java) R 1171 1171 15196 0 -1 4202560 3500 0 0 0 29640 3 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248578026192 140249026651796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
[pid=1172/tid=1200] ppid=1171 vsize=13801768 CPUtime=296.69 cores=0,2,4,6,8,10,12,14
/proc/1172/task/1200/stat : 1200 (java) R 1171 1171 15196 0 -1 4202560 3499 0 0 0 29667 2 0 0 20 0 28 0 4310516 14133010432 106685 33554432000 4194304 4196468 140720945289856 140248576970184 140249025463955 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7835648 140720945292476 140720945292652 140720945292652 140720945295311 0
Current children cumulated CPU time (s) 2400.13
Current children cumulated vsize (KiB) 13811280
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 1172 sig 9
??? kill 1171 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 1171 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1467
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2060
# CPU time returned by wait4() is 0.003527
# while last known CPU time is 2400.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.212
CPU time (s): 2400.13
CPU user time (s): 2396.49
CPU system time (s): 3.64
CPU usage (%): 786.38
Max. virtual memory (cumulated for all children) (KiB): 13816952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001467
system time used= 0.00206
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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.71382 second user time and 4.19584 second system time
The end