2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	12	20037.8	2520.11
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15120 MiB free)
  memory of node 1: 16384 MiB (15602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393841-1568419459/watcher-4393841-1568419459 -o /tmp/evaluation-result-4393841-1568419459/solver-4393841-1568419459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568416726-8779 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1786624715 HOME/instance-4393841-1568419459.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9996, runsolver pid=9993
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 7.97 7.47 7.02 3/212 10017
/proc/meminfo: memFree=31446324/32770624 swapFree=66982056/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28227388 memory=28880 CPUtime=0.12 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 418208529 28904845312 7220 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7056847 7220 3118 1 0 7019032 0
[pid=9998/tid=9999] ppid=9996 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) R 9996 9996 8752 0 -1 4202560 3599 0 0 0 8 1 0 0 20 0 20 0 418208529 28904845312 7220 33554432000 4194304 4196468 140735602859264 140102046055696 140102041841046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28227388 memory=140292049725056 CPUtime=0 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10003] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10003/stat : 10003 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101991291408 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10004] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10004/stat : 10004 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101990239120 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10005] ppid=9996 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10005/stat : 10005 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101989186320 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10006] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10006/stat : 10006 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101988134032 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10007] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10007/stat : 10007 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 7220 33554432000 4194304 4196468 140735602859264 140101987081232 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10008] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10008/stat : 10008 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208531 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100371593328 140102041840258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10009] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10009/stat : 10009 (java) S 9996 9996 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418208532 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100370539296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10010] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10010/stat : 10010 (java) S 9996 9996 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418208532 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100369486960 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10011] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10011/stat : 10011 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208534 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100368435280 140102041847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10012] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10012/stat : 10012 (java) S 9996 9996 8752 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 418208534 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100367383152 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10013] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10013/stat : 10013 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208534 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100366330352 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10014] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10014/stat : 10014 (java) S 9996 9996 8752 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418208535 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100365278064 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10015] ppid=9996 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/9998/task/10015/stat : 10015 (java) R 9996 9996 8752 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 418208535 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100364225264 140102034066238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10016] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10016/stat : 10016 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208535 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100363172192 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10017] ppid=9996 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10017/stat : 10017 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208535 28904845312 7220 33554432000 4194304 4196468 140735602859264 140100362119472 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30332 KiB

[startup+0.210076 s]*
/proc/loadavg: 7.97 7.47 7.02 3/212 10017
/proc/meminfo: memFree=31433164/32770624 swapFree=66982056/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28227388 memory=40896 CPUtime=0.33 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 9507 0 0 0 31 2 0 0 20 0 20 0 418208529 28904845312 10224 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7056847 10224 3292 1 0 7019032 0
[pid=9998/tid=9999] ppid=9996 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) R 9996 9996 8752 0 -1 4202560 6631 0 0 0 18 1 0 0 20 0 20 0 418208529 28904845312 10224 33554432000 4194304 4196468 140735602859264 140102046061840 140102041851037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28227388 memory=329 CPUtime=0 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28227388 memory=140292049734720 CPUtime=0 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10003] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10003/stat : 10003 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101991291408 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10004] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10004/stat : 10004 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101990239120 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10005] ppid=9996 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10005/stat : 10005 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101989186320 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10006] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10006/stat : 10006 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101988134032 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10007] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10007/stat : 10007 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28904845312 10224 33554432000 4194304 4196468 140735602859264 140101987081232 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10008] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10008/stat : 10008 (java) S 9996 9996 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418208531 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100371593328 140102041840258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10009] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10009/stat : 10009 (java) S 9996 9996 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418208532 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100370539296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10010] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10010/stat : 10010 (java) S 9996 9996 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418208532 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100369486960 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10011] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10011/stat : 10011 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208534 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100368435280 140102041847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10012] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10012/stat : 10012 (java) S 9996 9996 8752 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 418208534 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100367383152 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10013] ppid=9996 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9998/task/10013/stat : 10013 (java) S 9996 9996 8752 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 418208534 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100366330352 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10014] ppid=9996 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/9998/task/10014/stat : 10014 (java) S 9996 9996 8752 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 418208535 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100365278064 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10015] ppid=9996 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/9998/task/10015/stat : 10015 (java) S 9996 9996 8752 0 -1 1077944384 719 0 0 0 8 0 0 0 20 0 20 0 418208535 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100364225264 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10016] ppid=9996 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10016/stat : 10016 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208535 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100363172192 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10017] ppid=9996 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10017/stat : 10017 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208535 28904845312 10224 33554432000 4194304 4196468 140735602859264 140100362119472 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42348 KiB

