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 (14516 MiB free)
memory of node 1: 16384 MiB (13613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399362-1568699133/watcher-4399362-1568699133 -o /tmp/evaluation-result-4399362-1568699133/solver-4399362-1568699133 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32468 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 700670037 HOME/instance-4399362-1568699133.xml
running on 4 cores: 0,2,4,6
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=8441, runsolver pid=8438
[startup+0.102903 s]*
/proc/loadavg: 8.33 8.41 8.32 6/234 8457
/proc/meminfo: memFree=28788220/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15144776 memory=29628 CPUtime=0.13 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 5854 0 0 0 12 1 0 0 20 0 15 0 445828180 15508250624 7407 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3786194 7407 3151 1 0 3748377 0
[pid=8443/tid=8444] ppid=8441 vsize=15144776 memory=7031125463459224206 CPUtime=0.1 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) S 8441 8441 32437 0 -1 1077944384 3742 0 0 0 9 1 0 0 20 0 15 0 445828181 15508250624 7407 33554432000 4194304 4196468 140721886368240 139870530931056 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 7407 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 7407 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 7407 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 7407 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828183 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445828183 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869994222496 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445828184 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869993169904 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) R 8441 8441 32437 0 -1 4202560 418 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869991066096 139870510201720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) R 8441 8441 32437 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0.02 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) R 8441 8441 32437 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869988961008 139870526713238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 7407 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB
[startup+0.210871 s]*
/proc/loadavg: 8.33 8.41 8.32 7/234 8457
/proc/meminfo: memFree=28775604/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15144776 memory=41072 CPUtime=0.34 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 9477 0 0 0 30 4 0 0 20 0 15 0 445828180 15508250624 10268 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3786194 10268 3318 1 0 3748377 0
[pid=8443/tid=8444] ppid=8441 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) R 8441 8441 32437 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 445828181 15508250624 10268 33554432000 4194304 4196468 140721886368240 139870530939120 139870526722650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 10268 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15144776 memory=139907653627645 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 10268 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 10268 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15508250624 10268 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445828183 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445828183 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869994222496 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15144776 memory=139907653600896 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445828184 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869993169904 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) S 8441 8441 32437 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869991066096 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) S 8441 8441 32437 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) R 8441 8441 32437 0 -1 4202560 707 0 0 0 8 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869988961008 139870506109652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828186 15508250624 10268 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42524 KiB
[startup+0.311982 s]*
/proc/loadavg: 8.33 8.41 8.32 8/234 8457
/proc/meminfo: memFree=28768556/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15149032 memory=50208 CPUtime=0.53 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 10866 0 0 0 48 5 0 0 20 0 15 0 445828180 15512608768 12552 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3787258 12552 3367 1 0 3748377 0
[pid=8443/tid=8444] ppid=8441 vsize=15149032 memory=7100839887217527144 CPUtime=0.3 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) R 8441 8441 32437 0 -1 4202560 7826 0 0 0 27 3 0 0 20 0 15 0 445828181 15512608768 12617 33554432000 4194304 4196468 140721886368240 139870530932416 139870510781790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15149032 memory=4294967331 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15512608768 12617 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15149032 memory=139907653654304 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15512608768 12617 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15149032 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15512608768 12617 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15149032 memory=35 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15512608768 12617 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15149032 memory=139907653661216 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445828183 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15149032 memory=35 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445828183 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869994222496 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445828184 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869993169904 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) R 8441 8441 32437 0 -1 4202560 594 0 0 0 4 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869991047112 139870511629642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15149032 memory=139907553147823 CPUtime=0.04 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) S 8441 8441 32437 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15149032 memory=139907653609203 CPUtime=0.12 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) S 8441 8441 32437 0 -1 1077944384 790 0 0 0 12 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869988961008 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15149032 memory=139907553157039 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15149032 memory=279815206760320 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828186 15512608768 12617 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51660 KiB
[startup+0.700764 s]
/proc/loadavg: 8.33 8.41 8.32 9/234 8457
/proc/meminfo: memFree=28745780/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15151156 memory=161368 CPUtime=1.51 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 13979 0 0 0 144 7 0 0 20 0 15 0 445828180 15514783744 40342 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3787789 40342 3441 1 0 3748889 0
[pid=8443/tid=8444] ppid=8441 vsize=15151156 memory=148 CPUtime=0.67 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) R 8441 8441 32437 0 -1 4202560 8921 0 0 0 63 4 0 0 20 0 15 0 445828181 15514783744 40342 33554432000 4194304 4196468 140721886368240 139870530929440 139870510781790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15514783744 40342 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15514783744 40342 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828181 15514783744 40342 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445828181 15514783744 40342 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445828183 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15151156 memory=132 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445828183 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869994222496 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15151156 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445828184 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869993169904 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15151156 memory=14698517092372542 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15151156 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) R 8441 8441 32437 0 -1 4202560 1245 0 0 0 26 0 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869991056928 139870510694151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15151156 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) R 8441 8441 32437 0 -1 4202560 1052 0 0 0 23 0 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869990002352 139870506544911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15151156 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) R 8441 8441 32437 0 -1 1077944384 1453 0 0 0 30 1 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869988961008 139870526712450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445828186 15514783744 40342 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 162820 KiB
[startup+1.50407 s]
/proc/loadavg: 8.33 8.41 8.32 10/234 8457
/proc/meminfo: memFree=28543344/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 284964 0 0 0 231391 96 0 0 20 0 19 0 445828180 15926902784 256255 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3888404 256255 3547 1 0 3849504 0
[pid=8443/tid=8444] ppid=8441 vsize=15553616 memory=1033228 CPUtime=1.12 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) S 8441 8441 32437 0 -1 1077944384 12664 0 0 0 105 7 0 0 20 0 19 0 445828181 15926902784 256255 33554432000 4194304 4196468 140721886368240 139870530942080 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15553616 memory=1033228 CPUtime=0.67 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 9958 0 0 0 56 11 0 0 20 0 19 0 445828181 15926902784 256255 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15553616 memory=1033228 CPUtime=0.74 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 8732 0 0 0 61 13 0 0 20 0 19 0 445828181 15926902784 256255 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.68 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 10475 0 0 0 57 11 0 0 20 0 19 0 445828181 15926902784 256255 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 10746 0 0 0 60 11 0 0 20 0 19 0 445828181 15926902784 256255 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.23 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 12608 0 0 0 21 2 0 0 20 0 19 0 445828183 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15553616 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445828183 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869994222560 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15553616 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 445828184 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869993169920 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15553616 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15553616 memory=1452 CPUtime=4.25 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) S 8441 8441 32437 0 -1 1077944384 33850 0 0 0 422 3 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869991066096 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15553616 memory=1033228 CPUtime=4.48 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) S 8441 8441 32437 0 -1 1077944384 25241 0 0 0 446 2 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15553616 memory=2372 CPUtime=0.93 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) S 8441 8441 32437 0 -1 1077944384 22047 0 0 0 90 3 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869988961008 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15553616 memory=48136 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15553616 memory=988 CPUtime=0.23 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) R 8441 8441 32437 0 -1 1077944384 2882 0 0 0 0 23 0 0 20 0 19 0 445828186 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8812] ppid=8441 vsize=15553616 memory=1452 CPUtime=66.68 cores=0,2,4,6
/proc/8443/task/8812/stat : 8812 (java) R 8441 8441 32437 0 -1 4202560 1509 0 0 0 6668 0 0 0 20 0 19 0 445879698 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869977637648 139870130463403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8813] ppid=8441 vsize=15553616 memory=1033228 CPUtime=66.68 cores=0,2,4,6
/proc/8443/task/8813/stat : 8813 (java) R 8441 8441 32437 0 -1 4202560 3448 0 0 0 6668 0 0 0 20 0 19 0 445879698 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869973425976 139870129027205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8814] ppid=8441 vsize=15553616 memory=1452 CPUtime=66.94 cores=0,2,4,6
/proc/8443/task/8814/stat : 8814 (java) R 8441 8441 32437 0 -1 4202560 3410 0 0 0 6694 0 0 0 20 0 19 0 445879698 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869974478704 139870129027205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8815] ppid=8441 vsize=15553616 memory=1436 CPUtime=66.69 cores=0,2,4,6
/proc/8443/task/8815/stat : 8815 (java) R 8441 8441 32437 0 -1 4202560 2090 0 0 0 6669 0 0 0 20 0 19 0 445879698 15926902784 256255 33554432000 4194304 4196468 140721886368240 139869975531528 139870130465269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 2314.87 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 1026472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.901 s]
/proc/loadavg: 8.02 8.33 8.35 9/237 8823
/proc/meminfo: memFree=24084552/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15553616 memory=998936 CPUtime=2520.28 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 288187 0 0 0 251932 96 0 0 20 0 19 0 445828180 15926902784 249734 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3888404 249734 3547 1 0 3849504 0
[pid=8443/tid=8444] ppid=8441 vsize=15553616 memory=998936 CPUtime=1.12 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) S 8441 8441 32437 0 -1 1077944384 12664 0 0 0 105 7 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870530942080 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.7 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 10100 0 0 0 59 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.77 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 8987 0 0 0 64 13 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 10647 0 0 0 60 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.74 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 11342 0 0 0 63 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.23 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 12897 0 0 0 21 2 0 0 20 0 19 0 445828183 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15553616 memory=139907553196817 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445828183 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869994222560 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15553616 memory=7158278456186463316 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 445828184 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869993169920 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15553616 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15553616 memory=48136 CPUtime=4.25 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) S 8441 8441 32437 0 -1 1077944384 33858 0 0 0 422 3 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869991066096 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15553616 memory=1452 CPUtime=4.48 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) S 8441 8441 32437 0 -1 1077944384 25243 0 0 0 446 2 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) S 8441 8441 32437 0 -1 1077944384 22052 0 0 0 90 3 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869988961008 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15553616 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15553616 memory=48136 CPUtime=0.24 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 2908 0 0 0 0 24 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8812] ppid=8441 vsize=15553616 memory=3264 CPUtime=117.96 cores=0,2,4,6
/proc/8443/task/8812/stat : 8812 (java) R 8441 8441 32437 0 -1 4202560 2040 0 0 0 11796 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869977635072 139870130520314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8813] ppid=8441 vsize=15553616 memory=1452 CPUtime=117.97 cores=0,2,4,6
/proc/8443/task/8813/stat : 8813 (java) R 8441 8441 32437 0 -1 4202560 3698 0 0 0 11797 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869973425976 139870129028624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8814] ppid=8441 vsize=15553616 memory=1452 CPUtime=118.23 cores=0,2,4,6
/proc/8443/task/8814/stat : 8814 (java) R 8441 8441 32437 0 -1 4202560 3872 0 0 0 11823 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869974481040 139870129027205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8815] ppid=8441 vsize=15553616 memory=998936 CPUtime=118.11 cores=0,2,4,6
/proc/8443/task/8815/stat : 8815 (java) R 8441 8441 32437 0 -1 4202560 2575 0 0 0 11811 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869975531496 139870130520275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 1000388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.931 s]
# the end of solver process 8441 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002563 s, system=0 s
[startup+634 s]
# the end of solver process 8443 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.64 s, system=0.97503 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.901 s]
/proc/loadavg: 8.02 8.33 8.35 9/237 8823
/proc/meminfo: memFree=24084552/32770624 swapFree=66939908/67108860
[pid=8441] ppid=8438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8441/stat : 8441 (xcsp3-exec) S 8438 8441 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445828180 115843072 363 33554432000 4194304 5098028 140736629382176 140736629380280 139741329994364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35954688 140736629388155 140736629388397 140736629388397 140736629391306 0
/proc/8441/statm: 28282 363 304 221 0 87 0
[pid=8443] ppid=8441 vsize=15553616 memory=998936 CPUtime=2520.28 cores=0,2,4,6
/proc/8443/stat : 8443 (java) S 8441 8441 32437 0 -1 1077944320 288187 0 0 0 251932 96 0 0 20 0 19 0 445828180 15926902784 249734 33554432000 4194304 4196468 140721886368240 140721886350784 139870526701303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
/proc/8443/statm: 3888404 249734 3547 1 0 3849504 0
[pid=8443/tid=8444] ppid=8441 vsize=15553616 memory=998936 CPUtime=1.12 cores=0,2,4,6
/proc/8443/task/8444/stat : 8444 (java) S 8441 8441 32437 0 -1 1077944384 12664 0 0 0 105 7 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870530942080 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8445] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.7 cores=0,2,4,6
/proc/8443/task/8445/stat : 8445 (java) S 8441 8441 32437 0 -1 1077944384 10100 0 0 0 59 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870454741776 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8446] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.77 cores=0,2,4,6
/proc/8443/task/8446/stat : 8446 (java) S 8441 8441 32437 0 -1 1077944384 8987 0 0 0 64 13 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870453689232 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8447] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/8443/task/8447/stat : 8447 (java) S 8441 8441 32437 0 -1 1077944384 10647 0 0 0 60 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870452636688 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8448] ppid=8441 vsize=15553616 memory=998936 CPUtime=0.74 cores=0,2,4,6
/proc/8443/task/8448/stat : 8448 (java) S 8441 8441 32437 0 -1 1077944384 11342 0 0 0 63 11 0 0 20 0 19 0 445828181 15926902784 249734 33554432000 4194304 4196468 140721886368240 139870451584144 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8449] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.23 cores=0,2,4,6
/proc/8443/task/8449/stat : 8449 (java) S 8441 8441 32437 0 -1 1077944384 12897 0 0 0 21 2 0 0 20 0 19 0 445828183 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869995276272 139870526712450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8450] ppid=8441 vsize=15553616 memory=139907553196817 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8450/stat : 8450 (java) S 8441 8441 32437 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445828183 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869994222560 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8451] ppid=8441 vsize=15553616 memory=7158278456186463316 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8451/stat : 8451 (java) S 8441 8441 32437 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 445828184 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869993169920 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8452] ppid=8441 vsize=15553616 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8452/stat : 8452 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869992118480 139870526719899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8453] ppid=8441 vsize=15553616 memory=48136 CPUtime=4.25 cores=0,2,4,6
/proc/8443/task/8453/stat : 8453 (java) S 8441 8441 32437 0 -1 1077944384 33858 0 0 0 422 3 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869991066096 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8454] ppid=8441 vsize=15553616 memory=1452 CPUtime=4.48 cores=0,2,4,6
/proc/8443/task/8454/stat : 8454 (java) S 8441 8441 32437 0 -1 1077944384 25243 0 0 0 446 2 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869990013552 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8455] ppid=8441 vsize=15553616 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/8443/task/8455/stat : 8455 (java) S 8441 8441 32437 0 -1 1077944384 22052 0 0 0 90 3 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869988961008 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8456] ppid=8441 vsize=15553616 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/8443/task/8456/stat : 8456 (java) S 8441 8441 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869987908704 139870526711509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8457] ppid=8441 vsize=15553616 memory=48136 CPUtime=0.24 cores=0,2,4,6
/proc/8443/task/8457/stat : 8457 (java) S 8441 8441 32437 0 -1 1077944384 2908 0 0 0 0 24 0 0 20 0 19 0 445828186 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869986855216 139870526712450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8812] ppid=8441 vsize=15553616 memory=3264 CPUtime=117.96 cores=0,2,4,6
/proc/8443/task/8812/stat : 8812 (java) R 8441 8441 32437 0 -1 4202560 2040 0 0 0 11796 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869977635072 139870130520314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8813] ppid=8441 vsize=15553616 memory=1452 CPUtime=117.97 cores=0,2,4,6
/proc/8443/task/8813/stat : 8813 (java) R 8441 8441 32437 0 -1 4202560 3698 0 0 0 11797 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869973425976 139870129028624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8814] ppid=8441 vsize=15553616 memory=1452 CPUtime=118.23 cores=0,2,4,6
/proc/8443/task/8814/stat : 8814 (java) R 8441 8441 32437 0 -1 4202560 3872 0 0 0 11823 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869974481040 139870129027205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
[pid=8443/tid=8815] ppid=8441 vsize=15553616 memory=998936 CPUtime=118.11 cores=0,2,4,6
/proc/8443/task/8815/stat : 8815 (java) R 8441 8441 32437 0 -1 4202560 2575 0 0 0 11811 0 0 0 20 0 19 0 445879698 15926902784 249734 33554432000 4194304 4196468 140721886368240 139869975531496 139870130520275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33701888 140721886376943 140721886377114 140721886377114 140721886379983 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 1000388 KiB
Child status: 143
Real time (s): 634
CPU time (s): 2520.61
CPU user time (s): 2519.64
CPU system time (s): 0.97503
CPU usage (%): 397.573
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 1253620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.97503
maximum resident set size= 1252184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20703
involuntary context switches= 47503
# summary of solver processes directly reported to runsolver:
# pid: 8441,8443
# total CPU time (s): 2520.61
# total CPU user time (s): 2519.64
# total CPU system time (s): 0.97503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96355 second user time and 7.41338 second system time
The end