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 (7822 MiB free)
memory of node 1: 16384 MiB (8267 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403730-1568991600/watcher-4403730-1568991600 -o /tmp/evaluation-result-4403730-1568991600/solver-4403730-1568991600 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1217693639 HOME/instance-4403730-1568991600.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
solver pid=16487, runsolver pid=16484
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 8.32 8.25 7.89 8/233 16503
/proc/meminfo: memFree=16461540/32770624 swapFree=66974524/67108860
[pid=16487] ppid=16484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16487/stat : 16487 (xcsp3-exec) S 16484 16487 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475426798 115843072 363 33554432000 4194304 5098028 140732327200176 140732327198280 139868982272636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32489472 140732327203706 140732327203949 140732327203949 140732327206858 0
/proc/16487/statm: 28282 363 304 221 0 87 0
[pid=16489] ppid=16487 vsize=15144776 memory=27476 CPUtime=0.13 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16487 11742 0 -1 1077944320 5826 0 0 0 12 1 0 0 20 0 15 0 475426798 15508250624 6869 33554432000 4194304 4196468 140726148702560 140726148685104 140262927417079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
/proc/16489/statm: 3786194 6869 3179 1 0 3748377 0
[pid=16489/tid=16490] ppid=16487 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/16489/task/16490/stat : 16490 (java) R 16487 16487 11742 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 15 0 475426799 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262931648400 140262919654206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16491] ppid=16487 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262519794704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16492] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262518742160 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16493] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262517689104 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16494] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262516636560 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16495] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262395914480 140262927428226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16496] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16487 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262394860704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16497] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16487 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262393807600 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16498] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262392756176 140262927435675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16499] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16487 11742 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262391704304 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16500] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16487 11742 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262390651760 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16501] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0.02 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16487 11742 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262389598704 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16502] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262388546400 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16503] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 6869 33554432000 4194304 4196468 140726148702560 140262387493424 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28928 KiB
[startup+0.210806 s]*
/proc/loadavg: 8.32 8.25 7.89 7/233 16503
/proc/meminfo: memFree=16447828/32770624 swapFree=66974524/67108860
[pid=16487] ppid=16484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16487/stat : 16487 (xcsp3-exec) S 16484 16487 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475426798 115843072 363 33554432000 4194304 5098028 140732327200176 140732327198280 139868982272636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32489472 140732327203706 140732327203949 140732327203949 140732327206858 0
/proc/16487/statm: 28282 363 304 221 0 87 0
[pid=16489] ppid=16487 vsize=15144776 memory=39752 CPUtime=0.35 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16487 11742 0 -1 1077944320 9685 0 0 0 32 3 0 0 20 0 15 0 475426798 15508250624 9938 33554432000 4194304 4196468 140726148702560 140726148685104 140262927417079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
/proc/16489/statm: 3786194 9938 3284 1 0 3748377 0
[pid=16489/tid=16490] ppid=16487 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16489/task/16490/stat : 16490 (java) R 16487 16487 11742 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 475426799 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262931656080 140262911497566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16491] ppid=16487 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262519794704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16492] ppid=16487 vsize=15144776 memory=140497031922597 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262518742160 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16493] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262517689104 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16494] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262516636560 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16495] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16487 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262395914480 140262927428226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16496] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16487 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262394860704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16497] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16487 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475426801 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262393807600 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16498] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262392756176 140262927435675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16499] ppid=16487 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16487 11742 0 -1 1077944384 642 0 0 0 3 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262391704304 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16500] ppid=16487 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16487 11742 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262390651760 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16501] ppid=16487 vsize=15144776 memory=140497028421248 CPUtime=0.08 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16487 11742 0 -1 1077944384 886 0 0 0 8 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262389598704 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16502] ppid=16487 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262388546400 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16503] ppid=16487 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426804 15508250624 9938 33554432000 4194304 4196468 140726148702560 140262387493424 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41204 KiB
[startup+0.312171 s]*
/proc/loadavg: 8.32 8.25 7.89 7/233 16503
/proc/meminfo: memFree=16440432/32770624 swapFree=66974524/67108860
[pid=16487] ppid=16484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16487/stat : 16487 (xcsp3-exec) S 16484 16487 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475426798 115843072 363 33554432000 4194304 5098028 140732327200176 140732327198280 139868982272636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32489472 140732327203706 140732327203949 140732327203949 140732327206858 0
/proc/16487/statm: 28282 363 304 221 0 87 0
[pid=16489] ppid=16487 vsize=15149032 memory=49380 CPUtime=0.53 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16487 11742 0 -1 1077944320 11155 0 0 0 50 3 0 0 20 0 15 0 475426798 15512608768 12345 33554432000 4194304 4196468 140726148702560 140726148685104 140262927417079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
/proc/16489/statm: 3787258 12345 3354 1 0 3748377 0
[pid=16489/tid=16490] ppid=16487 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/16489/task/16490/stat : 16490 (java) R 16487 16487 11742 0 -1 4202560 7826 0 0 0 27 3 0 0 20 0 15 0 475426799 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262931653904 140262927427285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16491] ppid=16487 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262519794704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16492] ppid=16487 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262518742160 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16493] ppid=16487 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262517689104 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16494] ppid=16487 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262516636560 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16495] ppid=16487 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16487 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475426801 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262395914480 140262927428226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16496] ppid=16487 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16487 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475426801 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262394860704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16497] ppid=16487 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16487 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475426801 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262393807600 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16498] ppid=16487 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262392756176 140262927435675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16499] ppid=16487 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16487 11742 0 -1 1077944384 734 0 0 0 5 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262391704304 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16500] ppid=16487 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16487 11742 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262390651760 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16501] ppid=16487 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16487 11742 0 -1 1077944384 1048 0 0 0 12 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262389598704 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16502] ppid=16487 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262388546400 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16503] ppid=16487 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426804 15512608768 12345 33554432000 4194304 4196468 140726148702560 140262387493424 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50832 KiB
[startup+0.702918 s]
/proc/loadavg: 8.32 8.25 7.89 6/233 16503
/proc/meminfo: memFree=16421096/32770624 swapFree=66974524/67108860
[pid=16487] ppid=16484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16487/stat : 16487 (xcsp3-exec) S 16484 16487 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475426798 115843072 363 33554432000 4194304 5098028 140732327200176 140732327198280 139868982272636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32489472 140732327203706 140732327203949 140732327203949 140732327206858 0
/proc/16487/statm: 28282 363 304 221 0 87 0
[pid=16489] ppid=16487 vsize=15151156 memory=95652 CPUtime=1.66 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16487 11742 0 -1 1077944320 15177 0 0 0 160 6 0 0 20 0 15 0 475426798 15514783744 23913 33554432000 4194304 4196468 140726148702560 140726148685104 140262927417079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
/proc/16489/statm: 3787789 23913 3453 1 0 3748889 0
[pid=16489/tid=16490] ppid=16487 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/16489/task/16490/stat : 16490 (java) R 16487 16487 11742 0 -1 1077944384 9015 0 0 0 64 4 0 0 20 0 15 0 475426799 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262931654608 140262927427285 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16491] ppid=16487 vsize=15151156 memory=54392 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262519794704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16492] ppid=16487 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262518742160 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16493] ppid=16487 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426799 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262517689104 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16494] ppid=16487 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475426799 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262516636560 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16495] ppid=16487 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16487 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475426801 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262395914480 140262927428226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16496] ppid=16487 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16487 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475426801 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262394860704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16497] ppid=16487 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16487 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475426801 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262393807600 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16498] ppid=16487 vsize=15151156 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262392756176 140262927435675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16499] ppid=16487 vsize=15151156 memory=10564 CPUtime=0.27 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) R 16487 16487 11742 0 -1 4202560 1536 0 0 0 27 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262391692176 140262912328246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16500] ppid=16487 vsize=15151156 memory=716 CPUtime=0.27 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) R 16487 16487 11742 0 -1 4202560 932 0 0 0 27 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262390651888 140262905833387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16501] ppid=16487 vsize=15151156 memory=780 CPUtime=0.4 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16487 11742 0 -1 1077944384 2387 0 0 0 40 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262389598704 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16502] ppid=16487 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262388546400 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16503] ppid=16487 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475426804 15514783744 23913 33554432000 4194304 4196468 140726148702560 140262387493424 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97104 KiB
[startup+0.833532 s]
# the end of solver process 16487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.04221 s, system=0.073654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801194 s]
/proc/loadavg: 8.32 8.25 7.89 6/233 16503
/proc/meminfo: memFree=16421096/32770624 swapFree=66974524/67108860
[pid=16487] ppid=16484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16487/stat : 16487 (xcsp3-exec) S 16484 16487 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475426798 115843072 363 33554432000 4194304 5098028 140732327200176 140732327198280 139868982272636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32489472 140732327203706 140732327203949 140732327203949 140732327206858 0
/proc/16487/statm: 28282 363 304 221 0 87 0
[pid=16489] ppid=16487 vsize=15419460 memory=114424 CPUtime=2.03 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16487 11742 0 -1 1077944320 15878 0 0 0 197 6 0 0 20 0 19 0 475426798 15789527040 28606 33554432000 4194304 4196468 140726148702560 140726148685104 140262927417079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
/proc/16489/statm: 3854865 28606 3457 1 0 3815965 0
[pid=16489/tid=16490] ppid=16487 vsize=15419460 memory=8292088559825428625 CPUtime=0.74 cores=1,3,5,7
/proc/16489/task/16490/stat : 16490 (java) S 16487 16487 11742 0 -1 1077944384 9101 0 0 0 70 4 0 0 20 0 19 0 475426799 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262931657856 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16491] ppid=16487 vsize=15419460 memory=280993806159248 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475426799 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262519794704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16492] ppid=16487 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475426799 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262518742160 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16493] ppid=16487 vsize=15419460 memory=940 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475426799 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262517689104 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16494] ppid=16487 vsize=15419460 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16487 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475426799 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262516636560 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16495] ppid=16487 vsize=15419460 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16487 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475426801 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262395914480 140262927428226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16496] ppid=16487 vsize=15419460 memory=28016 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16487 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475426801 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262394860704 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16497] ppid=16487 vsize=15419460 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16487 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475426801 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262393807600 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16498] ppid=16487 vsize=15419460 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262392756176 140262927435675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16499] ppid=16487 vsize=15419460 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) R 16487 16487 11742 0 -1 4202560 1594 0 0 0 36 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262391685504 140262910892134 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16500] ppid=16487 vsize=15419460 memory=928 CPUtime=0.37 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) R 16487 16487 11742 0 -1 4202560 1173 0 0 0 37 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262390632960 140262906662927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16501] ppid=16487 vsize=15419460 memory=1640 CPUtime=0.46 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) R 16487 16487 11742 0 -1 1077944384 2567 0 0 0 46 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262389598704 140262927428226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16502] ppid=16487 vsize=15419460 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16487 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262388546400 140262927427285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
[pid=16489/tid=16503] ppid=16487 vsize=15419460 memory=2572 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16487 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475426804 15789527040 28606 33554432000 4194304 4196468 140726148702560 140262387493424 140262927428226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22044672 140726148707311 140726148707482 140726148707482 140726148710351 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 115876 KiB
Child status: 0
Real time (s): 0.833569
CPU time (s): 2.11587
CPU user time (s): 2.04221
CPU system time (s): 0.073654
CPU usage (%): 253.832
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 115876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.04221
system time used= 0.073654
maximum resident set size= 119488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1711
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 16487
# total CPU time (s): 2.11587
# total CPU user time (s): 2.04221
# total CPU system time (s): 0.073654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022809 second user time and 0.053746 second system time
The end