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 (7704 MiB free)
memory of node 1: 16384 MiB (9585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394210-1568330744/watcher-4394210-1568330744 -o /tmp/evaluation-result-4394210-1568330744/solver-4394210-1568330744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 612182 HOME/instance-4394210-1568330744.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24102, runsolver pid=24099
[startup+0.100475 s]*
/proc/loadavg: 8.63 8.43 6.67 7/233 24118
/proc/meminfo: memFree=17686924/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15144768 memory=30180 CPUtime=0.12 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 5434 0 0 0 11 1 0 0 20 0 15 0 409014577 15508242432 7545 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3786192 7545 3151 1 0 3748377 0
[pid=24104/tid=24105] ppid=24102 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) R 24102 24102 18186 0 -1 4202560 3353 0 0 0 8 0 0 0 20 0 15 0 409014578 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537670042080 140537645396438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014580 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014580 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537133286432 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014581 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) S 24102 24102 18186 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537130130288 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537129077488 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0.02 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) R 24102 24102 18186 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537128024688 140537665831514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 7545 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31628 KiB
[startup+0.210837 s]*
/proc/loadavg: 8.63 8.43 6.67 6/233 24118
/proc/meminfo: memFree=17674180/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15144768 memory=41292 CPUtime=0.35 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 9004 0 0 0 32 3 0 0 20 0 15 0 409014577 15508242432 10323 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3786192 10323 3305 1 0 3748377 0
[pid=24104/tid=24105] ppid=24102 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) R 24102 24102 18186 0 -1 4202560 6173 0 0 0 18 2 0 0 20 0 15 0 409014578 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537670044208 140537665832093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15144768 memory=3977154864589379232 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014579 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409014580 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014580 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537133286432 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014581 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) S 24102 24102 18186 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537130130288 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) S 24102 24102 18186 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537129077488 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15144768 memory=139701722617472 CPUtime=0.08 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) R 24102 24102 18186 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537128024688 140537646022657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014583 15508242432 10323 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42740 KiB
[startup+0.311016 s]*
/proc/loadavg: 8.63 8.43 6.67 9/233 24118
/proc/meminfo: memFree=17666908/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15149024 memory=49836 CPUtime=0.54 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 10343 0 0 0 50 4 0 0 20 0 15 0 409014577 15512600576 12459 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3787256 12459 3349 1 0 3748377 0
[pid=24104/tid=24105] ppid=24102 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) R 24102 24102 18186 0 -1 4202560 7315 0 0 0 27 2 0 0 20 0 15 0 409014578 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537670041280 140537649890654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014579 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409014580 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014580 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537133286432 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014581 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) R 24102 24102 18186 0 -1 4202560 757 0 0 0 5 0 0 0 20 0 15 0 409014583 15512600576 12524 33554432000 4194304 4196468 140721756680352 140537130120672 140537643071424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) S 24102 24102 18186 0 -1 1077944384 126 0 0 0 4 0 0 0 20 0 15 0 409014583 15512600576 12530 33554432000 4194304 4196468 140721756680352 140537129077488 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) S 24102 24102 18186 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 15 0 409014583 15512600576 12530 33554432000 4194304 4196468 140721756680352 140537128024688 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15512600576 12530 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014583 15512600576 12530 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51284 KiB
[startup+0.705529 s]
/proc/loadavg: 8.63 8.43 6.67 9/233 24118
/proc/meminfo: memFree=17649520/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15151148 memory=87360 CPUtime=1.76 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 14493 0 0 0 171 5 0 0 20 0 15 0 409014577 15514775552 21840 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3787787 21840 3453 1 0 3748889 0
[pid=24104/tid=24105] ppid=24102 vsize=15151148 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) R 24102 24102 18186 0 -1 4202560 8099 0 0 0 64 3 0 0 20 0 15 0 409014578 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537670047568 140537665831514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014579 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014579 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409014580 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014580 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537133286432 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014581 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15151148 memory=1720 CPUtime=0.33 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) R 24102 24102 18186 0 -1 4202560 1771 0 0 0 33 0 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537130118400 140537649803880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15151148 memory=10604 CPUtime=0.33 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) R 24102 24102 18186 0 -1 1077944384 1114 0 0 0 33 0 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537129064272 140537665820373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15151148 memory=3360 CPUtime=0.42 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) R 24102 24102 18186 0 -1 4202560 2203 0 0 0 41 1 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537128024688 140537665822102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 21840 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 88808 KiB
[startup+1.50139 s]
/proc/loadavg: 8.63 8.43 6.67 6/234 24120
/proc/meminfo: memFree=17533552/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15151148 memory=289752 CPUtime=4.11 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 17841 0 0 0 391 20 0 0 20 0 15 0 409014577 15514775552 72438 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3787787 72438 3492 1 0 3748889 0
[pid=24104/tid=24105] ppid=24102 vsize=15151148 memory=-7816663703405220396 CPUtime=1.38 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) S 24102 24102 18186 0 -1 1077944384 8874 0 0 0 133 5 0 0 20 0 15 0 409014578 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537670047632 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15151148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) R 24102 24102 18186 0 -1 4202560 180 0 0 0 5 3 0 0 20 0 15 0 409014579 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537577467224 140537650837586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15151148 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) R 24102 24102 18186 0 -1 4202560 47 0 0 0 4 2 0 0 20 0 15 0 409014579 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537576414112 140537650837586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15151148 memory=279403192043760 CPUtime=0.08 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) R 24102 24102 18186 0 -1 4202560 99 0 0 0 5 3 0 0 20 0 15 0 409014579 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537575361624 140537650837586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15151148 memory=1966185 CPUtime=0.06 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) R 24102 24102 18186 0 -1 4202560 145 0 0 0 4 2 0 0 20 0 15 0 409014579 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537574308824 140537650838041 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15151148 memory=1967567 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 409014580 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537134338976 140537665820373 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 409014580 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537133286432 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 409014581 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15151148 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) D 24102 24102 18186 0 -1 4202560 2717 0 0 0 89 0 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537130116168 140537658527319 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15151148 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) S 24102 24102 18186 0 -1 1077944384 1719 0 0 0 89 0 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537129062480 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15151148 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) S 24102 24102 18186 0 -1 1077944384 2678 0 0 0 59 1 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537128024688 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15151148 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014583 15514775552 72438 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 291200 KiB
[startup+3.11096 s]
/proc/loadavg: 8.82 8.48 6.69 10/238 24436
/proc/meminfo: memFree=17035540/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15552580 memory=680516 CPUtime=8.55 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 25949 0 0 0 808 47 0 0 20 0 19 0 409014577 15925841920 170129 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3888145 170129 3526 1 0 3849247 0
[pid=24104/tid=24105] ppid=24102 vsize=15552580 memory=57 CPUtime=1.84 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) S 24102 24102 18186 0 -1 1077944384 8965 0 0 0 178 6 0 0 20 0 19 0 409014578 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537670050944 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15552580 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 316 0 0 0 13 7 0 0 20 0 19 0 409014579 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15552580 memory=602620 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 182 0 0 0 13 7 0 0 20 0 19 0 409014579 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15552580 memory=68 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 180 0 0 0 13 7 0 0 20 0 19 0 409014579 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15552580 memory=78 CPUtime=0.21 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 340 0 0 0 14 7 0 0 20 0 19 0 409014579 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 19 0 409014580 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409014580 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537133286496 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409014581 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15552580 memory=0 CPUtime=1.76 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) S 24102 24102 18186 0 -1 1077944384 2935 0 0 0 175 1 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537130130288 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15552580 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) S 24102 24102 18186 0 -1 1077944384 1912 0 0 0 167 0 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537129077488 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15552580 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) S 24102 24102 18186 0 -1 1077944384 3205 0 0 0 86 1 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537128024688 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15552580 memory=243215408061990 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409014583 15925841920 170129 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 681964 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+4.40078 s]
/proc/loadavg: 8.82 8.48 6.69 8/238 24532
/proc/meminfo: memFree=17027708/32770624 swapFree=66959212/67108860
[pid=24102] ppid=24099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24102/stat : 24102 (xcsp3-exec) S 24099 24102 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409014577 115843072 362 33554432000 4194304 5098028 140734994213840 140734994211944 140194686599804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31723520 140734994215806 140734994216045 140734994216045 140734994218954 0
/proc/24102/statm: 28282 362 304 221 0 87 0
[pid=24104] ppid=24102 vsize=15893812 memory=721384 CPUtime=12.62 cores=1,3,5,7
/proc/24104/stat : 24104 (java) S 24102 24102 18186 0 -1 1077944320 30596 0 0 0 1212 50 0 0 20 0 17 0 409014577 16275263488 180346 33554432000 4194304 4196468 140721756680352 140721756662896 140537665810167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
/proc/24104/statm: 3973453 180346 3534 1 0 3934555 0
[pid=24104/tid=24105] ppid=24102 vsize=15893812 memory=-7361183220417256819 CPUtime=1.85 cores=1,3,5,7
/proc/24104/task/24105/stat : 24105 (java) S 24102 24102 18186 0 -1 1077944384 8978 0 0 0 179 6 0 0 20 0 18 0 409014578 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537670050944 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24106] ppid=24102 vsize=15893812 memory=-2895008908443489639 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24106/stat : 24106 (java) S 24102 24102 18186 0 -1 1077944384 316 0 0 0 13 7 0 0 20 0 18 0 409014579 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537577467024 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24107] ppid=24102 vsize=15893812 memory=-6944672133998927705 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24107/stat : 24107 (java) S 24102 24102 18186 0 -1 1077944384 182 0 0 0 13 7 0 0 20 0 18 0 409014579 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537576414224 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24108] ppid=24102 vsize=15893812 memory=-6884977353009352486 CPUtime=0.2 cores=1,3,5,7
/proc/24104/task/24108/stat : 24108 (java) S 24102 24102 18186 0 -1 1077944384 180 0 0 0 13 7 0 0 20 0 18 0 409014579 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537575361424 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24109] ppid=24102 vsize=15893812 memory=4713742226031938934 CPUtime=0.21 cores=1,3,5,7
/proc/24104/task/24109/stat : 24109 (java) S 24102 24102 18186 0 -1 1077944384 340 0 0 0 14 7 0 0 20 0 18 0 409014579 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537574308624 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24110] ppid=24102 vsize=15893812 memory=4425517385743431210 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24110/stat : 24110 (java) S 24102 24102 18186 0 -1 1077944384 556 0 0 0 0 0 0 0 20 0 18 0 409014580 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537134340464 140537665821314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24111] ppid=24102 vsize=15893812 memory=78 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24111/stat : 24111 (java) S 24102 24102 18186 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 409014580 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537133286496 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24112] ppid=24102 vsize=15893812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24112/stat : 24112 (java) S 24102 24102 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 409014581 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537132233584 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24113] ppid=24102 vsize=15893812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24113/stat : 24113 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537131181904 140537665828763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24114] ppid=24102 vsize=15893812 memory=204 CPUtime=2.4 cores=1,3,5,7
/proc/24104/task/24114/stat : 24114 (java) R 24102 24102 18186 0 -1 4202560 3561 0 0 0 239 1 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537130109424 140537647338231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24115] ppid=24102 vsize=15893812 memory=211 CPUtime=2.45 cores=1,3,5,7
/proc/24104/task/24115/stat : 24115 (java) R 24102 24102 18186 0 -1 1077944384 3083 0 0 0 244 1 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537129062960 140537665820373 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24116] ppid=24102 vsize=15893812 memory=95 CPUtime=0.97 cores=1,3,5,7
/proc/24104/task/24116/stat : 24116 (java) S 24102 24102 18186 0 -1 1077944384 3501 0 0 0 95 2 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537128024688 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24117] ppid=24102 vsize=15893812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24117/stat : 24117 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537126972128 140537665820373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
[pid=24104/tid=24118] ppid=24102 vsize=15893812 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24104/task/24118/stat : 24118 (java) S 24102 24102 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 409014583 16275263488 180346 33554432000 4194304 4196468 140721756680352 140537125919408 140537665821314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30744576 140721756689391 140721756689562 140721756689562 140721756692431 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 16006940 KiB
Current children cumulated memory: 722832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+4.83064 s]
# the end of solver process 24102 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001152 s, system=0.001152 s
[startup+4.89786 s]
# the end of solver process 24104 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.8547 s, system=0.563191 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): 4.89791
CPU time (s): 14.4179
CPU user time (s): 13.8547
CPU system time (s): 0.563191
CPU usage (%): 294.368
Max. virtual memory (cumulated for all children) (KiB): 16006940
Max. memory (cumulated for all children) (KiB): 722832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8547
system time used= 0.563191
maximum resident set size= 782580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6220
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 24102,24104
# total CPU time (s): 14.4179
# total CPU user time (s): 13.8547
# total CPU system time (s): 0.563191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045681 second user time and 0.104578 second system time
The end