[startup+0.309569 s]*
/proc/loadavg: 7.97 7.47 7.02 3/212 10017
/proc/meminfo: memFree=31428064/32770624 swapFree=66982056/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28231644 memory=49536 CPUtime=0.52 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 10757 0 0 0 48 4 0 0 20 0 20 0 418208529 28909203456 12384 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7057911 12384 3334 1 0 7019032 0
[pid=9998/tid=9999] ppid=9996 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) R 9996 9996 8752 0 -1 4202560 7729 0 0 0 27 2 0 0 20 0 20 0 418208529 28909203456 12384 33554432000 4194304 4196468 140735602859264 140102046063088 140102025909598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10003] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10003/stat : 10003 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101991291408 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10004] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10004/stat : 10004 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101990239120 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10005] ppid=9996 vsize=28231644 memory=140291952700079 CPUtime=0 cores=0-7
/proc/9998/task/10005/stat : 10005 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101989186320 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10006] ppid=9996 vsize=28231644 memory=140291952702384 CPUtime=0 cores=0-7
/proc/9998/task/10006/stat : 10006 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101988134032 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10007] ppid=9996 vsize=28231644 memory=140291952704688 CPUtime=0 cores=0-7
/proc/9998/task/10007/stat : 10007 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28909203456 12384 33554432000 4194304 4196468 140735602859264 140101987081232 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10008] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10008/stat : 10008 (java) S 9996 9996 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418208531 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100371593328 140102041840258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10009] ppid=9996 vsize=28231644 memory=280583905423248 CPUtime=0 cores=0-7
/proc/9998/task/10009/stat : 10009 (java) S 9996 9996 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418208532 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100370539296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10010] ppid=9996 vsize=28231644 memory=280583905420944 CPUtime=0 cores=0-7
/proc/9998/task/10010/stat : 10010 (java) S 9996 9996 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418208532 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100369486960 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10011] ppid=9996 vsize=28231644 memory=280583905427856 CPUtime=0 cores=0-7
/proc/9998/task/10011/stat : 10011 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208534 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100368435280 140102041847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10012] ppid=9996 vsize=28231644 memory=280583905369104 CPUtime=0.01 cores=0-7
/proc/9998/task/10012/stat : 10012 (java) S 9996 9996 8752 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 418208534 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100367383152 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10013] ppid=9996 vsize=28231644 memory=280583905441680 CPUtime=0.01 cores=0-7
/proc/9998/task/10013/stat : 10013 (java) S 9996 9996 8752 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 418208534 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100366330352 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10014] ppid=9996 vsize=28231644 memory=280583905448592 CPUtime=0.04 cores=0-7
/proc/9998/task/10014/stat : 10014 (java) S 9996 9996 8752 0 -1 1077944384 261 0 0 0 4 0 0 0 20 0 20 0 418208535 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100365278064 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10015] ppid=9996 vsize=28231644 memory=280583905446288 CPUtime=0.12 cores=0-7
/proc/9998/task/10015/stat : 10015 (java) S 9996 9996 8752 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 20 0 418208535 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100364225264 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10016] ppid=9996 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10016/stat : 10016 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208535 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100363172192 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10017] ppid=9996 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/9998/task/10017/stat : 10017 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418208535 28909203456 12384 33554432000 4194304 4196468 140735602859264 140100362119472 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50988 KiB

[startup+0.700911 s]
/proc/loadavg: 7.97 7.47 7.02 4/212 10017
/proc/meminfo: memFree=31407036/32770624 swapFree=66982056/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28233768 memory=94160 CPUtime=1.77 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 16237 0 0 0 170 7 0 0 20 0 20 0 418208529 28911378432 23540 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7058442 23540 3449 1 0 7019544 0
[pid=9998/tid=9999] ppid=9996 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) R 9996 9996 8752 0 -1 4202560 9182 0 0 0 64 4 0 0 20 0 20 0 418208529 28911378432 23540 33554432000 4194304 4196468 140735602859264 140102046066976 140101653064361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28233768 memory=140291952911216 CPUtime=0 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28911378432 23540 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418208530 28911378432 23540 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28233768 memory=1164 CPUtime=0 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418208530 28911378432 23540 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0

