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 (9418 MiB free)
memory of node 1: 16384 MiB (13827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303012-1534018521/watcher-4303012-1534018521 -o /tmp/evaluation-result-4303012-1534018521/solver-4303012-1534018521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4303012-1534018521.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14442, runsolver pid=14439
[startup+0.100134 s]*
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23785604/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2025744 memory=23152 CPUtime=0.1 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 1871 0 0 0 10 0 0 0 20 0 1 0 219415238 2074361856 5788 33554432000 4194304 5849708 140731222481312 140731222481312 139877985717248 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 506436 5788 602 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23152 KiB
[startup+0.210127 s]*
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23775364/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2025744 memory=31344 CPUtime=0.21 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 1875 0 0 0 21 0 0 0 20 0 1 0 219415238 2074361856 7836 33554432000 4194304 5849708 140731222481312 140731222481312 139877985717248 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 506436 7836 602 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31344 KiB
[startup+0.309978 s]*
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23769220/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2025744 memory=39536 CPUtime=0.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 1901 0 0 0 31 0 0 0 20 0 1 0 219415238 2074361856 9884 33554432000 4194304 5849708 140731222481312 140731222481312 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 506436 9884 602 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39536 KiB
[startup+0.700248 s]
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23762332/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2027172 memory=45412 CPUtime=0.69 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 2364 0 0 0 58 11 0 0 20 0 1 0 219415238 2075824128 11353 33554432000 4194304 5849708 140731222481312 140731222481312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 506793 11353 684 405 0 503738 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027172 KiB
Current children cumulated memory: 45412 KiB
[startup+1.50024 s]
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23758240/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2033612 memory=51520 CPUtime=1.5 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 4673 0 0 0 132 18 0 0 20 0 1 0 219415238 2082418688 12880 33554432000 4194304 5849708 140731222481312 140731222479752 5307062 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 508403 12880 709 405 0 505348 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2033612 KiB
Current children cumulated memory: 51520 KiB
[startup+3.10933 s]
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23755216/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2034192 memory=52820 CPUtime=3.1 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 6382 0 0 0 289 21 0 0 20 0 1 0 219415238 2083012608 13205 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 508548 13205 717 405 0 505493 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2034192 KiB
Current children cumulated memory: 52820 KiB
[startup+6.30023 s]
/proc/loadavg: 2.03 2.19 2.14 3/187 14443
/proc/meminfo: memFree=23753944/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2034716 memory=53216 CPUtime=6.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 8174 0 0 0 606 24 0 0 20 0 1 0 219415238 2083549184 13304 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 508679 13304 717 405 0 505624 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 2034716 KiB
Current children cumulated memory: 53216 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 2.18 2.14 3/187 14443
/proc/meminfo: memFree=23750992/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2038376 memory=56684 CPUtime=12.69 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 11242 0 0 0 1239 30 0 0 20 0 1 0 219415238 2087297024 14171 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 509594 14171 717 405 0 506539 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038376 KiB
Current children cumulated memory: 56684 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.18 2.13 3/187 14443
/proc/meminfo: memFree=23745456/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2043964 memory=62464 CPUtime=25.49 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 18049 0 0 0 2506 43 0 0 20 0 1 0 219415238 2093019136 15616 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 510991 15616 717 405 0 507936 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2043964 KiB
Current children cumulated memory: 62464 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.16 2.13 3/187 14443
/proc/meminfo: memFree=23742796/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2047772 memory=66140 CPUtime=51.1 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 25811 0 0 0 5047 63 0 0 20 0 1 0 219415238 2096918528 16535 33554432000 4194304 5849708 140731222481312 140731222480184 5395304 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 511943 16535 717 405 0 508888 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2047772 KiB
Current children cumulated memory: 66140 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.14 2.13 3/187 14444
/proc/meminfo: memFree=23757616/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2033452 memory=51956 CPUtime=102.29 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 42076 0 0 0 10111 118 0 0 20 0 1 0 219415238 2082254848 12989 33554432000 4194304 5849708 140731222481312 140731222479240 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 508363 12989 718 405 0 505308 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2033452 KiB
Current children cumulated memory: 51956 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.11 2.12 3/187 14445
/proc/meminfo: memFree=23725832/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2064812 memory=83168 CPUtime=162.29 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 46457 0 0 0 16061 168 0 0 20 0 1 0 219415238 2114367488 20792 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 516203 20792 718 405 0 513148 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2064812 KiB
Current children cumulated memory: 83168 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.09 2.11 3/187 14446
/proc/meminfo: memFree=23715796/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2074560 memory=93100 CPUtime=222.29 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 54432 0 0 0 22022 207 0 0 20 0 1 0 219415238 2124349440 23275 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 518640 23275 718 405 0 515585 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2074560 KiB
Current children cumulated memory: 93100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.07 2.11 3/188 14455
/proc/meminfo: memFree=23708820/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2083992 memory=98884 CPUtime=282.29 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 62914 0 0 0 27981 248 0 0 20 0 1 0 219415238 2134007808 24721 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 520998 24721 718 405 0 517943 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2083992 KiB
Current children cumulated memory: 98884 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/188 14456
/proc/meminfo: memFree=23701028/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2092188 memory=107080 CPUtime=342.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 70073 0 0 0 33949 281 0 0 20 0 1 0 219415238 2142400512 26770 33554432000 4194304 5849708 140731222481312 140731222480312 5340779 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 523047 26770 718 405 0 519992 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2092188 KiB
Current children cumulated memory: 107080 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.10 3/188 14457
/proc/meminfo: memFree=23695792/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2094968 memory=112216 CPUtime=402.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 80998 0 0 0 39915 315 0 0 20 0 1 0 219415238 2145247232 28054 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 523742 28054 718 405 0 520687 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2094968 KiB
Current children cumulated memory: 112216 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/188 14458
/proc/meminfo: memFree=23710828/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2078040 memory=96672 CPUtime=462.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 93664 0 0 0 45881 349 0 0 20 0 1 0 219415238 2127912960 24168 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 519510 24168 718 405 0 516455 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2078040 KiB
Current children cumulated memory: 96672 KiB
################
# More data... #
################
/proc/14442/statm: 589410 94036 718 405 0 586355 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 2357640 KiB
Current children cumulated memory: 376144 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14498
/proc/meminfo: memFree=23590680/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2189912 memory=208416 CPUtime=1782.33 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 461717 0 0 0 177495 738 0 0 20 0 1 0 219415238 2242469888 52104 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 547478 52104 718 405 0 544423 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2189912 KiB
Current children cumulated memory: 208416 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14560
/proc/meminfo: memFree=28975476/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2212244 memory=230748 CPUtime=1842.32 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 481395 0 0 0 183479 753 0 0 20 0 1 0 219415238 2265337856 57687 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 553061 57687 718 405 0 550006 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2212244 KiB
Current children cumulated memory: 230748 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14561
/proc/meminfo: memFree=28866000/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2289740 memory=308192 CPUtime=1902.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 497525 0 0 0 189461 770 0 0 20 0 1 0 219415238 2344693760 77048 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 572435 77048 718 405 0 569380 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2289740 KiB
Current children cumulated memory: 308192 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14562
/proc/meminfo: memFree=28843872/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2307856 memory=326324 CPUtime=1962.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 498328 0 0 0 195445 786 0 0 20 0 1 0 219415238 2363244544 81581 33554432000 4194304 5849708 140731222481312 140731222480312 5437694 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 576964 81581 718 405 0 573909 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2307856 KiB
Current children cumulated memory: 326324 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14563
/proc/meminfo: memFree=28756356/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2406672 memory=427576 CPUtime=2022.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 504649 0 0 0 201433 797 0 0 20 0 1 0 219415238 2464432128 106894 33554432000 4194304 5849708 140731222481312 140731222480184 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 601668 106894 718 405 0 598613 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 2406672 KiB
Current children cumulated memory: 427576 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14572
/proc/meminfo: memFree=28730384/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2413536 memory=434444 CPUtime=2082.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 511520 0 0 0 207417 814 0 0 20 0 1 0 219415238 2471460864 108611 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 603384 108611 718 405 0 600329 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2413536 KiB
Current children cumulated memory: 434444 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14573
/proc/meminfo: memFree=28705188/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2456172 memory=477200 CPUtime=2142.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 534061 0 0 0 213401 829 0 0 20 0 1 0 219415238 2515120128 119300 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 614043 119300 718 405 0 610988 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2456172 KiB
Current children cumulated memory: 477200 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14574
/proc/meminfo: memFree=28671916/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2469896 memory=490924 CPUtime=2202.3 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 546347 0 0 0 219389 841 0 0 20 0 1 0 219415238 2529173504 122731 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 617474 122731 718 405 0 614419 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2469896 KiB
Current children cumulated memory: 490924 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14575
/proc/meminfo: memFree=28656832/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2488208 memory=509236 CPUtime=2262.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 553798 0 0 0 225380 851 0 0 20 0 1 0 219415238 2547924992 127309 33554432000 4194304 5849708 140731222481312 140731222480472 5312614 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 622052 127309 718 405 0 618997 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509236 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14576
/proc/meminfo: memFree=28652620/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2488208 memory=509236 CPUtime=2322.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 580067 0 0 0 231369 862 0 0 20 0 1 0 219415238 2547924992 127309 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 622052 127309 718 405 0 618997 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509236 KiB
[startup+2382.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/188 14578
/proc/meminfo: memFree=28649636/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2488208 memory=509236 CPUtime=2382.31 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 599018 0 0 0 237361 870 0 0 20 0 1 0 219415238 2547924992 127309 33554432000 4194304 5849708 140731222481312 140731222480472 5335626 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 622052 127309 718 405 0 618997 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509236 KiB
[startup+2442.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/187 14579
/proc/meminfo: memFree=28892868/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2241616 memory=262416 CPUtime=2442.32 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 607852 0 0 0 243352 880 0 0 20 0 1 0 219415238 2295414784 65604 33554432000 4194304 5849708 140731222481312 140731222480312 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 560404 65604 718 405 0 557349 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262416 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/187 14580
/proc/meminfo: memFree=28898448/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2241616 memory=262644 CPUtime=2502.32 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 616803 0 0 0 249340 892 0 0 20 0 1 0 219415238 2295414784 65661 33554432000 4194304 5849708 140731222481312 140731222480312 5437636 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 560404 65661 718 405 0 557349 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262644 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.10 2.08 3/187 14580
/proc/meminfo: memFree=28891192/32770624 swapFree=67030636/67108860
[pid=14442] ppid=14439 vsize=2241616 memory=262644 CPUtime=2520.03 cores=1,3,5,7
/proc/14442/stat : 14442 (xcsp_picat) R 14439 14442 10838 0 -1 4202496 616866 0 0 0 251107 896 0 0 20 0 1 0 219415238 2295414784 65661 33554432000 4194304 5849708 140731222481312 140731222480472 139877985738631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 23216128 140731222488246 140731222488324 140731222488324 140731222491082 0
/proc/14442/statm: 560404 65661 718 405 0 557349 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14442 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.07 s, system=8.9662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2511.07
CPU system time (s): 8.9662
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2488208
Max. memory (cumulated for all children) (KiB): 509236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.07
system time used= 8.9662
maximum resident set size= 509236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 1077
# summary of solver processes directly reported to runsolver:
# pid: 14442
# total CPU time (s): 2520.04
# total CPU user time (s): 2511.07
# total CPU system time (s): 8.9662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2462 second user time and 18.4869 second system time
The end