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 (8249 MiB free)
memory of node 1: 16384 MiB (12399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394153-1568328577/watcher-4394153-1568328577 -o /tmp/evaluation-result-4394153-1568328577/solver-4394153-1568328577 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1830304697 HOME/instance-4394153-1568328577.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
solver pid=20494, runsolver pid=20491
Current StackSize limit: 8192 KiB
[startup+0.108867 s]*
/proc/loadavg: 8.05 7.33 4.65 8/233 20510
/proc/meminfo: memFree=21126912/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15144768 memory=30188 CPUtime=0.15 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 5517 0 0 0 14 1 0 0 20 0 15 0 408772577 15508242432 7547 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3786192 7547 3148 1 0 3748377 0
[pid=20496/tid=20497] ppid=20494 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) R 20494 20494 19528 0 -1 4202560 3378 0 0 0 9 0 0 0 20 0 15 0 408772577 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321979959504 140321959773541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15144768 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15144768 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772579 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408772580 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321050137632 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408772580 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772582 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) S 20494 20494 19528 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 408772582 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321046981488 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 408772582 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15144768 memory=140032737662592 CPUtime=0.03 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) D 20494 20494 19528 0 -1 4202560 385 0 0 0 3 0 0 0 20 0 15 0 408772582 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321044873096 140321967967038 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772583 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15144768 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772583 15508242432 7547 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31640 KiB
[startup+0.211015 s]*
/proc/loadavg: 8.05 7.33 4.65 7/233 20510
/proc/meminfo: memFree=21114788/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15144768 memory=41028 CPUtime=0.34 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 9011 0 0 0 32 2 0 0 20 0 15 0 408772577 15508242432 10257 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3786192 10257 3269 1 0 3748377 0
[pid=20496/tid=20497] ppid=20494 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) R 20494 20494 19528 0 -1 4202560 6175 0 0 0 18 2 0 0 20 0 15 0 408772577 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321979967712 140321959773541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15144768 memory=3832618504109162528 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408772579 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408772580 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321050137632 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15144768 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408772580 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772582 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) R 20494 20494 19528 0 -1 1077944384 714 0 0 0 3 0 0 0 20 0 15 0 408772582 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321046981488 140321975741058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 408772582 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) R 20494 20494 19528 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 408772582 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772583 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772583 15508242432 10257 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42480 KiB
[startup+0.313562 s]*
/proc/loadavg: 8.05 7.33 4.65 7/233 20510
/proc/meminfo: memFree=21107880/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15149024 memory=50100 CPUtime=0.53 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 10419 0 0 0 50 3 0 0 20 0 15 0 408772577 15512600576 12525 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3787256 12525 3337 1 0 3748377 0
[pid=20496/tid=20497] ppid=20494 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) R 20494 20494 19528 0 -1 4202560 7369 0 0 0 27 3 0 0 20 0 15 0 408772577 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321979964448 140321975751837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15149024 memory=3834029173232631840 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15149024 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408772579 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408772580 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321050137632 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408772580 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772582 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) S 20494 20494 19528 0 -1 1077944384 720 0 0 0 5 0 0 0 20 0 15 0 408772582 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321046981488 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 178 0 0 0 4 0 0 0 20 0 15 0 408772582 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15149024 memory=140032737662592 CPUtime=0.12 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) S 20494 20494 19528 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 408772582 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772583 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15149024 memory=140032737662592 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772583 15512600576 12525 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51552 KiB
[startup+0.700744 s]
/proc/loadavg: 8.05 7.33 4.65 9/233 20510
/proc/meminfo: memFree=21094656/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15151148 memory=101508 CPUtime=1.68 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 13902 0 0 0 163 5 0 0 20 0 15 0 408772577 15514775552 25377 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3787787 25377 3459 1 0 3748889 0
[pid=20496/tid=20497] ppid=20494 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) R 20494 20494 19528 0 -1 4202560 8708 0 0 0 64 4 0 0 20 0 15 0 408772577 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321979964840 140321566161613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408772578 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772578 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408772579 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408772580 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321050137632 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408772580 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772582 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15151148 memory=7453282923444726100 CPUtime=0.3 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) R 20494 20494 19528 0 -1 4202560 1488 0 0 0 30 0 0 0 20 0 15 0 408772582 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321046974512 140321960611715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15151148 memory=5792825802846453857 CPUtime=0.3 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) R 20494 20494 19528 0 -1 4202560 606 0 0 0 30 0 0 0 20 0 15 0 408772582 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321045915472 140321956921892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15151148 memory=8514726395715219869 CPUtime=0.38 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) S 20494 20494 19528 0 -1 1077944384 1792 0 0 0 38 0 0 0 20 0 15 0 408772582 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408772583 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408772583 15514775552 25377 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 102960 KiB
[startup+1.51157 s]
/proc/loadavg: 8.05 7.33 4.65 14/237 20514
/proc/meminfo: memFree=21018576/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15417404 memory=216924 CPUtime=4.83 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 15553 0 0 0 473 10 0 0 20 0 19 0 408772577 15787421696 54231 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3854351 54231 3503 1 0 3815453 0
[pid=20496/tid=20497] ppid=20494 vsize=15417404 memory=22787 CPUtime=0.75 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) S 20494 20494 19528 0 -1 1077944384 8790 0 0 0 71 4 0 0 20 0 19 0 408772577 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321979970688 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15417404 memory=1399094042734925955 CPUtime=0.02 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 19 0 408772578 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15417404 memory=-7737605734073681312 CPUtime=0.02 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 19 0 408772578 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15417404 memory=-9181546050914066336 CPUtime=0.02 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 19 0 408772578 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15417404 memory=-7025452035940392864 CPUtime=0.01 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 19 0 408772578 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15417404 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408772579 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15417404 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408772580 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321050137632 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15417404 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408772580 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15417404 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772582 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15417404 memory=-7025452035940392864 CPUtime=0.9 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) R 20494 20494 19528 0 -1 4202560 1697 0 0 0 90 0 0 0 20 0 19 0 408772582 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321046968056 140321953706513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15417404 memory=-9001734043636558696 CPUtime=0.87 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 1091 0 0 0 87 0 0 0 20 0 19 0 408772582 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15417404 memory=-7457052372387209120 CPUtime=0.58 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) S 20494 20494 19528 0 -1 1077944384 2170 0 0 0 58 0 0 0 20 0 19 0 408772582 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772583 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15417404 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408772583 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20511] ppid=20494 vsize=15417404 memory=-2026666227646606628 CPUtime=0.36 cores=1,3,5,7
/proc/20496/task/20511/stat : 20511 (java) R 20494 20494 19528 0 -1 4202560 63 0 0 0 36 0 0 0 20 0 19 0 408772654 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321033559240 140321570130760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20512] ppid=20494 vsize=15417404 memory=-3040564339240289162 CPUtime=0.4 cores=1,3,5,7
/proc/20496/task/20512/stat : 20512 (java) R 20494 20494 19528 0 -1 4202560 94 0 0 0 40 0 0 0 20 0 19 0 408772655 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321032509624 140321569986576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20513] ppid=20494 vsize=15417404 memory=6944656591801717918 CPUtime=0.38 cores=1,3,5,7
/proc/20496/task/20513/stat : 20513 (java) R 20494 20494 19528 0 -1 4202560 30 0 0 0 38 0 0 0 20 0 19 0 408772655 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321031454424 140321570890215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20514] ppid=20494 vsize=15417404 memory=6944656592452807316 CPUtime=0.4 cores=1,3,5,7
/proc/20496/task/20514/stat : 20514 (java) R 20494 20494 19528 0 -1 4202560 34 0 0 0 40 0 0 0 20 0 19 0 408772655 15787421696 54231 33554432000 4194304 4196468 140721249385488 140321030401544 140321570890632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 218376 KiB
[startup+3.12557 s]
/proc/loadavg: 8.37 7.41 4.69 9/237 20538
/proc/meminfo: memFree=20786976/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15418432 memory=369764 CPUtime=11.22 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 16885 0 0 0 1104 18 0 0 20 0 19 0 408772577 15788474368 92441 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3854608 92441 3525 1 0 3815710 0
[pid=20496/tid=20497] ppid=20494 vsize=15418432 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) S 20494 20494 19528 0 -1 1077944384 8793 0 0 0 71 4 0 0 20 0 19 0 408772577 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321979970688 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15418432 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 126 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15418432 memory=241104 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15418432 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 141 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15418432 memory=310936 CPUtime=0.05 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 119 0 0 0 4 1 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15418432 memory=217056 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 408772579 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15418432 memory=280065153833440 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408772580 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321050137696 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15418432 memory=140032576884785 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408772580 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15418432 memory=7517440535059129963 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15418432 memory=288230596134840630 CPUtime=1.3 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) S 20494 20494 19528 0 -1 1077944384 1769 0 0 0 130 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321046981488 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15418432 memory=3504 CPUtime=1.33 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 1317 0 0 0 133 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15418432 memory=38216 CPUtime=0.64 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) S 20494 20494 19528 0 -1 1077944384 2235 0 0 0 64 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15418432 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772583 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15418432 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408772583 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20535] ppid=20494 vsize=15418432 memory=6944656592455360604 CPUtime=0.54 cores=1,3,5,7
/proc/20496/task/20535/stat : 20535 (java) R 20494 20494 19528 0 -1 4202560 18 0 0 0 54 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321033558872 140321570789716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20536] ppid=20494 vsize=15418432 memory=6944652177228980320 CPUtime=0.48 cores=1,3,5,7
/proc/20496/task/20536/stat : 20536 (java) R 20494 20494 19528 0 -1 4202560 32 0 0 0 48 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321030404264 140321570482300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20537] ppid=20494 vsize=15418432 memory=6655300316396806240 CPUtime=0.47 cores=1,3,5,7
/proc/20496/task/20537/stat : 20537 (java) R 20494 20494 19528 0 -1 4202560 18 0 0 0 47 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321029348688 140321570366693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20538] ppid=20494 vsize=15418432 memory=6943526294502006880 CPUtime=0.56 cores=1,3,5,7
/proc/20496/task/20538/stat : 20538 (java) R 20494 20494 19528 0 -1 4202560 20 0 0 0 56 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321032508136 140321570460991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 11.22 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 371216 KiB
[startup+3.61063 s]
# the end of solver process 20494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.8213 s, system=0.227895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20857 s]
/proc/loadavg: 8.37 7.41 4.69 9/237 20538
/proc/meminfo: memFree=20786976/32770624 swapFree=66939824/67108860
[pid=20494] ppid=20491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20494/stat : 20494 (xcsp3-exec) S 20491 20494 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408772577 115843072 363 33554432000 4194304 5098028 140725007243360 140725007241464 140548109849212 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28942336 140725007250298 140725007250541 140725007250541 140725007253450 0
/proc/20494/statm: 28282 363 304 221 0 87 0
[pid=20496] ppid=20494 vsize=15418432 memory=369764 CPUtime=11.55 cores=1,3,5,7
/proc/20496/stat : 20496 (java) S 20494 20494 19528 0 -1 1077944320 16890 0 0 0 1137 18 0 0 20 0 19 0 408772577 15788474368 92441 33554432000 4194304 4196468 140721249385488 140721249368032 140321975729911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
/proc/20496/statm: 3854608 92441 3525 1 0 3815710 0
[pid=20496/tid=20497] ppid=20494 vsize=15418432 memory=347876 CPUtime=0.75 cores=1,3,5,7
/proc/20496/task/20497/stat : 20497 (java) S 20494 20494 19528 0 -1 1077944384 8793 0 0 0 71 4 0 0 20 0 19 0 408772577 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321979970688 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20498] ppid=20494 vsize=15418432 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20498/stat : 20498 (java) S 20494 20494 19528 0 -1 1077944384 126 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321887386768 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20499] ppid=20494 vsize=15418432 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20499/stat : 20499 (java) S 20494 20494 19528 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321886333968 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20500] ppid=20494 vsize=15418432 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/20496/task/20500/stat : 20500 (java) S 20494 20494 19528 0 -1 1077944384 141 0 0 0 5 2 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321885281168 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20501] ppid=20494 vsize=15418432 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/20496/task/20501/stat : 20501 (java) S 20494 20494 19528 0 -1 1077944384 119 0 0 0 4 1 0 0 20 0 19 0 408772578 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321884228368 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20502] ppid=20494 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20502/stat : 20502 (java) S 20494 20494 19528 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 408772579 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321051191664 140321975741058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20503] ppid=20494 vsize=15418432 memory=47 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20503/stat : 20503 (java) S 20494 20494 19528 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408772580 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321050137696 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20504] ppid=20494 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20504/stat : 20504 (java) S 20494 20494 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408772580 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321049084784 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20505] ppid=20494 vsize=15418432 memory=3 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20505/stat : 20505 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321048033104 140321975748507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20506] ppid=20494 vsize=15418432 memory=72 CPUtime=1.3 cores=1,3,5,7
/proc/20496/task/20506/stat : 20506 (java) S 20494 20494 19528 0 -1 1077944384 1769 0 0 0 130 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321046981488 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20507] ppid=20494 vsize=15418432 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/20496/task/20507/stat : 20507 (java) S 20494 20494 19528 0 -1 1077944384 1321 0 0 0 133 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321045928688 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20508] ppid=20494 vsize=15418432 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20496/task/20508/stat : 20508 (java) S 20494 20494 19528 0 -1 1077944384 2236 0 0 0 64 0 0 0 20 0 19 0 408772582 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321044875888 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20509] ppid=20494 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20509/stat : 20509 (java) S 20494 20494 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408772583 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321043823328 140321975740117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20510] ppid=20494 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20496/task/20510/stat : 20510 (java) S 20494 20494 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408772583 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321042770608 140321975741058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20535] ppid=20494 vsize=15418432 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/20496/task/20535/stat : 20535 (java) R 20494 20494 19528 0 -1 4202560 18 0 0 0 63 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321033558872 140321569952193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20536] ppid=20494 vsize=15418432 memory=140032576875392 CPUtime=0.56 cores=1,3,5,7
/proc/20496/task/20536/stat : 20536 (java) R 20494 20494 19528 0 -1 4202560 32 0 0 0 56 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321030402296 140321570482667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20537] ppid=20494 vsize=15418432 memory=140032576903648 CPUtime=0.55 cores=1,3,5,7
/proc/20496/task/20537/stat : 20537 (java) R 20494 20494 19528 0 -1 4202560 18 0 0 0 55 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321029348688 140321570461366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
[pid=20496/tid=20538] ppid=20494 vsize=15418432 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20496/task/20538/stat : 20538 (java) R 20494 20494 19528 0 -1 4202560 20 0 0 0 64 0 0 0 20 0 19 0 408772828 15788474368 92441 33554432000 4194304 4196468 140721249385488 140321032508136 140321569951449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17272832 140721249391599 140721249391770 140721249391770 140721249394639 0
Current children cumulated CPU time: 11.55 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 371216 KiB
[startup+3.60085 s]*
/proc/loadavg: 8.37 7.41 4.69 7/218 20542
/proc/meminfo: memFree=21109056/32770624 swapFree=66939824/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.61066
CPU time (s): 13.0492
CPU user time (s): 12.8213
CPU system time (s): 0.227895
CPU usage (%): 361.408
Max. virtual memory (cumulated for all children) (KiB): 15531560
Max. memory (cumulated for all children) (KiB): 394876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8213
system time used= 0.227895
maximum resident set size= 394688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2367
involuntary context switches= 603
# summary of solver processes directly reported to runsolver:
# pid: 20494
# total CPU time (s): 13.0492
# total CPU user time (s): 12.8213
# total CPU system time (s): 0.227895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04689 second user time and 0.083993 second system time
The end