################
# More data... #
################

[pid=9998/tid=10049] ppid=9996 vsize=28768328 memory=1452 CPUtime=2415.19 cores=0-7
/proc/9998/task/10049/stat : 10049 (java) R 9996 9996 8752 0 -1 4202560 188591 0 0 0 241211 308 0 0 20 0 28 0 418208739 29458767872 761950 33554432000 4194304 4196468 140735602859264 140099837464688 140101656193437 0 4 0 16800975 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 19420 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3049252 KiB

[startup+2502.3 s]
/proc/loadavg: 8.17 8.38 8.26 9/219 10234
/proc/meminfo: memFree=28473680/32770624 swapFree=66982084/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28768328 memory=2991884 CPUtime=19896.7 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 1451160 0 0 0 1988142 1525 0 0 20 0 28 0 418208529 29458767872 747971 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7192082 747971 3548 1 0 7153184 0
[pid=9998/tid=9999] ppid=9996 vsize=28768328 memory=1452 CPUtime=1.47 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) S 9996 9996 8752 0 -1 1077944384 9979 0 0 0 142 5 0 0 20 0 28 0 418208529 29458767872 747971 33554432000 4194304 4196468 140735602859264 140102046069888 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28768328 memory=2992396 CPUtime=12.94 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 39615 0 0 0 1253 41 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28768328 memory=2995476 CPUtime=12.98 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 48767 0 0 0 1259 39 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28768328 memory=2994448 CPUtime=12.83 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 48651 0 0 0 1242 41 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10003] ppid=9996 vsize=28768328 memory=2991884 CPUtime=12.92 cores=0-7
/proc/9998/task/10003/stat : 10003 (java) S 9996 9996 8752 0 -1 1077944384 43390 0 0 0 1255 37 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101991291408 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10004] ppid=9996 vsize=28768328 memory=1452 CPUtime=12.83 cores=0-7
/proc/9998/task/10004/stat : 10004 (java) S 9996 9996 8752 0 -1 1077944384 45939 0 0 0 1244 39 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101990239120 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10005] ppid=9996 vsize=28768328 memory=2992396 CPUtime=12.94 cores=0-7
/proc/9998/task/10005/stat : 10005 (java) S 9996 9996 8752 0 -1 1077944384 42532 0 0 0 1255 39 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101989186320 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10006] ppid=9996 vsize=28768328 memory=2997528 CPUtime=12.91 cores=0-7
/proc/9998/task/10006/stat : 10006 (java) S 9996 9996 8752 0 -1 1077944384 43831 0 0 0 1254 37 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101988134032 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10007] ppid=9996 vsize=28768328 memory=-7003737579269690708 CPUtime=12.9 cores=0-7
/proc/9998/task/10007/stat : 10007 (java) S 9996 9996 8752 0 -1 1077944384 41475 0 0 0 1248 42 0 0 20 0 28 0 418208530 29458767872 747971 33554432000 4194304 4196468 140735602859264 140101987081232 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10008] ppid=9996 vsize=28768328 memory=984 CPUtime=3.62 cores=0-7
/proc/9998/task/10008/stat : 10008 (java) S 9996 9996 8752 0 -1 1077944384 180034 0 0 0 260 102 0 0 20 0 28 0 418208531 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100371593328 140102041840258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10009] ppid=9996 vsize=28768328 memory=3002656 CPUtime=0 cores=0-7
/proc/9998/task/10009/stat : 10009 (java) S 9996 9996 8752 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 418208532 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100370539360 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10010] ppid=9996 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/9998/task/10010/stat : 10010 (java) S 9996 9996 8752 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418208532 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100369486976 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10011] ppid=9996 vsize=28768328 memory=3000604 CPUtime=0 cores=0-7
/proc/9998/task/10011/stat : 10011 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418208534 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100368435280 140102041847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10012] ppid=9996 vsize=28768328 memory=7316 CPUtime=4.14 cores=0-7
/proc/9998/task/10012/stat : 10012 (java) S 9996 9996 8752 0 -1 1077944384 28347 0 0 0 409 5 0 0 20 0 28 0 418208534 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100367383152 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10013] ppid=9996 vsize=28768328 memory=1412 CPUtime=3.71 cores=0-7
/proc/9998/task/10013/stat : 10013 (java) S 9996 9996 8752 0 -1 1077944384 22190 0 0 0 366 5 0 0 20 0 28 0 418208534 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100366330352 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10014] ppid=9996 vsize=28768328 memory=3852 CPUtime=3.88 cores=0-7
/proc/9998/task/10014/stat : 10014 (java) S 9996 9996 8752 0 -1 1077944384 22172 0 0 0 384 4 0 0 20 0 28 0 418208535 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100365278064 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10015] ppid=9996 vsize=28768328 memory=1452 CPUtime=1.24 cores=0-7
/proc/9998/task/10015/stat : 10015 (java) S 9996 9996 8752 0 -1 1077944384 23019 0 0 0 120 4 0 0 20 0 28 0 418208535 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100364225264 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10016] ppid=9996 vsize=28768328 memory=3012916 CPUtime=0 cores=0-7
/proc/9998/task/10016/stat : 10016 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418208535 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100363172192 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10017] ppid=9996 vsize=28768328 memory=3772 CPUtime=0.93 cores=0-7
/proc/9998/task/10017/stat : 10017 (java) S 9996 9996 8752 0 -1 1077944384 7660 0 0 0 58 35 0 0 20 0 28 0 418208535 29458767872 747971 33554432000 4194304 4196468 140735602859264 140100362119472 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10042] ppid=9996 vsize=28768328 memory=1440 CPUtime=2470.49 cores=0-7
/proc/9998/task/10042/stat : 10042 (java) R 9996 9996 8752 0 -1 4202560 122230 0 0 0 246903 146 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099843770672 140101657396846 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10043] ppid=9996 vsize=28768328 memory=920 CPUtime=2473.06 cores=0-7
/proc/9998/task/10043/stat : 10043 (java) R 9996 9996 8752 0 -1 4202560 21595 0 0 0 247301 5 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099839570288 140101657398978 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10044] ppid=9996 vsize=28768328 memory=1452 CPUtime=2473.48 cores=0-7
/proc/9998/task/10044/stat : 10044 (java) R 9996 9996 8752 0 -1 4202560 122759 0 0 0 247222 126 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099840622592 140101651018513 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10045] ppid=9996 vsize=28768328 memory=2999580 CPUtime=2471.15 cores=0-7
/proc/9998/task/10045/stat : 10045 (java) R 9996 9996 8752 0 -1 4202560 87913 0 0 0 246965 150 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099835362096 140101657970560 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10046] ppid=9996 vsize=28768328 memory=1452 CPUtime=2469.19 cores=0-7
/proc/9998/task/10046/stat : 10046 (java) R 9996 9996 8752 0 -1 4202560 79145 0 0 0 246795 124 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099836412448 140101656194087 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10047] ppid=9996 vsize=28768328 memory=2996500 CPUtime=2469.02 cores=0-7
/proc/9998/task/10047/stat : 10047 (java) R 9996 9996 8752 0 -1 4202560 70626 0 0 0 246784 118 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099834307032 140101659185224 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10048] ppid=9996 vsize=28768328 memory=1452 CPUtime=2470.86 cores=0-7
/proc/9998/task/10048/stat : 10048 (java) R 9996 9996 8752 0 -1 4202560 107977 0 0 0 246970 116 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099838516360 140101653323797 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10049] ppid=9996 vsize=28768328 memory=1452 CPUtime=2474.59 cores=0-7
/proc/9998/task/10049/stat : 10049 (java) R 9996 9996 8752 0 -1 4202560 189174 0 0 0 247150 309 0 0 20 0 28 0 418208739 29458767872 747971 33554432000 4194304 4196468 140735602859264 140099837464408 140101656193999 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 19896.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2993336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.21 8.38 8.26 9/219 10236
/proc/meminfo: memFree=28482720/32770624 swapFree=66982084/67108860
[pid=9996] ppid=9993 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9996/stat : 9996 (xcsp3-exec) S 9993 9996 8752 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418208528 115843072 363 33554432000 4194304 5098028 140731021598304 140731021596408 139632727278204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14962688 140731021599605 140731021599849 140731021599849 140731021602762 0
/proc/9996/statm: 28282 363 305 221 0 87 0
[pid=9998] ppid=9996 vsize=28768328 memory=2984188 CPUtime=20037.2 cores=0-7
/proc/9998/stat : 9998 (java) S 9996 9996 8752 0 -1 1077944320 1475158 0 0 0 2002181 1537 0 0 20 0 28 0 418208529 29458767872 746047 33554432000 4194304 4196468 140735602859264 140735602841808 140102041829111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
/proc/9998/statm: 7192082 746047 3548 1 0 7153184 0
[pid=9998/tid=9999] ppid=9996 vsize=28768328 memory=1164 CPUtime=1.47 cores=0-7
/proc/9998/task/9999/stat : 9999 (java) S 9996 9996 8752 0 -1 1077944384 9979 0 0 0 142 5 0 0 20 0 28 0 418208529 29458767872 746047 33554432000 4194304 4196468 140735602859264 140102046069888 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10000] ppid=9996 vsize=28768328 memory=2989320 CPUtime=13.03 cores=0-7
/proc/9998/task/10000/stat : 10000 (java) S 9996 9996 8752 0 -1 1077944384 40928 0 0 0 1262 41 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101994449296 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10001] ppid=9996 vsize=28768328 memory=-7003737579269690708 CPUtime=13.07 cores=0-7
/proc/9998/task/10001/stat : 10001 (java) S 9996 9996 8752 0 -1 1077944384 50028 0 0 0 1268 39 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101993396496 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10002] ppid=9996 vsize=28768328 memory=15252640887999028 CPUtime=12.92 cores=0-7
/proc/9998/task/10002/stat : 10002 (java) S 9996 9996 8752 0 -1 1077944384 49899 0 0 0 1251 41 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101992344208 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10003] ppid=9996 vsize=28768328 memory=780 CPUtime=13 cores=0-7
/proc/9998/task/10003/stat : 10003 (java) S 9996 9996 8752 0 -1 1077944384 44969 0 0 0 1263 37 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101991291408 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10004] ppid=9996 vsize=28768328 memory=4160 CPUtime=12.91 cores=0-7
/proc/9998/task/10004/stat : 10004 (java) S 9996 9996 8752 0 -1 1077944384 47268 0 0 0 1252 39 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101990239120 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10005] ppid=9996 vsize=28768328 memory=984 CPUtime=13.03 cores=0-7
/proc/9998/task/10005/stat : 10005 (java) S 9996 9996 8752 0 -1 1077944384 44497 0 0 0 1263 40 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101989186320 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10006] ppid=9996 vsize=28768328 memory=1328 CPUtime=12.99 cores=0-7
/proc/9998/task/10006/stat : 10006 (java) S 9996 9996 8752 0 -1 1077944384 45616 0 0 0 1262 37 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101988134032 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10007] ppid=9996 vsize=28768328 memory=780 CPUtime=12.99 cores=0-7
/proc/9998/task/10007/stat : 10007 (java) S 9996 9996 8752 0 -1 1077944384 44032 0 0 0 1257 42 0 0 20 0 28 0 418208530 29458767872 746047 33554432000 4194304 4196468 140735602859264 140101987081232 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10008] ppid=9996 vsize=28768328 memory=4160 CPUtime=3.67 cores=0-7
/proc/9998/task/10008/stat : 10008 (java) S 9996 9996 8752 0 -1 1077944384 182519 0 0 0 263 104 0 0 20 0 28 0 418208531 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100371593328 140102041840258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10009] ppid=9996 vsize=28768328 memory=3620 CPUtime=0 cores=0-7
/proc/9998/task/10009/stat : 10009 (java) S 9996 9996 8752 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 418208532 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100370539360 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10010] ppid=9996 vsize=28768328 memory=21216 CPUtime=0 cores=0-7
/proc/9998/task/10010/stat : 10010 (java) S 9996 9996 8752 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418208532 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100369486976 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10011] ppid=9996 vsize=28768328 memory=388 CPUtime=0 cores=0-7
/proc/9998/task/10011/stat : 10011 (java) S 9996 9996 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418208534 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100368435280 140102041847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10012] ppid=9996 vsize=28768328 memory=124 CPUtime=4.14 cores=0-7
/proc/9998/task/10012/stat : 10012 (java) S 9996 9996 8752 0 -1 1077944384 28355 0 0 0 409 5 0 0 20 0 28 0 418208534 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100367383152 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10013] ppid=9996 vsize=28768328 memory=0 CPUtime=3.71 cores=0-7
/proc/9998/task/10013/stat : 10013 (java) S 9996 9996 8752 0 -1 1077944384 22198 0 0 0 366 5 0 0 20 0 28 0 418208534 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100366330352 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10014] ppid=9996 vsize=28768328 memory=93 CPUtime=3.88 cores=0-7
/proc/9998/task/10014/stat : 10014 (java) S 9996 9996 8752 0 -1 1077944384 22180 0 0 0 384 4 0 0 20 0 28 0 418208535 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100365278064 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10015] ppid=9996 vsize=28768328 memory=248555 CPUtime=1.24 cores=0-7
/proc/9998/task/10015/stat : 10015 (java) S 9996 9996 8752 0 -1 1077944384 23028 0 0 0 120 4 0 0 20 0 28 0 418208535 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100364225264 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10016] ppid=9996 vsize=28768328 memory=248810 CPUtime=0 cores=0-7
/proc/9998/task/10016/stat : 10016 (java) S 9996 9996 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418208535 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100363172192 140102041839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10017] ppid=9996 vsize=28768328 memory=248856 CPUtime=0.93 cores=0-7
/proc/9998/task/10017/stat : 10017 (java) S 9996 9996 8752 0 -1 1077944384 7779 0 0 0 58 35 0 0 20 0 28 0 418208535 29458767872 746047 33554432000 4194304 4196468 140735602859264 140100362119472 140102041840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10042] ppid=9996 vsize=28768328 memory=248629 CPUtime=2487.92 cores=0-7
/proc/9998/task/10042/stat : 10042 (java) R 9996 9996 8752 0 -1 4202560 123591 0 0 0 248645 147 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099843770632 140101659789880 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10043] ppid=9996 vsize=28768328 memory=248423 CPUtime=2490.46 cores=0-7
/proc/9998/task/10043/stat : 10043 (java) R 9996 9996 8752 0 -1 4202560 22234 0 0 0 249041 5 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099839570424 140101657396695 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10044] ppid=9996 vsize=28768328 memory=248416 CPUtime=2490.93 cores=0-7
/proc/9998/task/10044/stat : 10044 (java) R 9996 9996 8752 0 -1 4202560 124212 0 0 0 248965 128 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099840623008 140101657559682 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10045] ppid=9996 vsize=28768328 memory=248596 CPUtime=2488.67 cores=0-7
/proc/9998/task/10045/stat : 10045 (java) R 9996 9996 8752 0 -1 4202560 88802 0 0 0 248716 151 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099835359608 140101657970391 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10046] ppid=9996 vsize=28768328 memory=1164 CPUtime=2486.6 cores=0-7
/proc/9998/task/10046/stat : 10046 (java) R 9996 9996 8752 0 -1 4202560 80128 0 0 0 248534 126 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099836415264 140101656194178 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10047] ppid=9996 vsize=28768328 memory=1452 CPUtime=2486.54 cores=0-7
/proc/9998/task/10047/stat : 10047 (java) R 9996 9996 8752 0 -1 4202560 71669 0 0 0 248536 118 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099834307232 140101653842904 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10048] ppid=9996 vsize=28768328 memory=2984188 CPUtime=2488.33 cores=0-7
/proc/9998/task/10048/stat : 10048 (java) R 9996 9996 8752 0 -1 4202560 108931 0 0 0 248716 117 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099838516312 140101657396619 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
[pid=9998/tid=10049] ppid=9996 vsize=28768328 memory=2120 CPUtime=2492.11 cores=0-7
/proc/9998/task/10049/stat : 10049 (java) R 9996 9996 8752 0 -1 4202560 190176 0 0 0 248902 309 0 0 20 0 28 0 418208739 29458767872 746047 33554432000 4194304 4196468 140735602859264 140099837464200 140101656193626 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 31473664 140735602865130 140735602865302 140735602865302 140735602868175 0
Current children cumulated CPU time: 20037.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2985640 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 9996 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00241 s, system=0 s

[startup+2520.11 s]
# the end of solver process 9998 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20022.4 s, system=15.3925 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.11
CPU time (s): 20037.8
CPU user time (s): 20022.4
CPU system time (s): 15.3925
CPU usage (%): 795.118
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 3520268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20022.4
system time used= 15.3925
maximum resident set size= 3518816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1476001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203501
involuntary context switches= 241033


# summary of solver processes directly reported to runsolver:
#   pid: 9996,9998
#   total CPU time (s): 20037.8
#   total CPU user time (s): 20022.4
#   total CPU system time (s): 15.3925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6655 second user time and 30.3118 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393841

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
