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-4248566-1500692481/watcher-4248566-1500692481 -o /tmp/evaluation-result-4248566-1500692481/solver-4248566-1500692481 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1111374787 HOME/instance-4248566-1500692481.xml
pid=7341
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.06 15.79 15.45 10/273 7344
/proc/meminfo: memFree=30172640/32770624 swapFree=5808/119128
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[startup+0.100078 s]
/proc/loadavg: 16.06 15.79 15.45 10/273 7344
/proc/meminfo: memFree=30172640/32770624 swapFree=5808/119128
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200344 s]
/proc/loadavg: 16.06 15.79 15.45 10/273 7344
/proc/meminfo: memFree=30172640/32770624 swapFree=5808/119128
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300282 s]
/proc/loadavg: 16.06 15.79 15.45 10/273 7344
/proc/meminfo: memFree=30172640/32770624 swapFree=5808/119128
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700257 s]
/proc/loadavg: 16.06 15.79 15.45 10/273 7344
/proc/meminfo: memFree=30172640/32770624 swapFree=5808/119128
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 16.06 15.79 15.45 10/294 7365
/proc/meminfo: memFree=29867096/32770624 swapFree=5808/119160
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[pid=7345] ppid=7344 vsize=13269256 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/7345/stat : 7345 (java) S 7344 7344 15196 0 -1 1077944320 11544 0 0 0 251 23 0 0 20 0 20 0 4513230 13587718144 130530 33554432000 4194304 4196468 140723318771600 140723318754144 140577200840439 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
/proc/7345/statm: 3317314 130530 3222 1 0 3304547 0
[pid=7345/tid=7346] ppid=7344 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7346/stat : 7346 (java) R 7344 7344 15196 0 -1 4202560 6573 0 0 0 134 10 0 0 20 0 20 0 4513231 13587718144 130530 33554432000 4194304 4196468 140723318771600 140577205077224 140576841805081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7348] ppid=7344 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7348/stat : 7348 (java) S 7344 7344 15196 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576799706128 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7349] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7349/stat : 7349 (java) S 7344 7344 15196 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576798653584 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7350] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7350/stat : 7350 (java) S 7344 7344 15196 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576797600528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7351] ppid=7344 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7351/stat : 7351 (java) S 7344 7344 15196 0 -1 1077944384 27 0 0 0 0 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576796547984 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7352] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7352/stat : 7352 (java) S 7344 7344 15196 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576795494928 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7353] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7353/stat : 7353 (java) S 7344 7344 15196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576794442384 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7354] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7354/stat : 7354 (java) S 7344 7344 15196 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576793389328 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7355] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7355/stat : 7355 (java) S 7344 7344 15196 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576792336784 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7356] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7356/stat : 7356 (java) S 7344 7344 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4513234 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576663153392 140577200851586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7357] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7357/stat : 7357 (java) S 7344 7344 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576662099616 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7358] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7358/stat : 7358 (java) S 7344 7344 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576661046512 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7359] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7359/stat : 7359 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4513238 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576659995088 140577200859035 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7360] ppid=7344 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7360/stat : 7360 (java) S 7344 7344 15196 0 -1 1077944384 976 0 0 0 23 0 0 0 20 0 20 0 4513238 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576658942192 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7361] ppid=7344 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7361/stat : 7361 (java) S 7344 7344 15196 0 -1 1077944384 534 0 0 0 24 0 0 0 20 0 20 0 4513238 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576657889648 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7362] ppid=7344 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7362/stat : 7362 (java) S 7344 7344 15196 0 -1 1077944384 409 0 0 0 24 0 0 0 20 0 20 0 4513238 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576656836592 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7363] ppid=7344 vsize=13269256 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7363/stat : 7363 (java) S 7344 7344 15196 0 -1 1077944384 1337 0 0 0 35 0 0 0 20 0 20 0 4513238 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576655784048 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7364] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7364/stat : 7364 (java) S 7344 7344 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4513239 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576654732256 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7365] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7365/stat : 7365 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4513239 13587718144 130530 33554432000 4194304 4196468 140723318771600 140576653679792 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 13278768
[startup+3.10088 s]
/proc/loadavg: 15.50 15.67 15.42 10/294 7365
/proc/meminfo: memFree=29598376/32770624 swapFree=5808/119160
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[pid=7345] ppid=7344 vsize=13269256 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/7345/stat : 7345 (java) S 7344 7344 15196 0 -1 1077944320 13328 0 0 0 416 38 0 0 20 0 20 0 4513230 13587718144 273686 33554432000 4194304 4196468 140723318771600 140723318754144 140577200840439 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
/proc/7345/statm: 3317314 273686 3229 1 0 3304547 0
[pid=7345/tid=7346] ppid=7344 vsize=13269256 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7346/stat : 7346 (java) R 7344 7344 15196 0 -1 4202560 7362 0 0 0 283 18 0 0 20 0 20 0 4513231 13587718144 273686 33554432000 4194304 4196468 140723318771600 140577205074984 140576841862997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7348] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7348/stat : 7348 (java) S 7344 7344 15196 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576799706128 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7349] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7349/stat : 7349 (java) S 7344 7344 15196 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576798653584 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7350] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7350/stat : 7350 (java) S 7344 7344 15196 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576797600528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7351] ppid=7344 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7351/stat : 7351 (java) S 7344 7344 15196 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576796547984 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7352] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7352/stat : 7352 (java) S 7344 7344 15196 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576795494928 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7353] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7353/stat : 7353 (java) S 7344 7344 15196 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576794442384 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7354] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7354/stat : 7354 (java) S 7344 7344 15196 0 -1 1077944384 61 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576793389328 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7355] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7355/stat : 7355 (java) S 7344 7344 15196 0 -1 1077944384 62 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576792336784 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7356] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7356/stat : 7356 (java) S 7344 7344 15196 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 20 0 4513234 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576663153392 140577200851586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7357] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7357/stat : 7357 (java) S 7344 7344 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576662099616 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7358] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7358/stat : 7358 (java) S 7344 7344 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576661046512 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7359] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7359/stat : 7359 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4513238 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576659995088 140577200859035 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7360] ppid=7344 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7360/stat : 7360 (java) S 7344 7344 15196 0 -1 1077944384 982 0 0 0 25 0 0 0 20 0 20 0 4513238 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576658942192 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7361] ppid=7344 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7361/stat : 7361 (java) S 7344 7344 15196 0 -1 1077944384 541 0 0 0 26 0 0 0 20 0 20 0 4513238 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576657889648 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7362] ppid=7344 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7362/stat : 7362 (java) S 7344 7344 15196 0 -1 1077944384 417 0 0 0 27 0 0 0 20 0 20 0 4513238 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576656836592 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7363] ppid=7344 vsize=13269256 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7363/stat : 7363 (java) S 7344 7344 15196 0 -1 1077944384 1357 0 0 0 37 0 0 0 20 0 20 0 4513238 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576655784048 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7364] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7364/stat : 7364 (java) S 7344 7344 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4513239 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576654732256 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7365] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7365/stat : 7365 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4513239 13587718144 273686 33554432000 4194304 4196468 140723318771600 140576653679792 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 13278768
[startup+6.30089 s]
/proc/loadavg: 15.50 15.67 15.42 10/294 7365
/proc/meminfo: memFree=28053448/32770624 swapFree=5808/119172
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[pid=7345] ppid=7344 vsize=13269256 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/7345/stat : 7345 (java) S 7344 7344 15196 0 -1 1077944320 19458 0 0 0 736 59 0 0 20 0 20 0 4513230 13587718144 532675 33554432000 4194304 4196468 140723318771600 140723318754144 140577200840439 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
/proc/7345/statm: 3317314 532675 3235 1 0 3304547 0
[pid=7345/tid=7346] ppid=7344 vsize=13269256 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7346/stat : 7346 (java) R 7344 7344 15196 0 -1 4202560 9719 0 0 0 586 34 0 0 20 0 20 0 4513231 13587718144 532675 33554432000 4194304 4196468 140723318771600 140577205074376 140576841862553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7348] ppid=7344 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7348/stat : 7348 (java) S 7344 7344 15196 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576799706128 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7349] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7349/stat : 7349 (java) S 7344 7344 15196 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576798653584 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7350] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7350/stat : 7350 (java) S 7344 7344 15196 0 -1 1077944384 93 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576797600528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7351] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7351/stat : 7351 (java) S 7344 7344 15196 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576796547984 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7352] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7352/stat : 7352 (java) S 7344 7344 15196 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576795494928 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7353] ppid=7344 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7353/stat : 7353 (java) S 7344 7344 15196 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576794442384 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7354] ppid=7344 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7354/stat : 7354 (java) S 7344 7344 15196 0 -1 1077944384 150 0 0 0 2 3 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576793389328 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7355] ppid=7344 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7355/stat : 7355 (java) S 7344 7344 15196 0 -1 1077944384 83 0 0 0 2 2 0 0 20 0 20 0 4513232 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576792336784 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7356] ppid=7344 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7356/stat : 7356 (java) S 7344 7344 15196 0 -1 1077944384 1933 0 0 0 1 0 0 0 20 0 20 0 4513234 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576663153392 140577200851586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7357] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7357/stat : 7357 (java) S 7344 7344 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576662099616 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7358] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7358/stat : 7358 (java) S 7344 7344 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4513235 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576661046512 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7359] ppid=7344 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7359/stat : 7359 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4513238 13587718144 532675 33554432000 4194304 4196468 140723318771600 140576659995088 140577200859035 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
################
# More data... #
################
[pid=7345/tid=7373] ppid=7344 vsize=13801768 CPUtime=216.73 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7373/stat : 7373 (java) R 7344 7344 15196 0 -1 4202560 1358 0 0 0 21673 0 0 0 20 0 28 0 4519549 14133010432 853946 33554432000 4194304 4196468 140723318771600 140576639348808 140576845069221 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7374] ppid=7344 vsize=13801768 CPUtime=217.3 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7374/stat : 7374 (java) R 7344 7344 15196 0 -1 4202560 2233 0 0 0 21729 1 0 0 20 0 28 0 4519549 14133010432 853946 33554432000 4194304 4196468 140723318771600 140576638296568 140576845326645 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
Current children cumulated CPU time (s) 1813.45
Current children cumulated vsize (KiB) 13811280
[startup+342.302 s]
/proc/loadavg: 15.82 15.18 15.16 18/299 7586
/proc/meminfo: memFree=27564852/32770624 swapFree=5808/119608
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[pid=7345] ppid=7344 vsize=13801768 CPUtime=2291.32 cores=1,3,5,7,9,11,13,15
/proc/7345/stat : 7345 (java) S 7344 7344 15196 0 -1 1077944320 131799 0 0 0 228956 176 0 0 20 0 28 0 4513230 14133010432 852665 33554432000 4194304 4196468 140723318771600 140723318754144 140577200840439 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
/proc/7345/statm: 3450442 852665 3285 1 0 3437675 0
[pid=7345/tid=7346] ppid=7344 vsize=13801768 CPUtime=62.71 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7346/stat : 7346 (java) S 7344 7344 15196 0 -1 1077944384 19144 0 0 0 6217 54 0 0 20 0 28 0 4513231 14133010432 852665 33554432000 4194304 4196468 140723318771600 140577205081216 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7348] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7348/stat : 7348 (java) S 7344 7344 15196 0 -1 1077944384 958 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576799706128 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7349] ppid=7344 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7349/stat : 7349 (java) S 7344 7344 15196 0 -1 1077944384 1198 0 0 0 16 11 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576798653584 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7350] ppid=7344 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7350/stat : 7350 (java) S 7344 7344 15196 0 -1 1077944384 1933 0 0 0 19 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576797600528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7351] ppid=7344 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7351/stat : 7351 (java) S 7344 7344 15196 0 -1 1077944384 1904 0 0 0 16 11 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576796547984 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7352] ppid=7344 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7352/stat : 7352 (java) S 7344 7344 15196 0 -1 1077944384 677 0 0 0 15 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576795494928 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7353] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7353/stat : 7353 (java) S 7344 7344 15196 0 -1 1077944384 1640 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576794442384 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7354] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7354/stat : 7354 (java) S 7344 7344 15196 0 -1 1077944384 805 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576793389328 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7355] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7355/stat : 7355 (java) S 7344 7344 15196 0 -1 1077944384 1186 0 0 0 17 9 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576792336784 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7356] ppid=7344 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7356/stat : 7356 (java) S 7344 7344 15196 0 -1 1077944384 5890 0 0 0 11 6 0 0 20 0 28 0 4513234 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576663153392 140577200851586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7357] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7357/stat : 7357 (java) S 7344 7344 15196 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4513235 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576662099680 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7358] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7358/stat : 7358 (java) S 7344 7344 15196 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 4513235 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576661046528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7359] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7359/stat : 7359 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576659995088 140577200859035 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7360] ppid=7344 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7360/stat : 7360 (java) S 7344 7344 15196 0 -1 1077944384 22707 0 0 0 422 2 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576658942192 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7361] ppid=7344 vsize=13801768 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7361/stat : 7361 (java) S 7344 7344 15196 0 -1 1077944384 17922 0 0 0 420 3 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576657889648 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7362] ppid=7344 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7362/stat : 7362 (java) S 7344 7344 15196 0 -1 1077944384 18033 0 0 0 367 2 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576656836592 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7363] ppid=7344 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7363/stat : 7363 (java) S 7344 7344 15196 0 -1 1077944384 13490 0 0 0 109 4 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576655784048 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7364] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7364/stat : 7364 (java) S 7344 7344 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4513239 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576654732256 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7365] ppid=7344 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7365/stat : 7365 (java) S 7344 7344 15196 0 -1 1077944384 1442 0 0 0 9 10 0 0 20 0 28 0 4513239 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576653679792 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7367] ppid=7344 vsize=13801768 CPUtime=274.84 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7367/stat : 7367 (java) R 7344 7344 15196 0 -1 4202560 2682 0 0 0 27482 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576645663520 140576845326557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7368] ppid=7344 vsize=13801768 CPUtime=276 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7368/stat : 7368 (java) R 7344 7344 15196 0 -1 4202560 1867 0 0 0 27599 1 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576644612232 140576845581015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7369] ppid=7344 vsize=13801768 CPUtime=277.6 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7369/stat : 7369 (java) R 7344 7344 15196 0 -1 4202560 5398 0 0 0 27758 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576643558968 140576844941389 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7370] ppid=7344 vsize=13801768 CPUtime=275.71 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7370/stat : 7370 (java) R 7344 7344 15196 0 -1 4202560 4256 0 0 0 27569 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576642509440 140576845326181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7371] ppid=7344 vsize=13801768 CPUtime=277.43 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7371/stat : 7371 (java) R 7344 7344 15196 0 -1 4202560 1716 0 0 0 27741 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576641453736 140576845326048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7372] ppid=7344 vsize=13801768 CPUtime=277.36 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7372/stat : 7372 (java) R 7344 7344 15196 0 -1 4202560 1192 0 0 0 27735 1 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576640401192 140576844925342 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7373] ppid=7344 vsize=13801768 CPUtime=276.46 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7373/stat : 7373 (java) R 7344 7344 15196 0 -1 4202560 1680 0 0 0 27646 0 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576639349160 140576845581493 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7374] ppid=7344 vsize=13801768 CPUtime=277.2 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7374/stat : 7374 (java) R 7344 7344 15196 0 -1 4202560 2673 0 0 0 27719 1 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576638296456 140576845326079 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
Current children cumulated CPU time (s) 2291.32
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+356.002 s]
/proc/loadavg: 15.85 15.21 15.17 18/299 7586
/proc/meminfo: memFree=27565036/32770624 swapFree=5808/119624
[pid=7344] ppid=7341 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7344/stat : 7344 (xcsp3-exec) S 7341 7344 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4513230 9740288 346 33554432000 4194304 5098028 140730276420288 140730276418392 139988498657916 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21295104 140730276426894 140730276427104 140730276427104 140730276429803 0
/proc/7344/statm: 2378 346 289 221 0 87 0
[pid=7345] ppid=7344 vsize=13801768 CPUtime=2400.44 cores=1,3,5,7,9,11,13,15
/proc/7345/stat : 7345 (java) S 7344 7344 15196 0 -1 1077944320 133748 0 0 0 239867 177 0 0 20 0 28 0 4513230 14133010432 852665 33554432000 4194304 4196468 140723318771600 140723318754144 140577200840439 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
/proc/7345/statm: 3450442 852665 3285 1 0 3437675 0
[pid=7345/tid=7346] ppid=7344 vsize=13801768 CPUtime=62.71 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7346/stat : 7346 (java) S 7344 7344 15196 0 -1 1077944384 19144 0 0 0 6217 54 0 0 20 0 28 0 4513231 14133010432 852665 33554432000 4194304 4196468 140723318771600 140577205081216 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7348] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7348/stat : 7348 (java) S 7344 7344 15196 0 -1 1077944384 958 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576799706128 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7349] ppid=7344 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7349/stat : 7349 (java) S 7344 7344 15196 0 -1 1077944384 1198 0 0 0 16 11 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576798653584 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7350] ppid=7344 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7350/stat : 7350 (java) S 7344 7344 15196 0 -1 1077944384 1933 0 0 0 19 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576797600528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7351] ppid=7344 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7351/stat : 7351 (java) S 7344 7344 15196 0 -1 1077944384 1904 0 0 0 16 11 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576796547984 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7352] ppid=7344 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7352/stat : 7352 (java) S 7344 7344 15196 0 -1 1077944384 677 0 0 0 15 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576795494928 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7353] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7353/stat : 7353 (java) S 7344 7344 15196 0 -1 1077944384 1640 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576794442384 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7354] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7354/stat : 7354 (java) S 7344 7344 15196 0 -1 1077944384 805 0 0 0 16 10 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576793389328 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7355] ppid=7344 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7355/stat : 7355 (java) S 7344 7344 15196 0 -1 1077944384 1186 0 0 0 17 9 0 0 20 0 28 0 4513232 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576792336784 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7356] ppid=7344 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7356/stat : 7356 (java) S 7344 7344 15196 0 -1 1077944384 5910 0 0 0 11 7 0 0 20 0 28 0 4513234 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576663153392 140577200851586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7357] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7357/stat : 7357 (java) S 7344 7344 15196 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4513235 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576662099680 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7358] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7358/stat : 7358 (java) S 7344 7344 15196 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 4513235 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576661046528 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7359] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7359/stat : 7359 (java) S 7344 7344 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576659995088 140577200859035 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7360] ppid=7344 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7360/stat : 7360 (java) S 7344 7344 15196 0 -1 1077944384 22707 0 0 0 422 2 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576658942192 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7361] ppid=7344 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7361/stat : 7361 (java) S 7344 7344 15196 0 -1 1077944384 18316 0 0 0 421 3 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576657889648 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7362] ppid=7344 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7362/stat : 7362 (java) S 7344 7344 15196 0 -1 1077944384 18033 0 0 0 367 2 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576656836592 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7363] ppid=7344 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7363/stat : 7363 (java) S 7344 7344 15196 0 -1 1077944384 14317 0 0 0 109 4 0 0 20 0 28 0 4513238 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576655784048 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7364] ppid=7344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7364/stat : 7364 (java) S 7344 7344 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4513239 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576654732256 140577200850645 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7365] ppid=7344 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7365/stat : 7365 (java) S 7344 7344 15196 0 -1 1077944384 1471 0 0 0 9 11 0 0 20 0 28 0 4513239 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576653679792 140577200851586 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7367] ppid=7344 vsize=13801768 CPUtime=288.52 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7367/stat : 7367 (java) R 7344 7344 15196 0 -1 4202560 2805 0 0 0 28850 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576645663496 140576844941463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7368] ppid=7344 vsize=13801768 CPUtime=289.67 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7368/stat : 7368 (java) R 7344 7344 15196 0 -1 4202560 1911 0 0 0 28966 1 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576644612232 140576845326744 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7369] ppid=7344 vsize=13801768 CPUtime=291.29 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7369/stat : 7369 (java) R 7344 7344 15196 0 -1 4202560 5537 0 0 0 29127 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576643560984 140576845326541 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7370] ppid=7344 vsize=13801768 CPUtime=289.38 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7370/stat : 7370 (java) R 7344 7344 15196 0 -1 4202560 4353 0 0 0 28936 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576642506424 140576846753581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7371] ppid=7344 vsize=13801768 CPUtime=291.11 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7371/stat : 7371 (java) R 7344 7344 15196 0 -1 4202560 1805 0 0 0 29109 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576641453432 140576845326712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7372] ppid=7344 vsize=13801768 CPUtime=291.05 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7372/stat : 7372 (java) R 7344 7344 15196 0 -1 4202560 1228 0 0 0 29104 1 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576640401192 140576845326351 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7373] ppid=7344 vsize=13801768 CPUtime=289.8 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7373/stat : 7373 (java) R 7344 7344 15196 0 -1 4202560 1767 0 0 0 28980 0 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576639348664 140576844925056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
[pid=7345/tid=7374] ppid=7344 vsize=13801768 CPUtime=290.88 cores=1,3,5,7,9,11,13,15
/proc/7345/task/7374/stat : 7374 (java) R 7344 7344 15196 0 -1 4202560 2737 0 0 0 29086 2 0 0 20 0 28 0 4519549 14133010432 852665 33554432000 4194304 4196468 140723318771600 140576638297176 140576845545623 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140723318777020 140723318777196 140723318777196 140723318779855 0
Current children cumulated CPU time (s) 2400.44
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 7345 sig 9
??? kill 7344 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 7344 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1590
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1590
# CPU time returned by wait4() is 0.00318
# while last known CPU time is 2400.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 356.012
CPU time (s): 2400.44
CPU user time (s): 2398.67
CPU system time (s): 1.77
CPU usage (%): 674.258
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00159
system time used= 0.00159
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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 4.27339 second user time and 4.96576 second system time
The end