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 (14647 MiB free)
memory of node 1: 16384 MiB (13828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303204-1534021045/watcher-4303204-1534021045 -o /tmp/evaluation-result-4303204-1534021045/solver-4303204-1534021045 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4303204-1534021045.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=14704, runsolver pid=14701
[startup+0.100173 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 14705
/proc/meminfo: memFree=29132132/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2025744 memory=31804 CPUtime=0.1 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 1480 0 0 0 10 0 0 0 20 0 1 0 219667656 2074361856 7951 33554432000 4194304 5849708 140720323947952 140720323947952 4490693 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 506436 7951 600 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31804 KiB
[startup+0.209864 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 14705
/proc/meminfo: memFree=29113452/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2025744 memory=50236 CPUtime=0.2 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 1489 0 0 0 20 0 0 0 20 0 1 0 219667656 2074361856 12559 33554432000 4194304 5849708 140720323947952 140720323947952 4454749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 506436 12559 600 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50236 KiB
[startup+0.309796 s]*
/proc/loadavg: 2.07 2.10 2.08 3/187 14705
/proc/meminfo: memFree=29095020/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2025744 memory=68668 CPUtime=0.31 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 1498 0 0 0 30 1 0 0 20 0 1 0 219667656 2074361856 17167 33554432000 4194304 5849708 140720323947952 140720323947952 4850589 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 506436 17167 600 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 68668 KiB
[startup+0.700382 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 14705
/proc/meminfo: memFree=29057604/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2105408 memory=120324 CPUtime=0.69 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 3659 0 0 0 67 2 0 0 20 0 1 0 219667656 2155937792 30081 33554432000 4194304 5849708 140720323947952 140720323947952 5251246 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 526352 30081 624 405 0 523297 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2105408 KiB
Current children cumulated memory: 120324 KiB
[startup+1.50039 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 14705
/proc/meminfo: memFree=29023100/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2147840 memory=199784 CPUtime=1.49 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 5773 0 0 0 145 4 0 0 20 0 1 0 219667656 2199388160 49946 33554432000 4194304 5849708 140720323947952 140720323947952 5249669 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 536960 49946 624 405 0 533905 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2147840 KiB
Current children cumulated memory: 199784 KiB
[startup+3.10972 s]
/proc/loadavg: 1.98 2.08 2.07 3/187 14705
/proc/meminfo: memFree=28874060/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2198792 memory=298748 CPUtime=3.1 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 9249 0 0 0 300 10 0 0 20 0 1 0 219667656 2251563008 74687 33554432000 4194304 5849708 140720323947952 140720323947952 4548541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 549698 74687 624 405 0 546643 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2198792 KiB
Current children cumulated memory: 298748 KiB
[startup+6.30038 s]
/proc/loadavg: 1.98 2.08 2.07 3/187 14705
/proc/meminfo: memFree=28480468/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2232064 memory=741556 CPUtime=6.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 11217 0 0 0 610 19 0 0 20 0 1 0 219667656 2285633536 185389 33554432000 4194304 5849708 140720323947952 140720323947256 4533533 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 558016 185389 652 405 0 554961 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2232064 KiB
Current children cumulated memory: 741556 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.08 2.07 3/187 14705
/proc/meminfo: memFree=28155728/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2404216 memory=1000520 CPUtime=12.69 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 17702 0 0 0 1236 33 0 0 20 0 1 0 219667656 2461917184 250130 33554432000 4194304 5849708 140720323947952 140720323946440 5319740 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 601054 250130 729 405 0 597999 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2404216 KiB
Current children cumulated memory: 1000520 KiB
[startup+25.5004 s]
/proc/loadavg: 1.99 2.08 2.07 3/187 14705
/proc/meminfo: memFree=28133304/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2418972 memory=1013380 CPUtime=25.49 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 31694 0 0 0 2512 37 0 0 20 0 1 0 219667656 2477027328 253345 33554432000 4194304 5849708 140720323947952 140720323946200 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 604743 253345 755 405 0 601688 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2418972 KiB
Current children cumulated memory: 1013380 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 2.07 2.07 3/187 14706
/proc/meminfo: memFree=28134328/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2420824 memory=1017236 CPUtime=51.1 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 66254 0 0 0 5062 48 0 0 20 0 1 0 219667656 2478923776 254309 33554432000 4194304 5849708 140720323947952 140720323946952 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 605206 254309 755 405 0 602151 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2420824 KiB
Current children cumulated memory: 1017236 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 14707
/proc/meminfo: memFree=28059568/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2500408 memory=1090472 CPUtime=102.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 89110 0 0 0 10157 72 0 0 20 0 1 0 219667656 2560417792 272618 33554432000 4194304 5849708 140720323947952 140720323946952 4234716 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 625102 272618 755 405 0 622047 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2500408 KiB
Current children cumulated memory: 1090472 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/189 14717
/proc/meminfo: memFree=28018832/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2558852 memory=1155000 CPUtime=162.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 139108 0 0 0 16128 101 0 0 20 0 1 0 219667656 2620264448 288750 33554432000 4194304 5849708 140720323947952 140720323946952 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 639713 288750 755 405 0 636658 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2558852 KiB
Current children cumulated memory: 1155000 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 14740
/proc/meminfo: memFree=27946396/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2578344 memory=1174584 CPUtime=222.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 205011 0 0 0 22091 138 0 0 20 0 1 0 219667656 2640224256 293646 33554432000 4194304 5849708 140720323947952 140720323946824 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 644586 293646 755 405 0 641531 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2578344 KiB
Current children cumulated memory: 1174584 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 14741
/proc/meminfo: memFree=27943228/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2603788 memory=1200008 CPUtime=282.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 263099 0 0 0 28054 175 0 0 20 0 1 0 219667656 2666278912 300002 33554432000 4194304 5849708 140720323947952 140720323946952 5313206 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 650947 300002 755 405 0 647892 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2603788 KiB
Current children cumulated memory: 1200008 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 14742
/proc/meminfo: memFree=27976632/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2571668 memory=1168080 CPUtime=342.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 321433 0 0 0 34016 214 0 0 20 0 1 0 219667656 2633388032 292020 33554432000 4194304 5849708 140720323947952 140720323946952 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 642917 292020 755 405 0 639862 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2571668 KiB
Current children cumulated memory: 1168080 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 14743
/proc/meminfo: memFree=27922380/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2637128 memory=1233376 CPUtime=402.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 372803 0 0 0 39984 245 0 0 20 0 1 0 219667656 2700419072 308344 33554432000 4194304 5849708 140720323947952 140720323946952 5312898 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 659282 308344 755 405 0 656227 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2637128 KiB
Current children cumulated memory: 1233376 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14744
/proc/meminfo: memFree=27967944/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2585464 memory=1181860 CPUtime=462.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 446648 0 0 0 45944 286 0 0 20 0 1 0 219667656 2647515136 295465 33554432000 4194304 5849708 140720323947952 140720323946952 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 646366 295465 755 405 0 643311 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2585464 KiB
Current children cumulated memory: 1181860 KiB
################
# More data... #
################
/proc/14704/statm: 769369 418472 755 405 0 766314 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 3077476 KiB
Current children cumulated memory: 1673888 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 14784
/proc/meminfo: memFree=27188676/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3320196 memory=1916608 CPUtime=1782.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2163932 0 0 0 177211 1018 0 0 20 0 1 0 219667656 3399880704 479152 33554432000 4194304 5849708 140720323947952 140720323946824 5312803 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 830049 479152 755 405 0 826994 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 3320196 KiB
Current children cumulated memory: 1916608 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 14847
/proc/meminfo: memFree=27233844/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3320196 memory=1916940 CPUtime=1842.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2224270 0 0 0 183190 1039 0 0 20 0 1 0 219667656 3399880704 479235 33554432000 4194304 5849708 140720323947952 140720323946824 5311441 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 830049 479235 755 405 0 826994 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 3320196 KiB
Current children cumulated memory: 1916940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 14848
/proc/meminfo: memFree=27206304/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3320196 memory=1920188 CPUtime=1902.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2276882 0 0 0 189173 1056 0 0 20 0 1 0 219667656 3399880704 480047 33554432000 4194304 5849708 140720323947952 140720323946824 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 830049 480047 755 405 0 826994 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 3320196 KiB
Current children cumulated memory: 1920188 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 14857
/proc/meminfo: memFree=27636400/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=2883484 memory=1483476 CPUtime=1962.29 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2379291 0 0 0 195146 1083 0 0 20 0 1 0 219667656 2952687616 370869 33554432000 4194304 5849708 140720323947952 140720323946824 5338306 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 720871 370869 755 405 0 717816 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 2883484 KiB
Current children cumulated memory: 1483476 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14858
/proc/meminfo: memFree=27227428/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3272116 memory=1872108 CPUtime=2022.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2456281 0 0 0 201123 1107 0 0 20 0 1 0 219667656 3350646784 468027 33554432000 4194304 5849708 140720323947952 140720323946824 5416735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 818029 468027 755 405 0 814974 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 3272116 KiB
Current children cumulated memory: 1872108 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14859
/proc/meminfo: memFree=26914072/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3570092 memory=2170084 CPUtime=2082.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2576620 0 0 0 207083 1147 0 0 20 0 1 0 219667656 3655774208 542521 33554432000 4194304 5849708 140720323947952 140720323946952 5307645 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 892523 542521 755 405 0 889468 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 3570092 KiB
Current children cumulated memory: 2170084 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 14860
/proc/meminfo: memFree=26374512/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=4125508 memory=2725500 CPUtime=2142.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2726216 0 0 0 213041 1189 0 0 20 0 1 0 219667656 4224520192 681375 33554432000 4194304 5849708 140720323947952 140720323947112 5438237 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 1031377 681375 755 405 0 1028322 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 4125508 KiB
Current children cumulated memory: 2725500 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 14861
/proc/meminfo: memFree=26388388/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=4125508 memory=2725500 CPUtime=2202.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 2948094 0 0 0 219018 1212 0 0 20 0 1 0 219667656 4224520192 681375 33554432000 4194304 5849708 140720323947952 140720323946952 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 1031377 681375 755 405 0 1028322 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 4125508 KiB
Current children cumulated memory: 2725500 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 14862
/proc/meminfo: memFree=26341340/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=4125508 memory=2725500 CPUtime=2262.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 3151019 0 0 0 224994 1236 0 0 20 0 1 0 219667656 4224520192 681375 33554432000 4194304 5849708 140720323947952 140720323946952 5312873 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 1031377 681375 755 405 0 1028322 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 4125508 KiB
Current children cumulated memory: 2725500 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 14863
/proc/meminfo: memFree=26280016/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=4125508 memory=2725500 CPUtime=2322.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 3432334 0 0 0 230973 1257 0 0 20 0 1 0 219667656 4224520192 681375 33554432000 4194304 5849708 140720323947952 140720323946824 5313175 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 1031377 681375 755 405 0 1028322 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 4125508 KiB
Current children cumulated memory: 2725500 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 14864
/proc/meminfo: memFree=27339100/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3295432 memory=1813680 CPUtime=2382.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 3662638 0 0 0 236945 1285 0 0 20 0 1 0 219667656 3374522368 453420 33554432000 4194304 5849708 140720323947952 140720323946216 140505544230816 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 823858 453420 755 405 0 820803 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 3295432 KiB
Current children cumulated memory: 1813680 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 14865
/proc/meminfo: memFree=26802488/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3638104 memory=2238096 CPUtime=2442.3 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 3852124 0 0 0 242910 1320 0 0 20 0 1 0 219667656 3725418496 559524 33554432000 4194304 5849708 140720323947952 140720323946824 5312893 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 909526 559524 755 405 0 906471 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 3638104 KiB
Current children cumulated memory: 2238096 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 14866
/proc/meminfo: memFree=26438412/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3920776 memory=2520768 CPUtime=2502.31 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 4107288 0 0 0 248879 1352 0 0 20 0 1 0 219667656 4014874624 630192 33554432000 4194304 5849708 140720323947952 140720323946824 5312861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 980194 630192 755 405 0 977139 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 3920776 KiB
Current children cumulated memory: 2520768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.05 2.05 3/187 14866
/proc/meminfo: memFree=26405784/32770624 swapFree=67030636/67108860
[pid=14704] ppid=14701 vsize=3920776 memory=2520768 CPUtime=2520.01 cores=1,3,5,7
/proc/14704/stat : 14704 (xcsp_picat) R 14701 14704 10838 0 -1 4202496 4148854 0 0 0 250641 1360 0 0 20 0 1 0 219667656 4014874624 630192 33554432000 4194304 5849708 140720323947952 140720323946952 140505544642439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33390592 140720323949750 140720323949828 140720323949828 140720323952586 0
/proc/14704/statm: 980194 630192 755 405 0 977139 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 3920776 KiB
Current children cumulated memory: 2520768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 14704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.42 s, system=13.6523 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.05
CPU time (s): 2520.07
CPU user time (s): 2506.42
CPU system time (s): 13.6523
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4125508
Max. memory (cumulated for all children) (KiB): 2725500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.42
system time used= 13.6523
maximum resident set size= 2725500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4148855
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= 74
involuntary context switches= 1396
# summary of solver processes directly reported to runsolver:
# pid: 14704
# total CPU time (s): 2520.07
# total CPU user time (s): 2506.42
# total CPU system time (s): 13.6523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70531 second user time and 18.8462 second system time
The end