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-4245244-1500685444/watcher-4245244-1500685444 -o /tmp/evaluation-result-4245244-1500685444/solver-4245244-1500685444 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 482016426 HOME/instance-4245244-1500685444.xml
pid=26480
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.67 14.66 12.03 10/273 26483
/proc/meminfo: memFree=31587020/32770624 swapFree=5800/238408
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
[startup+0.100175 s]
/proc/loadavg: 15.67 14.66 12.03 10/273 26483
/proc/meminfo: memFree=31587020/32770624 swapFree=5800/238408
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200251 s]
/proc/loadavg: 15.67 14.66 12.03 10/273 26483
/proc/meminfo: memFree=31587020/32770624 swapFree=5800/238408
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300202 s]
/proc/loadavg: 15.67 14.66 12.03 10/273 26483
/proc/meminfo: memFree=31587020/32770624 swapFree=5800/238408
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700185 s]
/proc/loadavg: 15.67 14.66 12.03 10/273 26483
/proc/meminfo: memFree=31587020/32770624 swapFree=5800/238408
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50156 s]
/proc/loadavg: 15.67 14.66 12.03 21/302 26512
/proc/meminfo: memFree=31446276/32770624 swapFree=5800/238440
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
[pid=26484] ppid=26483 vsize=13801768 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/26484/stat : 26484 (java) S 26483 26483 7621 0 -1 1077944320 18778 0 0 0 700 9 0 0 20 0 28 0 3812147 14133010432 48232 33554432000 4194304 4196468 140735808926032 140735808908576 140195035999991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
/proc/26484/statm: 3450442 48232 3219 1 0 3437675 0
[pid=26484/tid=26485] ppid=26483 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26485/stat : 26485 (java) S 26483 26483 7621 0 -1 1077944384 6904 0 0 0 86 4 0 0 20 0 28 0 3812148 14133010432 48232 33554432000 4194304 4196468 140735808926032 140195040240768 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26487] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26487/stat : 26487 (java) S 26483 26483 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194988620432 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26488] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26488/stat : 26488 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194987567632 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26489] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26489/stat : 26489 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194986514832 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26490] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26490/stat : 26490 (java) S 26483 26483 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194985462032 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26491] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26491/stat : 26491 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194984410256 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26492] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26492/stat : 26492 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194983357456 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26493] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26493/stat : 26493 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194982304656 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26494] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26494/stat : 26494 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812149 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194627386128 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26495] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26495/stat : 26495 (java) S 26483 26483 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3812151 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194229463408 140195036011138 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26496] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26496/stat : 26496 (java) S 26483 26483 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194228409376 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26497] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26497/stat : 26497 (java) S 26483 26483 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194227356528 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26498] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26498/stat : 26498 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194226304848 140195036018587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26499] ppid=26483 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26499/stat : 26499 (java) R 26483 26483 7621 0 -1 4202560 2036 0 0 0 79 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194225239256 140195017544670 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26500] ppid=26483 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26500/stat : 26500 (java) R 26483 26483 7621 0 -1 4202560 2361 0 0 0 67 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194224186456 140195017523105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26501] ppid=26483 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26501/stat : 26501 (java) R 26483 26483 7621 0 -1 4202560 2672 0 0 0 76 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194223133512 140195015243828 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26502] ppid=26483 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26502/stat : 26502 (java) S 26483 26483 7621 0 -1 1077944384 3114 0 0 0 65 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194222094832 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26503] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26503/stat : 26503 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194221042272 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26504] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26504/stat : 26504 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812157 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194219989552 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26505] ppid=26483 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26505/stat : 26505 (java) R 26483 26483 7621 0 -1 1077944384 59 0 0 0 37 0 0 0 20 0 28 0 3812240 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194211973200 140195036010197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26506] ppid=26483 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26506/stat : 26506 (java) R 26483 26483 7621 0 -1 4202560 45 0 0 0 46 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194210921792 140194667824927 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26507] ppid=26483 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26507/stat : 26507 (java) S 26483 26483 7621 0 -1 1077944384 38 0 0 0 35 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194209869760 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26508] ppid=26483 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26508/stat : 26508 (java) R 26483 26483 7621 0 -1 4202560 76 0 0 0 32 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194208818776 140194667779540 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26509] ppid=26483 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26509/stat : 26509 (java) R 26483 26483 7621 0 -1 4202560 37 0 0 0 46 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194207764160 140194667779540 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26510] ppid=26483 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26510/stat : 26510 (java) S 26483 26483 7621 0 -1 1077944384 51 0 0 0 45 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194206711328 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26511] ppid=26483 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26511/stat : 26511 (java) R 26483 26483 7621 0 -1 4202560 40 0 0 0 40 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194205658560 140194667635628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26512] ppid=26483 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26512/stat : 26512 (java) R 26483 26483 7621 0 -1 4202560 29 0 0 0 40 0 0 0 20 0 28 0 3812241 14133010432 48232 33554432000 4194304 4196468 140735808926032 140194204605760 140194667778768 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 13811280
[startup+3.10164 s]
/proc/loadavg: 15.94 14.74 12.07 21/302 26512
/proc/meminfo: memFree=31362248/32770624 swapFree=5800/238440
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
[pid=26484] ppid=26483 vsize=13801768 CPUtime=19.79 cores=0,2,4,6,8,10,12,14
/proc/26484/stat : 26484 (java) S 26483 26483 7621 0 -1 1077944320 23115 0 0 0 1957 22 0 0 20 0 28 0 3812147 14133010432 59897 33554432000 4194304 4196468 140735808926032 140735808908576 140195035999991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
/proc/26484/statm: 3450442 59897 3253 1 0 3437675 0
[pid=26484/tid=26485] ppid=26483 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26485/stat : 26485 (java) S 26483 26483 7621 0 -1 1077944384 6904 0 0 0 86 4 0 0 20 0 28 0 3812148 14133010432 59897 33554432000 4194304 4196468 140735808926032 140195040240768 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26487] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26487/stat : 26487 (java) S 26483 26483 7621 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194988620432 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26488] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26488/stat : 26488 (java) S 26483 26483 7621 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194987567632 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26489] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26489/stat : 26489 (java) S 26483 26483 7621 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194986514832 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26490] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26490/stat : 26490 (java) S 26483 26483 7621 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194985462032 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26491] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26491/stat : 26491 (java) S 26483 26483 7621 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194984410256 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26492] ppid=26483 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26492/stat : 26492 (java) S 26483 26483 7621 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194983357456 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26493] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26493/stat : 26493 (java) S 26483 26483 7621 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194982304656 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26494] ppid=26483 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26494/stat : 26494 (java) S 26483 26483 7621 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3812149 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194627386128 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26495] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26495/stat : 26495 (java) S 26483 26483 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3812151 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194229463408 140195036011138 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26496] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26496/stat : 26496 (java) S 26483 26483 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194228409376 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26497] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26497/stat : 26497 (java) S 26483 26483 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194227356528 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26498] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26498/stat : 26498 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194226304848 140195036018587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26499] ppid=26483 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26499/stat : 26499 (java) R 26483 26483 7621 0 -1 4202560 4314 0 0 0 209 0 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194225233888 140195017544090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26500] ppid=26483 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26500/stat : 26500 (java) R 26483 26483 7621 0 -1 4202560 3464 0 0 0 206 1 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194224187000 140195014022607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26501] ppid=26483 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26501/stat : 26501 (java) R 26483 26483 7621 0 -1 4202560 3171 0 0 0 204 0 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194223133088 140195017522611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26502] ppid=26483 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26502/stat : 26502 (java) S 26483 26483 7621 0 -1 1077944384 3236 0 0 0 74 0 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194222094832 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26503] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26503/stat : 26503 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194221042272 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26504] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26504/stat : 26504 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812157 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194219989552 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26505] ppid=26483 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26505/stat : 26505 (java) R 26483 26483 7621 0 -1 4202560 70 0 0 0 156 0 0 0 20 0 28 0 3812240 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194211973144 140194669260892 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26506] ppid=26483 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26506/stat : 26506 (java) R 26483 26483 7621 0 -1 4202560 53 0 0 0 147 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194210922424 140194669230730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26507] ppid=26483 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26507/stat : 26507 (java) R 26483 26483 7621 0 -1 4202560 51 0 0 0 142 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194209869448 140194669228948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26508] ppid=26483 vsize=13801768 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26508/stat : 26508 (java) R 26483 26483 7621 0 -1 4202560 116 0 0 0 126 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194208817720 140194669229416 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26509] ppid=26483 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26509/stat : 26509 (java) R 26483 26483 7621 0 -1 4202560 46 0 0 0 132 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194207763632 140194668407511 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26510] ppid=26483 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26510/stat : 26510 (java) R 26483 26483 7621 0 -1 4202560 66 0 0 0 164 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194206711896 140194669230804 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26511] ppid=26483 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26511/stat : 26511 (java) R 26483 26483 7621 0 -1 4202560 53 0 0 0 139 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194205661792 140194665169712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26512] ppid=26483 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26512/stat : 26512 (java) R 26483 26483 7621 0 -1 4202560 40 0 0 0 154 0 0 0 20 0 28 0 3812241 14133010432 59897 33554432000 4194304 4196468 140735808926032 140194204608288 140194669229026 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (KiB) 13811280
[startup+6.30162 s]
/proc/loadavg: 15.94 14.74 12.07 19/302 26512
/proc/meminfo: memFree=31332156/32770624 swapFree=5800/238440
################
# More data... #
################
[pid=26484/tid=26511] ppid=26483 vsize=13801768 CPUtime=218.54 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26511/stat : 26511 (java) R 26483 26483 7621 0 -1 4202560 1464 0 0 0 21853 1 0 0 20 0 28 0 3812241 14133010432 115175 33554432000 4194304 4196468 140735808926032 140194205659368 140194669229114 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26512] ppid=26483 vsize=13801768 CPUtime=219.6 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26512/stat : 26512 (java) R 26483 26483 7621 0 -1 4202560 1368 0 0 0 21959 1 0 0 20 0 28 0 3812241 14133010432 115175 33554432000 4194304 4196468 140735808926032 140194204606408 140194669565430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
Current children cumulated CPU time (s) 1765.64
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.22 15.34 13.04 17/300 26814
/proc/meminfo: memFree=31243324/32770624 swapFree=5800/238904
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
[pid=26484] ppid=26483 vsize=13801768 CPUtime=2243.28 cores=0,2,4,6,8,10,12,14
/proc/26484/stat : 26484 (java) S 26483 26483 7621 0 -1 1077944320 68726 0 0 0 224209 119 0 0 20 0 28 0 3812147 14133010432 94020 33554432000 4194304 4196468 140735808926032 140735808908576 140195035999991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
/proc/26484/statm: 3450442 94020 3277 1 0 3437675 0
[pid=26484/tid=26485] ppid=26483 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26485/stat : 26485 (java) S 26483 26483 7621 0 -1 1077944384 6904 0 0 0 86 4 0 0 20 0 28 0 3812148 14133010432 94020 33554432000 4194304 4196468 140735808926032 140195040240768 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26487] ppid=26483 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26487/stat : 26487 (java) S 26483 26483 7621 0 -1 1077944384 513 0 0 0 15 10 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194988620432 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26488] ppid=26483 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26488/stat : 26488 (java) S 26483 26483 7621 0 -1 1077944384 2332 0 0 0 17 9 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194987567632 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26489] ppid=26483 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26489/stat : 26489 (java) S 26483 26483 7621 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194986514832 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26490] ppid=26483 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26490/stat : 26490 (java) S 26483 26483 7621 0 -1 1077944384 502 0 0 0 13 8 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194985462032 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26491] ppid=26483 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26491/stat : 26491 (java) S 26483 26483 7621 0 -1 1077944384 719 0 0 0 15 11 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194984410256 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26492] ppid=26483 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26492/stat : 26492 (java) S 26483 26483 7621 0 -1 1077944384 1274 0 0 0 15 9 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194983357456 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26493] ppid=26483 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26493/stat : 26493 (java) S 26483 26483 7621 0 -1 1077944384 1002 0 0 0 16 9 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194982304656 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26494] ppid=26483 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26494/stat : 26494 (java) S 26483 26483 7621 0 -1 1077944384 1525 0 0 0 16 9 0 0 20 0 28 0 3812149 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194627386128 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26495] ppid=26483 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26495/stat : 26495 (java) S 26483 26483 7621 0 -1 1077944384 2425 0 0 0 7 9 0 0 20 0 28 0 3812151 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194229463408 140195036011138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26496] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26496/stat : 26496 (java) S 26483 26483 7621 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194228409440 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26497] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26497/stat : 26497 (java) S 26483 26483 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194227356544 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26498] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26498/stat : 26498 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194226304848 140195036018587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26499] ppid=26483 vsize=13801768 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26499/stat : 26499 (java) S 26483 26483 7621 0 -1 1077944384 11387 0 0 0 367 2 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194225253232 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26500] ppid=26483 vsize=13801768 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26500/stat : 26500 (java) S 26483 26483 7621 0 -1 1077944384 10299 0 0 0 353 2 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194224200432 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26501] ppid=26483 vsize=13801768 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26501/stat : 26501 (java) S 26483 26483 7621 0 -1 1077944384 9225 0 0 0 385 1 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194223147632 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 11 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26502] ppid=26483 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26502/stat : 26502 (java) S 26483 26483 7621 0 -1 1077944384 7284 0 0 0 95 2 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194222094832 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26503] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26503/stat : 26503 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194221042272 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26504] ppid=26483 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26504/stat : 26504 (java) S 26483 26483 7621 0 -1 1077944384 510 0 0 0 6 6 0 0 20 0 28 0 3812157 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194219989552 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26505] ppid=26483 vsize=13801768 CPUtime=278.8 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26505/stat : 26505 (java) R 26483 26483 7621 0 -1 4202560 1423 0 0 0 27880 0 0 0 20 0 28 0 3812240 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194211973376 140194669137630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26506] ppid=26483 vsize=13801768 CPUtime=279.49 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26506/stat : 26506 (java) R 26483 26483 7621 0 -1 4202560 803 0 0 0 27949 0 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194210922184 140194669231005 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26507] ppid=26483 vsize=13801768 CPUtime=274.94 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26507/stat : 26507 (java) R 26483 26483 7621 0 -1 4202560 3019 0 0 0 27493 1 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194209870408 140194671135540 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26508] ppid=26483 vsize=13801768 CPUtime=277.57 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26508/stat : 26508 (java) R 26483 26483 7621 0 -1 4202560 1192 0 0 0 27755 2 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194208817608 140194669230747 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26509] ppid=26483 vsize=13801768 CPUtime=279.53 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26509/stat : 26509 (java) R 26483 26483 7621 0 -1 4202560 1162 0 0 0 27951 2 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194207764808 140194668038620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26510] ppid=26483 vsize=13801768 CPUtime=279.68 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26510/stat : 26510 (java) R 26483 26483 7621 0 -1 4202560 632 0 0 0 27967 1 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194206712008 140194668437761 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26511] ppid=26483 vsize=13801768 CPUtime=278.39 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26511/stat : 26511 (java) R 26483 26483 7621 0 -1 4202560 1544 0 0 0 27838 1 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194205661776 140194668408328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26512] ppid=26483 vsize=13801768 CPUtime=279.48 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26512/stat : 26512 (java) R 26483 26483 7621 0 -1 4202560 1412 0 0 0 27946 2 0 0 20 0 28 0 3812241 14133010432 94020 33554432000 4194304 4196468 140735808926032 140194204606408 140194670468844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
Current children cumulated CPU time (s) 2243.28
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.001 s]
/proc/loadavg: 15.44 15.38 13.10 17/301 26815
/proc/meminfo: memFree=30996684/32770624 swapFree=5800/238944
[pid=26483] ppid=26480 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26483/stat : 26483 (xcsp3-exec) S 26480 26483 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3812147 9740288 346 33554432000 4194304 5098028 140721288226880 140721288224984 140195458359932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32346112 140721288234127 140721288234336 140721288234336 140721288237035 0
/proc/26483/statm: 2378 346 289 221 0 87 0
[pid=26484] ppid=26483 vsize=13801768 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/26484/stat : 26484 (java) S 26483 26483 7621 0 -1 1077944320 69707 0 0 0 239877 124 0 0 20 0 28 0 3812147 14133010432 86856 33554432000 4194304 4196468 140735808926032 140735808908576 140195035999991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
/proc/26484/statm: 3450442 86856 3277 1 0 3437675 0
[pid=26484/tid=26485] ppid=26483 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26485/stat : 26485 (java) S 26483 26483 7621 0 -1 1077944384 6904 0 0 0 86 4 0 0 20 0 28 0 3812148 14133010432 86856 33554432000 4194304 4196468 140735808926032 140195040240768 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26487] ppid=26483 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26487/stat : 26487 (java) S 26483 26483 7621 0 -1 1077944384 557 0 0 0 16 11 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194988620432 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26488] ppid=26483 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26488/stat : 26488 (java) S 26483 26483 7621 0 -1 1077944384 2364 0 0 0 18 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194987567632 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26489] ppid=26483 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26489/stat : 26489 (java) S 26483 26483 7621 0 -1 1077944384 544 0 0 0 13 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194986514832 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26490] ppid=26483 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26490/stat : 26490 (java) S 26483 26483 7621 0 -1 1077944384 528 0 0 0 14 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194985462032 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26491] ppid=26483 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26491/stat : 26491 (java) S 26483 26483 7621 0 -1 1077944384 736 0 0 0 16 11 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194984410256 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26492] ppid=26483 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26492/stat : 26492 (java) S 26483 26483 7621 0 -1 1077944384 1306 0 0 0 16 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194983357456 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26493] ppid=26483 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26493/stat : 26493 (java) S 26483 26483 7621 0 -1 1077944384 1015 0 0 0 17 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194982304656 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26494] ppid=26483 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26494/stat : 26494 (java) S 26483 26483 7621 0 -1 1077944384 1559 0 0 0 17 9 0 0 20 0 28 0 3812149 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194627386128 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26495] ppid=26483 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26495/stat : 26495 (java) S 26483 26483 7621 0 -1 1077944384 2477 0 0 0 9 11 0 0 20 0 28 0 3812151 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194229463408 140195036011138 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26496] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26496/stat : 26496 (java) S 26483 26483 7621 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194228409440 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26497] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26497/stat : 26497 (java) S 26483 26483 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3812152 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194227356544 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26498] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26498/stat : 26498 (java) S 26483 26483 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194226304848 140195036018587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26499] ppid=26483 vsize=13801768 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26499/stat : 26499 (java) S 26483 26483 7621 0 -1 1077944384 11389 0 0 0 367 2 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194225253232 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26500] ppid=26483 vsize=13801768 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26500/stat : 26500 (java) S 26483 26483 7621 0 -1 1077944384 10301 0 0 0 353 2 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194224200432 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26501] ppid=26483 vsize=13801768 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26501/stat : 26501 (java) S 26483 26483 7621 0 -1 1077944384 9227 0 0 0 385 1 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194223147632 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 11 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26502] ppid=26483 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26502/stat : 26502 (java) S 26483 26483 7621 0 -1 1077944384 7286 0 0 0 95 2 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194222094832 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26503] ppid=26483 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26503/stat : 26503 (java) S 26483 26483 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3812156 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194221042272 140195036010197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26504] ppid=26483 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26504/stat : 26504 (java) S 26483 26483 7621 0 -1 1077944384 512 0 0 0 6 6 0 0 20 0 28 0 3812157 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194219989552 140195036011138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26505] ppid=26483 vsize=13801768 CPUtime=298.43 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26505/stat : 26505 (java) R 26483 26483 7621 0 -1 4202560 1675 0 0 0 29843 0 0 0 20 0 28 0 3812240 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194211973624 140194669230972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26506] ppid=26483 vsize=13801768 CPUtime=299.12 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26506/stat : 26506 (java) R 26483 26483 7621 0 -1 4202560 818 0 0 0 29912 0 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194210922040 140194669230602 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26507] ppid=26483 vsize=13801768 CPUtime=294.51 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26507/stat : 26507 (java) R 26483 26483 7621 0 -1 4202560 3047 0 0 0 29450 1 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194209869936 140194671135246 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26508] ppid=26483 vsize=13801768 CPUtime=297.19 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26508/stat : 26508 (java) R 26483 26483 7621 0 -1 4202560 1298 0 0 0 29717 2 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194208819984 140194671135219 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26509] ppid=26483 vsize=13801768 CPUtime=298.94 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26509/stat : 26509 (java) R 26483 26483 7621 0 -1 4202560 1180 0 0 0 29892 2 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194207764584 140194671135509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26510] ppid=26483 vsize=13801768 CPUtime=299.31 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26510/stat : 26510 (java) R 26483 26483 7621 0 -1 4202560 647 0 0 0 29930 1 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194206711896 140194668037920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26511] ppid=26483 vsize=13801768 CPUtime=297.84 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26511/stat : 26511 (java) R 26483 26483 7621 0 -1 4202560 1567 0 0 0 29783 1 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194205659320 140194669091484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
[pid=26484/tid=26512] ppid=26483 vsize=13801768 CPUtime=299.12 cores=0,2,4,6,8,10,12,14
/proc/26484/task/26512/stat : 26512 (java) R 26483 26483 7621 0 -1 4202560 1440 0 0 0 29910 2 0 0 20 0 28 0 3812241 14133010432 86856 33554432000 4194304 4196468 140735808926032 140194204606408 140194669230844 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11816960 140735808935100 140735808935276 140735808935276 140735808937935 0
Current children cumulated CPU time (s) 2400.01
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 26484 sig 9
??? kill 26483 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 26483 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2703
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=949
# CPU time returned by wait4() is 0.003652
# while last known CPU time is 2400.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.012
CPU time (s): 2400.01
CPU user time (s): 2398.77
CPU system time (s): 1.24
CPU usage (%): 794.673
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002703
system time used= 0.000949
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.59751 second user time and 3.9931 second system time
The end