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 (12497 MiB free)
memory of node 1: 16384 MiB (11781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284335-1503213442/watcher-4284335-1503213442 -o /tmp/evaluation-result-4284335-1503213442/solver-4284335-1503213442 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 394191145 HOME/instance-4284335-1503213442.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=16522, runsolver pid=16519
Current StackSize limit: 8192 KiB
[startup+0.104877 s]*
/proc/loadavg: 1.75 1.73 1.78 4/217 16538
/proc/meminfo: memFree=24844708/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13978596 memory=28284 CPUtime=0.12 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 5441 0 0 0 11 1 0 0 20 0 15 0 154431785 14314082304 7071 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3494649 7071 2863 1 0 3482966 0
[pid=16524/tid=16525] ppid=16522 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 3444 0 0 0 8 0 0 0 20 0 15 0 154431785 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827845913176 139827841699222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431786 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13978596 memory=140302271186560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13978596 memory=140302271186560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431787 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154431788 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154431788 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827313333616 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 154431790 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154431790 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13978596 memory=140302271186560 CPUtime=0.01 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) R 16522 16522 13358 0 -1 4202560 288 0 0 0 1 0 0 0 20 0 15 0 154431790 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827309123696 139827820365008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13978596 memory=140302271186560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431791 14314082304 7071 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29668 KiB
[startup+0.210625 s]*
/proc/loadavg: 1.75 1.73 1.78 3/217 16538
/proc/meminfo: memFree=24833976/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13982852 memory=40368 CPUtime=0.33 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 8136 0 0 0 31 2 0 0 20 0 15 0 154431785 14318440448 10092 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3495713 10092 3049 1 0 3482966 0
[pid=16524/tid=16525] ppid=16522 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 5252 0 0 0 18 1 0 0 20 0 15 0 154431785 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827845908280 139827825767774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13982852 memory=288370678422898304 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13982852 memory=140302271186560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431787 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154431788 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154431788 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827313333616 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 154431790 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 15 0 154431790 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13982852 memory=140302271186560 CPUtime=0.07 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 709 0 0 0 7 0 0 0 20 0 15 0 154431790 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431791 14318440448 10092 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41752 KiB
[startup+0.310523 s]*
/proc/loadavg: 1.75 1.73 1.78 5/217 16538
/proc/meminfo: memFree=24827648/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13982852 memory=47320 CPUtime=0.49 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 8975 0 0 0 46 3 0 0 20 0 15 0 154431785 14318440448 11830 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3495713 11830 3109 1 0 3482966 0
[pid=16524/tid=16525] ppid=16522 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 6003 0 0 0 27 2 0 0 20 0 15 0 154431785 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827845923536 139827825767774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431787 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154431788 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154431788 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827313333616 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 15 0 154431790 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 154431790 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13982852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) R 16522 16522 13358 0 -1 4202560 769 0 0 0 11 0 0 0 20 0 15 0 154431790 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827309123696 139827841699222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431791 14318440448 11830 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48704 KiB
[startup+0.700803 s]
/proc/loadavg: 1.75 1.73 1.78 6/217 16538
/proc/meminfo: memFree=24814344/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13984976 memory=75700 CPUtime=1.65 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 13118 0 0 0 161 4 0 0 20 0 15 0 154431785 14320615424 18925 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3496244 18925 3202 1 0 3483478 0
[pid=16524/tid=16525] ppid=16522 vsize=13984976 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 6612 0 0 0 64 2 0 0 20 0 15 0 154431785 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827845924592 139827445120916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431786 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154431786 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154431787 14320615424 18925 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827313333616 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13984976 memory=796 CPUtime=0.32 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) R 16522 16522 13358 0 -1 4202560 1749 0 0 0 32 0 0 0 20 0 15 0 154431790 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827311219008 139827826569091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13984976 memory=10088 CPUtime=0.33 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) R 16522 16522 13358 0 -1 4202560 1669 0 0 0 33 0 0 0 20 0 15 0 154431790 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827310163008 139827821349504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13984976 memory=1948 CPUtime=0.31 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 1779 0 0 0 30 1 0 0 20 0 15 0 154431790 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154431791 14320615424 19437 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77084 KiB
[startup+1.50082 s]
/proc/loadavg: 1.85 1.75 1.79 5/217 16538
/proc/meminfo: memFree=24762736/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=16524/tid=16530] ppid=16522 vsize=13984976 memory=4132 CPUtime=0.1 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 1362 0 0 0 8 2 0 0 20 0 15 0 154431787 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13984976 memory=259848 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13984976 memory=259848 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827313333632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13984976 memory=43028 CPUtime=3.68 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 35017 0 0 0 363 5 0 0 20 0 15 0 154431790 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13984976 memory=1384 CPUtime=3.49 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 19684 0 0 0 346 3 0 0 20 0 15 0 154431790 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13984976 memory=259848 CPUtime=0.57 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 8548 0 0 0 55 2 0 0 20 0 15 0 154431790 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13984976 memory=7738421563160543332 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13984976 memory=7666367254370281835 CPUtime=0.04 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 405 0 0 0 2 2 0 0 20 0 15 0 154431791 14320615424 64962 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 111.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 261232 KiB
[startup+162.301 s]
/proc/loadavg: 1.82 1.72 1.77 3/217 16694
/proc/meminfo: memFree=24291724/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13984976 memory=347060 CPUtime=172.65 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 87367 0 0 0 17220 45 0 0 20 0 15 0 154431785 14320615424 86765 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3496244 86765 3261 1 0 3483478 0
[pid=16524/tid=16525] ppid=16522 vsize=13984976 memory=347060 CPUtime=161.09 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 13090 0 0 0 16103 6 0 0 20 0 15 0 154431785 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827845926880 139827446067365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13984976 memory=345012 CPUtime=0.86 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1280 0 0 0 81 5 0 0 20 0 15 0 154431786 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13984976 memory=332524 CPUtime=0.88 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 1484 0 0 0 82 6 0 0 20 0 15 0 154431786 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13984976 memory=347060 CPUtime=0.88 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 1479 0 0 0 83 5 0 0 20 0 15 0 154431786 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13984976 memory=1384 CPUtime=0.87 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 1985 0 0 0 81 6 0 0 20 0 15 0 154431786 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13984976 memory=1720 CPUtime=0.18 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 1623 0 0 0 15 3 0 0 20 0 15 0 154431787 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827313333632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13984976 memory=3472339497435934762 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13984976 memory=1384 CPUtime=3.68 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 35726 0 0 0 363 5 0 0 20 0 15 0 154431790 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13984976 memory=336740 CPUtime=3.5 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 19931 0 0 0 347 3 0 0 20 0 15 0 154431790 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13984976 memory=4132 CPUtime=0.57 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 8977 0 0 0 55 2 0 0 20 0 15 0 154431790 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13984976 memory=2332 CPUtime=0.08 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 437 0 0 0 4 4 0 0 20 0 15 0 154431791 14320615424 86765 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 172.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 348444 KiB
[startup+222.301 s]
/proc/loadavg: 1.68 1.71 1.76 3/217 16695
/proc/meminfo: memFree=23702612/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13984976 memory=422852 CPUtime=233.94 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 90759 0 0 0 23337 57 0 0 20 0 15 0 154431785 14320615424 105713 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3496244 105713 3261 1 0 3483478 0
[pid=16524/tid=16525] ppid=16522 vsize=13984976 memory=416708 CPUtime=220.54 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 13974 0 0 0 22048 6 0 0 20 0 15 0 154431785 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827845926976 139827445656714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13984976 memory=420804 CPUtime=1.29 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1657 0 0 0 121 8 0 0 20 0 15 0 154431786 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13984976 memory=1384 CPUtime=1.3 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 1685 0 0 0 121 9 0 0 20 0 15 0 154431786 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13984976 memory=422852 CPUtime=1.3 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 1995 0 0 0 123 7 0 0 20 0 15 0 154431786 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13984976 memory=422852 CPUtime=1.29 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2198 0 0 0 121 8 0 0 20 0 15 0 154431786 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13984976 memory=1384 CPUtime=0.25 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 1910 0 0 0 22 3 0 0 20 0 15 0 154431787 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13984976 memory=418756 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827313333632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13984976 memory=410564 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13984976 memory=1384 CPUtime=3.69 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 36505 0 0 0 364 5 0 0 20 0 15 0 154431790 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13984976 memory=416708 CPUtime=3.51 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 20040 0 0 0 348 3 0 0 20 0 15 0 154431790 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13984976 memory=4132 CPUtime=0.57 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 8980 0 0 0 55 2 0 0 20 0 15 0 154431790 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13984976 memory=4132 CPUtime=0.1 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 460 0 0 0 5 5 0 0 20 0 15 0 154431791 14320615424 105713 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 233.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 424236 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.75 1.72 1.77 3/217 16695
/proc/meminfo: memFree=23351084/32770624 swapFree=67108860/67108860
[pid=16522] ppid=16519 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16522/stat : 16522 (xcsp3-exec) S 16519 16522 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154431784 9740288 346 33554432000 4194304 5098028 140735596368768 140735596366872 140098848948860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16453632 140735596373109 140735596373312 140735596373312 140735596376043 0
/proc/16522/statm: 2378 346 289 221 0 87 0
[pid=16524] ppid=16522 vsize=13984976 memory=457652 CPUtime=252.07 cores=0,2,4,6
/proc/16524/stat : 16524 (java) S 16522 16522 13358 0 -1 1077944320 94375 0 0 0 25145 62 0 0 20 0 15 0 154431785 14320615424 114413 33554432000 4194304 4196468 140720625442064 140720625424608 139827841687287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
/proc/16524/statm: 3496244 114413 3261 1 0 3483478 0
[pid=16524/tid=16525] ppid=16522 vsize=13984976 memory=6791534058613427641 CPUtime=238.09 cores=0,2,4,6
/proc/16524/task/16525/stat : 16525 (java) R 16522 16522 13358 0 -1 4202560 15088 0 0 0 23803 6 0 0 20 0 15 0 154431785 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827845926608 139827446541928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16526] ppid=16522 vsize=13984976 memory=4040 CPUtime=1.41 cores=0,2,4,6
/proc/16524/task/16526/stat : 16526 (java) S 16522 16522 13358 0 -1 1077944384 1711 0 0 0 132 9 0 0 20 0 15 0 154431786 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827771775632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16527] ppid=16522 vsize=13984976 memory=24496 CPUtime=1.42 cores=0,2,4,6
/proc/16524/task/16527/stat : 16527 (java) S 16522 16522 13358 0 -1 1077944384 1747 0 0 0 132 10 0 0 20 0 15 0 154431786 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827770722832 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16528] ppid=16522 vsize=13984976 memory=18292 CPUtime=1.42 cores=0,2,4,6
/proc/16524/task/16528/stat : 16528 (java) S 16522 16522 13358 0 -1 1077944384 2047 0 0 0 134 8 0 0 20 0 15 0 154431786 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827769670032 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16529] ppid=16522 vsize=13984976 memory=4872558044660077418 CPUtime=1.41 cores=0,2,4,6
/proc/16524/task/16529/stat : 16529 (java) S 16522 16522 13358 0 -1 1077944384 2262 0 0 0 132 9 0 0 20 0 15 0 154431786 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827768617232 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16530] ppid=16522 vsize=13984976 memory=1384 CPUtime=0.28 cores=0,2,4,6
/proc/16524/task/16530/stat : 16530 (java) S 16522 16522 13358 0 -1 1077944384 1919 0 0 0 24 4 0 0 20 0 15 0 154431787 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827315440496 139827841698434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16531] ppid=16522 vsize=13984976 memory=457632 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16531/stat : 16531 (java) S 16522 16522 13358 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827314386464 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16532] ppid=16522 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16532/stat : 16532 (java) S 16522 16522 13358 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154431788 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827313333632 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16533] ppid=16522 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16533/stat : 16533 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827312281936 139827841705883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16534] ppid=16522 vsize=13984976 memory=1236 CPUtime=3.71 cores=0,2,4,6
/proc/16524/task/16534/stat : 16534 (java) S 16522 16522 13358 0 -1 1077944384 36885 0 0 0 366 5 0 0 20 0 15 0 154431790 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827311229296 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16535] ppid=16522 vsize=13984976 memory=960 CPUtime=3.55 cores=0,2,4,6
/proc/16524/task/16535/stat : 16535 (java) S 16522 16522 13358 0 -1 1077944384 21007 0 0 0 352 3 0 0 20 0 15 0 154431790 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827310176496 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16536] ppid=16522 vsize=13984976 memory=2424 CPUtime=0.58 cores=0,2,4,6
/proc/16524/task/16536/stat : 16536 (java) S 16522 16522 13358 0 -1 1077944384 9894 0 0 0 56 2 0 0 20 0 15 0 154431790 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827309123696 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16537] ppid=16522 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/16524/task/16537/stat : 16537 (java) S 16522 16522 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154431790 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827308071136 139827841697493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
[pid=16524/tid=16538] ppid=16522 vsize=13984976 memory=457656 CPUtime=0.12 cores=0,2,4,6
/proc/16524/task/16538/stat : 16538 (java) S 16522 16522 13358 0 -1 1077944384 460 0 0 0 6 6 0 0 20 0 15 0 154431791 14320615424 114413 33554432000 4194304 4196468 140720625442064 139827307019440 139827841698434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28012544 140720625443997 140720625444172 140720625444172 140720625446863 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 459036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.026 s]
# the end of solver process 16522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.467 s, system=0.633643 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.026
CPU time (s): 252.101
CPU user time (s): 251.467
CPU system time (s): 0.633643
CPU usage (%): 105.031
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 461064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.467
system time used= 0.633643
maximum resident set size= 460700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14605
involuntary context switches= 598
# summary of solver processes directly reported to runsolver:
# pid: 16522
# total CPU time (s): 252.101
# total CPU user time (s): 251.467
# total CPU system time (s): 0.633643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.354 second user time and 2.51799 second system time
The end