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 (12661 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393121-1568315534/watcher-4393121-1568315534 -o /tmp/evaluation-result-4393121-1568315534/solver-4393121-1568315534 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1450100312 HOME/instance-4393121-1568315534.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=16485, runsolver pid=16482
[startup+0.100058 s]*
/proc/loadavg: 8.71 8.50 7.70 7/233 16501
/proc/meminfo: memFree=28663156/32770624 swapFree=66996228/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15144768 memory=29036 CPUtime=0.13 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 5731 0 0 0 12 1 0 0 20 0 15 0 407808118 15508242432 7259 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3786192 7259 3117 1 0 3748377 0
[pid=16487/tid=16488] ppid=16485 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) R 16485 16485 14062 0 -1 4202560 3642 0 0 0 8 0 0 0 20 0 15 0 407808119 15508242432 7259 33554432000 4194304 4196468 140735999757120 140440306508672 140440302284182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15144768 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15144768 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439175353760 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439174301168 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) R 16485 16485 14062 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) R 16485 16485 14062 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439171143792 140440287088749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15144768 memory=139712030713472 CPUtime=0.02 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) R 16485 16485 14062 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439170091248 140440280403910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15144768 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 7259 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30484 KiB
[startup+0.210661 s]*
/proc/loadavg: 8.71 8.50 7.70 7/233 16501
/proc/meminfo: memFree=28649764/32770624 swapFree=66996228/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15144768 memory=41172 CPUtime=0.34 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 9512 0 0 0 32 2 0 0 20 0 15 0 407808118 15508242432 10293 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3786192 10293 3314 1 0 3748377 0
[pid=16487/tid=16488] ppid=16485 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) R 16485 16485 14062 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 407808119 15508242432 10293 33554432000 4194304 4196468 140735999757120 140440306506944 140440302284182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15144768 memory=2855722 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407808119 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439175353760 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15144768 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407808121 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439174301168 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) S 16485 16485 14062 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) S 16485 16485 14062 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439171143792 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) R 16485 16485 14062 0 -1 4202560 707 0 0 0 8 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439170091248 140440294509374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808124 15508242432 10293 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42620 KiB
[startup+0.317272 s]*
/proc/loadavg: 8.71 8.50 7.70 7/233 16501
/proc/meminfo: memFree=28642856/32770624 swapFree=66996228/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15149024 memory=50168 CPUtime=0.54 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 10952 0 0 0 51 3 0 0 20 0 15 0 407808118 15512600576 12542 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3787256 12542 3363 1 0 3748377 0
[pid=16487/tid=16488] ppid=16485 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) R 16485 16485 14062 0 -1 4202560 7886 0 0 0 28 2 0 0 20 0 15 0 407808119 15512600576 12542 33554432000 4194304 4196468 140735999757120 140440306503360 140440286352734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15149024 memory=2855612 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407808119 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15149024 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407808121 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407808121 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439175353760 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407808121 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439174301168 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) S 16485 16485 14062 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) S 16485 16485 14062 0 -1 1077944384 594 0 0 0 5 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439171143792 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15149024 memory=139712030713472 CPUtime=0.12 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) S 16485 16485 14062 0 -1 1077944384 782 0 0 0 12 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439170091248 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15149024 memory=139712030713472 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808124 15512600576 12542 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51616 KiB
[startup+0.700767 s]
/proc/loadavg: 8.71 8.50 7.70 10/233 16501
/proc/meminfo: memFree=28615328/32770624 swapFree=66996228/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15151148 memory=129272 CPUtime=1.76 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 14772 0 0 0 170 6 0 0 20 0 15 0 407808118 15514775552 32318 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3787787 32318 3449 1 0 3748889 0
[pid=16487/tid=16488] ppid=16485 vsize=15151148 memory=11932 CPUtime=0.68 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) R 16485 16485 14062 0 -1 4202560 8393 0 0 0 64 4 0 0 20 0 15 0 407808119 15514775552 32318 33554432000 4194304 4196468 140735999757120 140440306505136 140440302284182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808119 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407808119 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407808121 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407808121 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439175353760 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407808121 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439174301168 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15151148 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15151148 memory=7302135314614015840 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) R 16485 16485 14062 0 -1 4202560 1670 0 0 0 36 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439172185696 140440287177735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15151148 memory=6152570584798358125 CPUtime=0.39 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) R 16485 16485 14062 0 -1 4202560 1788 0 0 0 39 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439171129816 140440287194014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15151148 memory=7223887401239728208 CPUtime=0.3 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) R 16485 16485 14062 0 -1 1077944384 1615 0 0 0 30 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439170091248 140440302283394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407808124 15514775552 32318 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 130720 KiB
[startup+1.50927 s]
/proc/loadavg: 8.71 8.50 7.70 8/233 16501
/proc/meminfo: memFree=28525472/32770624 swapFree=66996228/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 103298 0 0 0 231370 122 0 0 20 0 19 0 407808118 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3854863 1015057 3524 1 0 3815965 0
[pid=16487/tid=16488] ppid=16485 vsize=15419452 memory=4060228 CPUtime=2.42 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) S 16485 16485 14062 0 -1 1077944384 11406 0 0 0 235 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140440306513024 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1436 0 0 0 29 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1094 0 0 0 30 6 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.37 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1197 0 0 0 30 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15419452 memory=1448 CPUtime=0.38 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2370 0 0 0 31 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15419452 memory=5908 CPUtime=0.04 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 3691 0 0 0 3 1 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15419452 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439175353824 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439174301184 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15419452 memory=4060228 CPUtime=3.29 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) S 16485 16485 14062 0 -1 1077944384 13878 0 0 0 328 1 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15419452 memory=1448 CPUtime=3.57 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) S 16485 16485 14062 0 -1 1077944384 17568 0 0 0 355 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439171143792 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15419452 memory=279423862888096 CPUtime=0.95 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) S 16485 16485 14062 0 -1 1077944384 9637 0 0 0 93 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439170091248 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15419452 memory=7011348500760777552 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15419452 memory=279423862896928 CPUtime=0.25 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 993 0 0 0 0 25 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16502] ppid=16485 vsize=15419452 memory=4060228 CPUtime=577.27 cores=1,3,5,7
/proc/16487/task/16502/stat : 16502 (java) R 16485 16485 14062 0 -1 4202560 2049 0 0 0 57726 1 0 0 20 0 19 0 407808379 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439156682312 140439949001872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16503] ppid=16485 vsize=15419452 memory=4060228 CPUtime=576.1 cores=1,3,5,7
/proc/16487/task/16503/stat : 16503 (java) R 16485 16485 14062 0 -1 4202560 31276 0 0 0 57537 73 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439155628536 140439948371187 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16504] ppid=16485 vsize=15419452 memory=1448 CPUtime=572.86 cores=1,3,5,7
/proc/16487/task/16504/stat : 16504 (java) R 16485 16485 14062 0 -1 4202560 1400 0 0 0 57284 2 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439154577776 140439947298248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16505] ppid=16485 vsize=15419452 memory=4060228 CPUtime=576.58 cores=1,3,5,7
/proc/16487/task/16505/stat : 16505 (java) R 16485 16485 14062 0 -1 4202560 3924 0 0 0 57657 1 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439153524776 140439948631590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 2314.92 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4061676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.901 s]
/proc/loadavg: 8.15 8.41 8.06 9/237 16722
/proc/meminfo: memFree=23238260/32770624 swapFree=66996236/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15419452 memory=4060228 CPUtime=2520.32 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 105536 0 0 0 251909 123 0 0 20 0 19 0 407808118 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3854863 1015057 3524 1 0 3815965 0
[pid=16487/tid=16488] ppid=16485 vsize=15419452 memory=4060228 CPUtime=2.42 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) S 16485 16485 14062 0 -1 1077944384 11406 0 0 0 235 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140440306513024 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1436 0 0 0 29 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1094 0 0 0 30 6 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.37 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1197 0 0 0 30 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15419452 memory=1448 CPUtime=0.38 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2370 0 0 0 31 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.04 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 3696 0 0 0 3 1 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439175353824 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15419452 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439174301184 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15419452 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) S 16485 16485 14062 0 -1 1077944384 13881 0 0 0 328 1 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15419452 memory=1448 CPUtime=3.57 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) S 16485 16485 14062 0 -1 1077944384 17571 0 0 0 355 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439171143792 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15419452 memory=1448 CPUtime=0.95 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) S 16485 16485 14062 0 -1 1077944384 9646 0 0 0 93 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439170091248 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.28 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1022 0 0 0 0 28 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16502] ppid=16485 vsize=15419452 memory=916 CPUtime=628.86 cores=1,3,5,7
/proc/16487/task/16502/stat : 16502 (java) R 16485 16485 14062 0 -1 4202560 2135 0 0 0 62885 1 0 0 20 0 19 0 407808379 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439156682312 140439948819387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16503] ppid=16485 vsize=15419452 memory=3848 CPUtime=627.65 cores=1,3,5,7
/proc/16487/task/16503/stat : 16503 (java) R 16485 16485 14062 0 -1 4202560 33021 0 0 0 62691 74 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439155628536 140439941174902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16504] ppid=16485 vsize=15419452 memory=4895 CPUtime=623.5 cores=1,3,5,7
/proc/16487/task/16504/stat : 16504 (java) R 16485 16485 14062 0 -1 4202560 1527 0 0 0 62348 2 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439154577776 140439947298273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16505] ppid=16485 vsize=15419452 memory=1892 CPUtime=628.17 cores=1,3,5,7
/proc/16487/task/16505/stat : 16505 (java) R 16485 16485 14062 0 -1 4202560 4155 0 0 0 62816 1 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439153524776 140439948631590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4061676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.935 s]
# the end of solver process 16485 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002268 s, system=0 s
[startup+633.98 s]
# the end of solver process 16487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.34 s, system=1.2503 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
[startup+633.901 s]
/proc/loadavg: 8.15 8.41 8.06 9/237 16722
/proc/meminfo: memFree=23238260/32770624 swapFree=66996236/67108860
[pid=16485] ppid=16482 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16485/stat : 16485 (xcsp3-exec) S 16482 16485 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407808118 115843072 362 33554432000 4194304 5098028 140725657371472 140725657369576 139864419709564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22081536 140725657375610 140725657375853 140725657375853 140725657378762 0
/proc/16485/statm: 28282 362 304 221 0 87 0
[pid=16487] ppid=16485 vsize=15419452 memory=4060228 CPUtime=2520.32 cores=1,3,5,7
/proc/16487/stat : 16487 (java) S 16485 16485 14062 0 -1 1077944320 105536 0 0 0 251909 123 0 0 20 0 19 0 407808118 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140735999739664 140440302272247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
/proc/16487/statm: 3854863 1015057 3524 1 0 3815965 0
[pid=16487/tid=16488] ppid=16485 vsize=15419452 memory=4060228 CPUtime=2.42 cores=1,3,5,7
/proc/16487/task/16488/stat : 16488 (java) S 16485 16485 14062 0 -1 1077944384 11406 0 0 0 235 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140440306513024 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16489] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16489/stat : 16489 (java) S 16485 16485 14062 0 -1 1077944384 1436 0 0 0 29 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439895120144 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16490] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.36 cores=1,3,5,7
/proc/16487/task/16490/stat : 16490 (java) S 16485 16485 14062 0 -1 1077944384 1094 0 0 0 30 6 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439894067600 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16491] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.37 cores=1,3,5,7
/proc/16487/task/16491/stat : 16491 (java) S 16485 16485 14062 0 -1 1077944384 1197 0 0 0 30 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439893015056 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16492] ppid=16485 vsize=15419452 memory=1448 CPUtime=0.38 cores=1,3,5,7
/proc/16487/task/16492/stat : 16492 (java) S 16485 16485 14062 0 -1 1077944384 2370 0 0 0 31 7 0 0 20 0 19 0 407808119 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439891962512 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16493] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.04 cores=1,3,5,7
/proc/16487/task/16493/stat : 16493 (java) S 16485 16485 14062 0 -1 1077944384 3696 0 0 0 3 1 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439176407536 140440302283394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16494] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16494/stat : 16494 (java) S 16485 16485 14062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439175353824 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16495] ppid=16485 vsize=15419452 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16495/stat : 16495 (java) S 16485 16485 14062 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 407808121 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439174301184 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16496] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16496/stat : 16496 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439173249744 140440302290843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16497] ppid=16485 vsize=15419452 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/16487/task/16497/stat : 16497 (java) S 16485 16485 14062 0 -1 1077944384 13881 0 0 0 328 1 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439172196336 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16498] ppid=16485 vsize=15419452 memory=1448 CPUtime=3.57 cores=1,3,5,7
/proc/16487/task/16498/stat : 16498 (java) S 16485 16485 14062 0 -1 1077944384 17571 0 0 0 355 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439171143792 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16499] ppid=16485 vsize=15419452 memory=1448 CPUtime=0.95 cores=1,3,5,7
/proc/16487/task/16499/stat : 16499 (java) S 16485 16485 14062 0 -1 1077944384 9646 0 0 0 93 2 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439170091248 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16500] ppid=16485 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16487/task/16500/stat : 16500 (java) S 16485 16485 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439169038944 140440302282453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16501] ppid=16485 vsize=15419452 memory=4060228 CPUtime=0.28 cores=1,3,5,7
/proc/16487/task/16501/stat : 16501 (java) S 16485 16485 14062 0 -1 1077944384 1022 0 0 0 0 28 0 0 20 0 19 0 407808124 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439167986480 140440302283394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16502] ppid=16485 vsize=15419452 memory=916 CPUtime=628.86 cores=1,3,5,7
/proc/16487/task/16502/stat : 16502 (java) R 16485 16485 14062 0 -1 4202560 2135 0 0 0 62885 1 0 0 20 0 19 0 407808379 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439156682312 140439948819387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16503] ppid=16485 vsize=15419452 memory=3848 CPUtime=627.65 cores=1,3,5,7
/proc/16487/task/16503/stat : 16503 (java) R 16485 16485 14062 0 -1 4202560 33021 0 0 0 62691 74 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439155628536 140439941174902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16504] ppid=16485 vsize=15419452 memory=4895 CPUtime=623.5 cores=1,3,5,7
/proc/16487/task/16504/stat : 16504 (java) R 16485 16485 14062 0 -1 4202560 1527 0 0 0 62348 2 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439154577776 140439947298273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
[pid=16487/tid=16505] ppid=16485 vsize=15419452 memory=1892 CPUtime=628.17 cores=1,3,5,7
/proc/16487/task/16505/stat : 16505 (java) R 16485 16485 14062 0 -1 4202560 4155 0 0 0 62816 1 0 0 20 0 19 0 407808380 15789518848 1015057 33554432000 4194304 4196468 140735999757120 140439153524776 140439948631590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140735999759343 140735999759514 140735999759514 140735999762383 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4061676 KiB
Child status: 143
Real time (s): 633.98
CPU time (s): 2520.59
CPU user time (s): 2519.34
CPU system time (s): 1.2503
CPU usage (%): 397.581
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 4167352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 1.2503
maximum resident set size= 4167548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17003
involuntary context switches= 47354
# summary of solver processes directly reported to runsolver:
# pid: 16485,16487
# total CPU time (s): 2520.59
# total CPU user time (s): 2519.34
# total CPU system time (s): 1.2503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05142 second user time and 7.63743 second system time
The end