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 (6146 MiB free)
memory of node 1: 16384 MiB (7844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303108-1534008258/watcher-4303108-1534008258 -o /tmp/evaluation-result-4303108-1534008258/solver-4303108-1534008258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4303108-1534008258.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=2494, runsolver pid=2491
[startup+0.100111 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14310808/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2025900 memory=18628 CPUtime=0.1 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1292 0 0 0 10 0 0 0 20 0 1 0 218388961 2074521600 4657 33554432000 4194304 5849708 140721875593184 140721875592280 5606192 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506475 4657 690 405 0 503420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025900 KiB
Current children cumulated memory: 18628 KiB
[startup+0.209531 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14310436/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2026028 memory=18944 CPUtime=0.2 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1309 0 0 0 20 0 0 0 20 0 1 0 218388961 2074652672 4736 33554432000 4194304 5849708 140721875593184 140721875592280 5606203 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506507 4736 705 405 0 503452 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026028 KiB
Current children cumulated memory: 18944 KiB
[startup+0.308743 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14310436/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2026028 memory=18944 CPUtime=0.3 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1309 0 0 0 30 0 0 0 20 0 1 0 218388961 2074652672 4736 33554432000 4194304 5849708 140721875593184 140721875592280 5606207 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506507 4736 705 405 0 503452 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026028 KiB
Current children cumulated memory: 18944 KiB
[startup+0.700225 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14310064/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2026452 memory=19356 CPUtime=0.69 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1473 0 0 0 69 0 0 0 20 0 1 0 218388961 2075086848 4839 33554432000 4194304 5849708 140721875593184 140721875592280 5519877 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506613 4839 707 405 0 503558 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026452 KiB
Current children cumulated memory: 19356 KiB
[startup+1.50023 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14309692/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2026580 memory=19484 CPUtime=1.49 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1505 0 0 0 149 0 0 0 20 0 1 0 218388961 2075217920 4871 33554432000 4194304 5849708 140721875593184 140721875592280 5519848 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506645 4871 707 405 0 503590 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026580 KiB
Current children cumulated memory: 19484 KiB
[startup+3.10911 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14310084/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2026836 memory=19868 CPUtime=3.1 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1666 0 0 0 309 1 0 0 20 0 1 0 218388961 2075480064 4967 33554432000 4194304 5849708 140721875593184 140721875591688 5471688 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506709 4967 707 405 0 503654 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026836 KiB
Current children cumulated memory: 19868 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14309592/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2027092 memory=20124 CPUtime=6.29 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 1907 0 0 0 628 1 0 0 20 0 1 0 218388961 2075742208 5031 33554432000 4194304 5849708 140721875593184 140721875592424 5520313 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506773 5031 707 405 0 503718 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2027092 KiB
Current children cumulated memory: 20124 KiB
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 2495
/proc/meminfo: memFree=14308724/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2028116 memory=20896 CPUtime=12.69 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 2417 0 0 0 1267 2 0 0 20 0 1 0 218388961 2076790784 5224 33554432000 4194304 5849708 140721875593184 140721875592280 5520277 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 507029 5224 707 405 0 503974 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2028116 KiB
Current children cumulated memory: 20896 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.05 2.05 3/188 2495
/proc/meminfo: memFree=14309592/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2027348 memory=20376 CPUtime=25.49 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 3956 0 0 0 2544 5 0 0 20 0 1 0 218388961 2076004352 5094 33554432000 4194304 5849708 140721875593184 140721875592280 5471840 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 506837 5094 749 405 0 503782 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2027348 KiB
Current children cumulated memory: 20376 KiB
[startup+51.1095 s]
/proc/loadavg: 2.22 2.07 2.06 3/187 2496
/proc/meminfo: memFree=14298152/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2037384 memory=30328 CPUtime=51.1 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 11526 0 0 0 5091 19 0 0 20 0 1 0 218388961 2086281216 7582 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 509346 7582 749 405 0 506291 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2037384 KiB
Current children cumulated memory: 30328 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/187 2497
/proc/meminfo: memFree=14289272/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2047440 memory=40484 CPUtime=102.3 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 39518 0 0 0 10170 60 0 0 20 0 1 0 218388961 2096578560 10121 33554432000 4194304 5849708 140721875593184 140721875591672 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 511860 10121 749 405 0 508805 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2047440 KiB
Current children cumulated memory: 40484 KiB
[startup+162.3 s]
/proc/loadavg: 2.17 2.09 2.07 3/187 2498
/proc/meminfo: memFree=14350140/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2053684 memory=46556 CPUtime=162.3 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 71281 0 0 0 16130 100 0 0 20 0 1 0 218388961 2102972416 11639 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 513421 11639 749 405 0 510366 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2053684 KiB
Current children cumulated memory: 46556 KiB
[startup+222.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/187 2499
/proc/meminfo: memFree=14233496/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2061696 memory=54588 CPUtime=222.31 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 95934 0 0 0 22094 137 0 0 20 0 1 0 218388961 2111176704 13647 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 515424 13647 749 405 0 512369 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2061696 KiB
Current children cumulated memory: 54588 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/187 2562
/proc/meminfo: memFree=14730244/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2085892 memory=82864 CPUtime=282.3 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 115041 0 0 0 28055 175 0 0 20 0 1 0 218388961 2135953408 20716 33554432000 4194304 5849708 140721875593184 140721875592056 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 521473 20716 749 405 0 518418 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2085892 KiB
Current children cumulated memory: 82864 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 2563
/proc/meminfo: memFree=14713208/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2097380 memory=95860 CPUtime=342.31 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 130312 0 0 0 34029 202 0 0 20 0 1 0 218388961 2147717120 23965 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 524345 23965 749 405 0 521290 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2097380 KiB
Current children cumulated memory: 95860 KiB
[startup+402.3 s]
/proc/loadavg: 2.29 2.12 2.07 3/187 2571
/proc/meminfo: memFree=14632784/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2175596 memory=174004 CPUtime=402.32 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 136401 0 0 0 40010 222 0 0 20 0 1 0 218388961 2227810304 43501 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 543899 43501 749 405 0 540844 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2175596 KiB
Current children cumulated memory: 174004 KiB
[startup+462.3 s]
/proc/loadavg: 2.30 2.17 2.09 3/187 2572
/proc/meminfo: memFree=14683820/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2121852 memory=120568 CPUtime=462.33 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 146776 0 0 0 45992 241 0 0 20 0 1 0 218388961 2172776448 30142 33554432000 4194304 5849708 140721875593184 140721875592184 5438208 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 530463 30142 749 405 0 527408 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2121852 KiB
Current children cumulated memory: 120568 KiB
################
# More data... #
################
/proc/2494/statm: 611602 111263 749 405 0 608547 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2446408 KiB
Current children cumulated memory: 445052 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2610
/proc/meminfo: memFree=14269860/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2446408 memory=445052 CPUtime=1782.5 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 384125 0 0 0 177740 510 0 0 20 0 1 0 218388961 2505121792 111263 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 611602 111263 749 405 0 608547 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 2446408 KiB
Current children cumulated memory: 445052 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2611
/proc/meminfo: memFree=14270340/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2446408 memory=445052 CPUtime=1842.5 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 402012 0 0 0 183732 518 0 0 20 0 1 0 218388961 2505121792 111263 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 611602 111263 749 405 0 608547 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2446408 KiB
Current children cumulated memory: 445052 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2613
/proc/meminfo: memFree=14264864/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2446408 memory=445052 CPUtime=1902.51 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 403168 0 0 0 189723 528 0 0 20 0 1 0 218388961 2505121792 111263 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 611602 111263 749 405 0 608547 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2446408 KiB
Current children cumulated memory: 445052 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2615
/proc/meminfo: memFree=14172364/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2506096 memory=504708 CPUtime=1962.52 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 444443 0 0 0 195711 541 0 0 20 0 1 0 218388961 2566242304 126177 33554432000 4194304 5849708 140721875593184 140721875592184 5437721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 626524 126177 749 405 0 623469 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2506096 KiB
Current children cumulated memory: 504708 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2616
/proc/meminfo: memFree=14129864/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2571632 memory=570152 CPUtime=2022.53 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 464787 0 0 0 201702 551 0 0 20 0 1 0 218388961 2633351168 142538 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 642908 142538 749 405 0 639853 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2571632 KiB
Current children cumulated memory: 570152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2618
/proc/meminfo: memFree=14016156/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2571632 memory=570280 CPUtime=2082.54 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 501147 0 0 0 207692 562 0 0 20 0 1 0 218388961 2633351168 142570 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 642908 142570 749 405 0 639853 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 2571632 KiB
Current children cumulated memory: 570280 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2619
/proc/meminfo: memFree=14342596/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2213520 memory=212168 CPUtime=2142.54 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 530964 0 0 0 213679 575 0 0 20 0 1 0 218388961 2266644480 53042 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 553380 53042 749 405 0 550325 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2213520 KiB
Current children cumulated memory: 212168 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2628
/proc/meminfo: memFree=14341680/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2246288 memory=244936 CPUtime=2202.55 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 553737 0 0 0 219668 587 0 0 20 0 1 0 218388961 2300198912 61234 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 561572 61234 749 405 0 558517 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2246288 KiB
Current children cumulated memory: 244936 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2651
/proc/meminfo: memFree=14293920/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2292816 memory=291320 CPUtime=2262.55 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 558722 0 0 0 225658 597 0 0 20 0 1 0 218388961 2347843584 72830 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 573204 72830 749 405 0 570149 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 2292816 KiB
Current children cumulated memory: 291320 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2652
/proc/meminfo: memFree=14263584/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2292816 memory=291464 CPUtime=2322.57 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 580464 0 0 0 231648 609 0 0 20 0 1 0 218388961 2347843584 72866 33554432000 4194304 5849708 140721875593184 140721875592184 140493123919751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 573204 72866 749 405 0 570149 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 2292816 KiB
Current children cumulated memory: 291464 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2653
/proc/meminfo: memFree=14193068/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2292816 memory=291464 CPUtime=2382.57 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 581309 0 0 0 237637 620 0 0 20 0 1 0 218388961 2347843584 72866 33554432000 4194304 5849708 140721875593184 140721875592184 5437855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 573204 72866 749 405 0 570149 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 2292816 KiB
Current children cumulated memory: 291464 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2654
/proc/meminfo: memFree=14153584/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2332352 memory=331000 CPUtime=2442.58 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 603308 0 0 0 243626 632 0 0 20 0 1 0 218388961 2388328448 82750 33554432000 4194304 5849708 140721875593184 140721875592344 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 583088 82750 749 405 0 580033 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 2332352 KiB
Current children cumulated memory: 331000 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2655
/proc/meminfo: memFree=14031156/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2389776 memory=388424 CPUtime=2502.59 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 609821 0 0 0 249618 641 0 0 20 0 1 0 218388961 2447130624 97106 33554432000 4194304 5849708 140721875593184 140721875592184 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 597444 97106 749 405 0 594389 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 2389776 KiB
Current children cumulated memory: 388424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2655
/proc/meminfo: memFree=14096032/32770624 swapFree=67108504/67108860
[pid=2494] ppid=2491 vsize=2389776 memory=388424 CPUtime=2520.09 cores=0,2,4,6
/proc/2494/stat : 2494 (xcsp_picat) R 2491 2494 32466 0 -1 4202496 609821 0 0 0 251366 643 0 0 20 0 1 0 218388961 2447130624 97106 33554432000 4194304 5849708 140721875593184 140721875592184 5437576 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 41091072 140721875600566 140721875600644 140721875600644 140721875603402 0
/proc/2494/statm: 597444 97106 749 405 0 594389 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2389776 KiB
Current children cumulated memory: 388424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 2494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.67 s, system=6.44178 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): 2519.81
CPU time (s): 2520.11
CPU user time (s): 2513.67
CPU system time (s): 6.44178
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2571632
Max. memory (cumulated for all children) (KiB): 570280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.67
system time used= 6.44178
maximum resident set size= 570280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609821
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= 11
involuntary context switches= 933
# summary of solver processes directly reported to runsolver:
# pid: 2494
# total CPU time (s): 2520.11
# total CPU user time (s): 2513.67
# total CPU system time (s): 6.44178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2981 second user time and 17.9489 second system time
The end