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 (7536 MiB free)
memory of node 1: 16384 MiB (13630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393071-1568317751/watcher-4393071-1568317751 -o /tmp/evaluation-result-4393071-1568317751/solver-4393071-1568317751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 988547480 HOME/instance-4393071-1568317751.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17448, runsolver pid=17445
[startup+0.101533 s]*
/proc/loadavg: 7.93 8.20 8.13 6/233 17464
/proc/meminfo: memFree=21657832/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15144768 memory=29020 CPUtime=0.13 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 407717205 15508242432 7255 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3786192 7255 3159 1 0 3748377 0
[pid=17450/tid=17451] ppid=17448 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) R 17448 17448 11591 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 15 0 407717206 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758933356432 139758913168741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758397818992 139758929136258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758396764960 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758395712624 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) R 17448 17448 11591 0 -1 4202560 413 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758393608816 139758909825408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) R 17448 17448 11591 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758392556016 139758929136258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0.02 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) R 17448 17448 11591 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758391503728 139758922221947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) R 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 7255 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30472 KiB
[startup+0.211731 s]*
/proc/loadavg: 7.93 8.20 8.13 7/233 17464
/proc/meminfo: memFree=21644840/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15144768 memory=40668 CPUtime=0.34 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 9448 0 0 0 31 3 0 0 20 0 15 0 407717205 15508242432 10167 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3786192 10167 3258 1 0 3748377 0
[pid=17450/tid=17451] ppid=17448 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) R 17448 17448 11591 0 -1 4202560 6627 0 0 0 17 3 0 0 20 0 15 0 407717206 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758933360912 139758929137046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15144768 memory=3689210264217999008 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) S 17448 17448 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758397818992 139758929136258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758396764960 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407717208 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758395712624 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758393608816 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758392556016 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15144768 memory=139634544498304 CPUtime=0.08 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) R 17448 17448 11591 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758391503728 139758913205598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717211 15508242432 10167 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42120 KiB
[startup+0.31076 s]*
/proc/loadavg: 7.93 8.20 8.13 7/233 17464
/proc/meminfo: memFree=21637444/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15149024 memory=50404 CPUtime=0.54 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 10909 0 0 0 50 4 0 0 20 0 15 0 407717205 15512600576 12601 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3787256 12601 3373 1 0 3748377 0
[pid=17450/tid=17451] ppid=17448 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) R 17448 17448 11591 0 -1 4202560 7834 0 0 0 27 3 0 0 20 0 15 0 407717206 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758933356224 139758913205598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) S 17448 17448 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758397818992 139758929136258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758396764960 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758395712624 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 563 0 0 0 4 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758393608816 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 334 0 0 0 5 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758392556016 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758391503728 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 12601 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51856 KiB
[startup+0.705343 s]
/proc/loadavg: 7.93 8.20 8.13 8/233 17464
/proc/meminfo: memFree=21600756/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15149024 memory=195816 CPUtime=1.44 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 13542 0 0 0 134 10 0 0 20 0 15 0 407717205 15512600576 48954 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3787256 48954 3400 1 0 3748377 0
[pid=17450/tid=17451] ppid=17448 vsize=15149024 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) S 17448 17448 11591 0 -1 1077944384 8000 0 0 0 62 5 0 0 20 0 15 0 407717206 15512600576 48954 33554432000 4194304 4196468 140735682559616 139758933364208 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15149024 memory=37980 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) R 17448 17448 11591 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 48954 33554432000 4194304 4196468 140735682559616 139758521019480 139758922224958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15149024 memory=992 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) R 17448 17448 11591 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758519966480 139758922221947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15149024 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) R 17448 17448 11591 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758518914192 139758922224958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15149024 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) R 17448 17448 11591 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 407717206 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758517861392 139758922221947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15149024 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) S 17448 17448 11591 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758397817504 139758929135317 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15149024 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758396764960 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15149024 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407717208 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758395712624 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15149024 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15149024 memory=944 CPUtime=0.25 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 1522 0 0 0 25 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758393608816 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15149024 memory=4004 CPUtime=0.25 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 1298 0 0 0 25 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758392556016 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15149024 memory=780 CPUtime=0.19 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 1347 0 0 0 19 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758391503728 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15149024 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15149024 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407717211 15512600576 49466 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 197268 KiB
[startup+1.50132 s]
/proc/loadavg: 7.93 8.20 8.13 6/233 17464
/proc/meminfo: memFree=21388572/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 113910 0 0 0 25978 363 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15151148 memory=12819436 CPUtime=263.25 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 181812 0 0 0 25964 361 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15151148 memory=1452 CPUtime=263.93 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 269736 0 0 0 26045 348 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15151148 memory=12819436 CPUtime=51.9 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) R 17448 17448 11591 0 -1 4202560 70889 0 0 0 5186 4 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758397817536 139758913825786 0 0 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758396765024 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758395712640 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15151148 memory=752 CPUtime=2.15 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 8252 0 0 0 213 2 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758393608576 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15151148 memory=1056 CPUtime=1.88 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 6095 0 0 0 187 1 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758392556064 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15151148 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 5036 0 0 0 61 1 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758391503776 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15151148 memory=12819440 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15151148 memory=1228 CPUtime=0.24 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 418 0 0 0 12 12 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 1181.48 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12820892 KiB
[startup+389.601 s]
/proc/loadavg: 6.66 6.82 7.49 6/229 17581
/proc/meminfo: memFree=200824/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15151148 memory=12819440 CPUtime=1182.28 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 901869 0 0 0 116756 1472 0 0 20 0 15 0 407717205 15514775552 3204860 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3787787 3204860 3511 1 0 3748889 0
[pid=17450/tid=17451] ppid=17448 vsize=15151148 memory=288230617509003574 CPUtime=71.15 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) S 17448 17448 11591 0 -1 1077944384 26128 0 0 0 7095 20 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758933364384 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15151148 memory=14135532779211192 CPUtime=262.85 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 218239 0 0 0 25920 365 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15151148 memory=6791534058613427641 CPUtime=263.41 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 113910 0 0 0 25978 363 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15151148 memory=992 CPUtime=263.25 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 181812 0 0 0 25964 361 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15151148 memory=2044 CPUtime=263.93 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 269736 0 0 0 26045 348 0 0 20 0 15 0 407717206 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15151148 memory=1324 CPUtime=52.7 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) R 17448 17448 11591 0 -1 4202560 70889 0 0 0 5266 4 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758397817536 139758913582702 0 0 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758396765024 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15151148 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758395712640 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15151148 memory=1552 CPUtime=2.15 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 8252 0 0 0 213 2 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758393608576 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15151148 memory=12819436 CPUtime=1.88 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 6095 0 0 0 187 1 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758392556064 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15151148 memory=12819436 CPUtime=0.62 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 5036 0 0 0 61 1 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758391503776 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15151148 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15151148 memory=1452 CPUtime=0.24 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 418 0 0 0 12 12 0 0 20 0 15 0 407717211 15514775552 3204860 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 1182.28 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12820892 KiB
[startup+390.401 s]
/proc/loadavg: 6.66 6.82 7.49 6/229 17581
/proc/meminfo: memFree=200824/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15151148 memory=12819444 CPUtime=1183.08 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 901955 0 0 0 116836 1472 0 0 20 0 15 0 407717205 15514775552 3204861 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3787787 3204861 3511 1 0 3748889 0
[pid=17450/tid=17451] ppid=17448 vsize=15151148 memory=1452 CPUtime=71.15 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) S 17448 17448 11591 0 -1 1077944384 26128 0 0 0 7095 20 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758933364384 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15151148 memory=3612 CPUtime=262.85 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 218239 0 0 0 25920 365 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15151148 memory=37996 CPUtime=263.41 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 113910 0 0 0 25978 363 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15151148 memory=992 CPUtime=263.25 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 181812 0 0 0 25964 361 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15151148 memory=1324 CPUtime=263.93 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 269736 0 0 0 26045 348 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15151148 memory=11624 CPUtime=53.5 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) R 17448 17448 11591 0 -1 4202560 70975 0 0 0 5346 4 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758397817536 139758914121492 0 0 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15151148 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758396765024 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758395712640 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15151148 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15151148 memory=812 CPUtime=2.15 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 8252 0 0 0 213 2 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758393608576 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15151148 memory=12819440 CPUtime=1.88 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 6095 0 0 0 187 1 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758392556064 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15151148 memory=6791534058613427641 CPUtime=0.62 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 5036 0 0 0 61 1 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758391503776 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15151148 memory=12819436 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15151148 memory=1324 CPUtime=0.24 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 418 0 0 0 12 12 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 1183.08 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12820896 KiB
[startup+390.601 s]
/proc/loadavg: 6.66 6.82 7.49 6/229 17581
/proc/meminfo: memFree=200824/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
[pid=17450] ppid=17448 vsize=15151148 memory=12819444 CPUtime=1183.28 cores=1,3,5,7
/proc/17450/stat : 17450 (java) S 17448 17448 11591 0 -1 1077944320 901955 0 0 0 116856 1472 0 0 20 0 15 0 407717205 15514775552 3204861 33554432000 4194304 4196468 140735682559616 140735682542160 139758929125111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
/proc/17450/statm: 3787787 3204861 3511 1 0 3748889 0
[pid=17450/tid=17451] ppid=17448 vsize=15151148 memory=1228 CPUtime=71.15 cores=1,3,5,7
/proc/17450/task/17451/stat : 17451 (java) S 17448 17448 11591 0 -1 1077944384 26128 0 0 0 7095 20 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758933364384 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17452] ppid=17448 vsize=15151148 memory=1452 CPUtime=262.85 cores=1,3,5,7
/proc/17450/task/17452/stat : 17452 (java) S 17448 17448 11591 0 -1 1077944384 218239 0 0 0 25920 365 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758521019280 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17453] ppid=17448 vsize=15151148 memory=12819440 CPUtime=263.41 cores=1,3,5,7
/proc/17450/task/17453/stat : 17453 (java) S 17448 17448 11591 0 -1 1077944384 113910 0 0 0 25978 363 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758519966480 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17454] ppid=17448 vsize=15151148 memory=37996 CPUtime=263.25 cores=1,3,5,7
/proc/17450/task/17454/stat : 17454 (java) S 17448 17448 11591 0 -1 1077944384 181812 0 0 0 25964 361 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758518914192 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17455] ppid=17448 vsize=15151148 memory=6791534058613427641 CPUtime=263.93 cores=1,3,5,7
/proc/17450/task/17455/stat : 17455 (java) S 17448 17448 11591 0 -1 1077944384 269736 0 0 0 26045 348 0 0 20 0 15 0 407717206 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758517861392 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17456] ppid=17448 vsize=15151148 memory=37996 CPUtime=53.7 cores=1,3,5,7
/proc/17450/task/17456/stat : 17456 (java) R 17448 17448 11591 0 -1 4202560 70975 0 0 0 5366 4 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758397817536 139758914121604 0 0 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17457] ppid=17448 vsize=15151148 memory=992 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17457/stat : 17457 (java) S 17448 17448 11591 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758396765024 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17458] ppid=17448 vsize=15151148 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17458/stat : 17458 (java) S 17448 17448 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 407717208 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758395712640 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17459] ppid=17448 vsize=15151148 memory=12819436 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17459/stat : 17459 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758394660944 139758929143707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17460] ppid=17448 vsize=15151148 memory=1452 CPUtime=2.15 cores=1,3,5,7
/proc/17450/task/17460/stat : 17460 (java) S 17448 17448 11591 0 -1 1077944384 8252 0 0 0 213 2 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758393608576 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17461] ppid=17448 vsize=15151148 memory=12819440 CPUtime=1.88 cores=1,3,5,7
/proc/17450/task/17461/stat : 17461 (java) S 17448 17448 11591 0 -1 1077944384 6095 0 0 0 187 1 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758392556064 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17462] ppid=17448 vsize=15151148 memory=3612 CPUtime=0.62 cores=1,3,5,7
/proc/17450/task/17462/stat : 17462 (java) S 17448 17448 11591 0 -1 1077944384 5036 0 0 0 61 1 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758391503776 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17463] ppid=17448 vsize=15151148 memory=37996 CPUtime=0 cores=1,3,5,7
/proc/17450/task/17463/stat : 17463 (java) S 17448 17448 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758390451168 139758929135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
[pid=17450/tid=17464] ppid=17448 vsize=15151148 memory=992 CPUtime=0.24 cores=1,3,5,7
/proc/17450/task/17464/stat : 17464 (java) S 17448 17448 11591 0 -1 1077944384 418 0 0 0 12 12 0 0 20 0 15 0 407717211 15514775552 3204861 33554432000 4194304 4196468 140735682559616 139758389397936 139758929136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22708224 140735682565103 140735682565274 140735682565274 140735682568143 0
Current children cumulated CPU time: 1183.28 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12820896 KiB
[startup+390.701 s]
/proc/loadavg: 6.66 6.82 7.49 6/229 17581
/proc/meminfo: memFree=200824/32770624 swapFree=66952812/67108860
[pid=17448] ppid=17445 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17448/stat : 17448 (xcsp3-exec) S 17445 17448 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407717205 115843072 363 33554432000 4194304 5098028 140736649766640 140736649764744 140306760110716 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21856256 140736649769851 140736649770093 140736649770093 140736649773002 0
/proc/17448/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 390.772
CPU time (s): 1183.45
CPU user time (s): 1168.65
CPU system time (s): 14.7982
CPU usage (%): 302.85
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12820896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1168.65
system time used= 14.7982
maximum resident set size= 12819712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902692
page faults= 0
swaps= 0
block input operations= 8
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15803
involuntary context switches= 19933
# summary of solver processes directly reported to runsolver:
# pid: 17448
# total CPU time (s): 1183.45
# total CPU user time (s): 1168.65
# total CPU system time (s): 14.7982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49959 second user time and 4.23459 second system time
The end