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 (10676 MiB free)
memory of node 1: 16384 MiB (12991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309479-1534293202/watcher-4309479-1534293202 -o /tmp/evaluation-result-4309479-1534293202/solver-4309479-1534293202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13751 --watchdog 2580 xcsp_picat HOME/instance-4309479-1534293202.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=13781, runsolver pid=13778
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24186808/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2025744 memory=41052 CPUtime=0.1 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1739 0 0 0 10 0 0 0 20 0 1 0 246883385 2074361856 10263 33554432000 4194304 5849940 140724354878672 140724354878672 4486576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 506436 10263 606 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 41052 KiB
[startup+0.20948 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24160184/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2025744 memory=71772 CPUtime=0.2 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1754 0 0 0 20 0 0 0 20 0 1 0 246883385 2074361856 17943 33554432000 4194304 5849940 140724354878672 140724354878672 4554925 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 506436 17943 606 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 71772 KiB
[startup+0.309788 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24129652/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2025744 memory=96348 CPUtime=0.31 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1766 0 0 0 30 1 0 0 20 0 1 0 246883385 2074361856 24087 33554432000 4194304 5849940 140724354878672 140724354878672 4819828 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 506436 24087 606 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 96348 KiB
[startup+0.700377 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24090740/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2025744 memory=174460 CPUtime=0.69 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1901 0 0 0 67 2 0 0 20 0 1 0 246883385 2074361856 43615 33554432000 4194304 5849940 140724354878672 140724354878672 4501229 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 506436 43615 620 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 174460 KiB
[startup+1.50039 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24005092/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2033560 memory=279564 CPUtime=1.49 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 2101 0 0 0 146 3 0 0 20 0 1 0 246883385 2082365440 69891 33554432000 4194304 5849940 140724354878672 140724354877976 4850757 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 508390 69891 634 405 0 505334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 279564 KiB
[startup+3.10951 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=23781608/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2033560 memory=457780 CPUtime=3.1 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 3306 0 0 0 305 5 0 0 20 0 1 0 246883385 2082365440 114445 33554432000 4194304 5849940 140724354878672 140724354877976 4676761 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 508390 114445 661 405 0 505334 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 457780 KiB
[startup+6.30027 s]
/proc/loadavg: 0.86 1.21 1.35 3/189 13782
/proc/meminfo: memFree=23409328/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2272624 memory=813644 CPUtime=6.29 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 7176 0 0 0 608 21 0 0 20 0 1 0 246883385 2327166976 203411 33554432000 4194304 5849940 140724354878672 140724354877768 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 568156 203411 742 405 0 565100 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2272624 KiB
Current children cumulated memory: 813644 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 1.23 1.35 3/189 13782
/proc/meminfo: memFree=23332892/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2358640 memory=901036 CPUtime=12.69 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 13489 0 0 0 1225 44 0 0 20 0 1 0 246883385 2415247360 225259 33554432000 4194304 5849940 140724354878672 140724354877848 5521660 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 589660 225259 742 405 0 586604 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2358640 KiB
Current children cumulated memory: 901036 KiB
[startup+25.5003 s]
/proc/loadavg: 1.19 1.26 1.36 3/189 13782
/proc/meminfo: memFree=23305112/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2358640 memory=901220 CPUtime=25.49 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 14909 0 0 0 2493 56 0 0 20 0 1 0 246883385 2415247360 225305 33554432000 4194304 5849940 140724354878672 140724354877768 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 589660 225305 742 405 0 586604 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2358640 KiB
Current children cumulated memory: 901220 KiB
[startup+51.1091 s]
/proc/loadavg: 1.46 1.32 1.38 3/189 13782
/proc/meminfo: memFree=23284928/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2391412 memory=933992 CPUtime=51.11 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 16508 0 0 0 5023 88 0 0 20 0 1 0 246883385 2448805888 233498 33554432000 4194304 5849940 140724354878672 140724354877768 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 597853 233498 742 405 0 594797 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2391412 KiB
Current children cumulated memory: 933992 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.43 1.41 3/188 13783
/proc/meminfo: memFree=23093068/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2555984 memory=1098704 CPUtime=102.29 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 48245 0 0 0 10116 113 0 0 20 0 1 0 246883385 2617327616 274676 33554432000 4194304 5849940 140724354878672 140724354876216 4208025 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 638996 274676 770 405 0 635940 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2555984 KiB
Current children cumulated memory: 1098704 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.55 1.46 3/188 13784
/proc/meminfo: memFree=23058676/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2555984 memory=1098720 CPUtime=162.29 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 83920 0 0 0 16109 120 0 0 20 0 1 0 246883385 2617327616 274680 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 638996 274680 774 405 0 635940 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2555984 KiB
Current children cumulated memory: 1098720 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 1.64 1.50 3/188 13785
/proc/meminfo: memFree=23042472/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2555984 memory=1098720 CPUtime=222.3 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 128728 0 0 0 22105 125 0 0 20 0 1 0 246883385 2617327616 274680 33554432000 4194304 5849940 140724354878672 140724354877672 5307869 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 638996 274680 774 405 0 635940 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2555984 KiB
Current children cumulated memory: 1098720 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.71 1.53 3/188 13786
/proc/meminfo: memFree=23083548/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2521544 memory=1064280 CPUtime=282.3 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 153843 0 0 0 28100 130 0 0 20 0 1 0 246883385 2582061056 266070 33554432000 4194304 5849940 140724354878672 140724354877672 5353988 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 630386 266070 774 405 0 627330 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2521544 KiB
Current children cumulated memory: 1064280 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 1.78 1.56 3/187 13787
/proc/meminfo: memFree=23074824/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2521544 memory=1064280 CPUtime=342.3 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 200009 0 0 0 34093 137 0 0 20 0 1 0 246883385 2582061056 266070 33554432000 4194304 5849940 140724354878672 140724354876936 5302016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 630386 266070 774 405 0 627330 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2521544 KiB
Current children cumulated memory: 1064280 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 1.82 1.59 3/188 13796
/proc/meminfo: memFree=23036940/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2536764 memory=1079500 CPUtime=402.3 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 244663 0 0 0 40082 148 0 0 20 0 1 0 246883385 2597646336 269875 33554432000 4194304 5849940 140724354878672 140724354877160 5309005 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 634191 269875 774 405 0 631135 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2536764 KiB
Current children cumulated memory: 1079500 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 1.87 1.62 3/188 13797
/proc/meminfo: memFree=22992484/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2536020 memory=1078756 CPUtime=462.3 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 279056 0 0 0 46070 160 0 0 20 0 1 0 246883385 2596884480 269689 33554432000 4194304 5849940 140724354878672 140724354877160 4211621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 634005 269689 774 405 0 630949 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2536020 KiB
Current children cumulated memory: 1078756 KiB
################
# More data... #
################
/proc/13781/statm: 646734 281312 774 405 0 643678 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2586936 KiB
Current children cumulated memory: 1125248 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/189 13859
/proc/meminfo: memFree=22800748/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2592132 memory=1136260 CPUtime=1782.31 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 964931 0 0 0 177456 775 0 0 20 0 1 0 246883385 2654343168 284065 33554432000 4194304 5849940 140724354878672 140724354876936 5317446 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 648033 284065 774 405 0 644977 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2592132 KiB
Current children cumulated memory: 1136260 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/189 13860
/proc/meminfo: memFree=22781100/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2611604 memory=1155612 CPUtime=1842.31 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 969966 0 0 0 183431 800 0 0 20 0 1 0 246883385 2674282496 288903 33554432000 4194304 5849940 140724354878672 140724354877544 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 652901 288903 774 405 0 649845 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2611604 KiB
Current children cumulated memory: 1155612 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/189 13861
/proc/meminfo: memFree=22749000/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2591628 memory=1135692 CPUtime=1902.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 977477 0 0 0 189393 839 0 0 20 0 1 0 246883385 2653827072 283923 33554432000 4194304 5849940 140724354878672 140724354877544 5313035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 647907 283923 774 405 0 644851 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2591628 KiB
Current children cumulated memory: 1135692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 13862
/proc/meminfo: memFree=22734912/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2605300 memory=1149408 CPUtime=1962.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 982890 0 0 0 195375 857 0 0 20 0 1 0 246883385 2667827200 287352 33554432000 4194304 5849940 140724354878672 140724354877832 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 651325 287352 774 405 0 648269 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2605300 KiB
Current children cumulated memory: 1149408 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 13863
/proc/meminfo: memFree=22729704/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2610660 memory=1154600 CPUtime=2022.31 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 990480 0 0 0 201332 899 0 0 20 0 1 0 246883385 2673315840 288650 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 652665 288650 774 405 0 649609 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2610660 KiB
Current children cumulated memory: 1154600 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/192 13888
/proc/meminfo: memFree=22893292/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2598368 memory=1142572 CPUtime=2082.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1000279 0 0 0 207316 916 0 0 20 0 1 0 246883385 2660728832 285643 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 649592 285643 774 405 0 646536 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2598368 KiB
Current children cumulated memory: 1142572 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/188 13907
/proc/meminfo: memFree=22863748/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2633868 memory=1178240 CPUtime=2142.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1015459 0 0 0 213274 958 0 0 20 0 1 0 246883385 2697080832 294560 33554432000 4194304 5849940 140724354878672 140724354877832 5339250 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 658467 294560 774 405 0 655411 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2633868 KiB
Current children cumulated memory: 1178240 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/189 13916
/proc/meminfo: memFree=22844696/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2626580 memory=1175804 CPUtime=2202.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1024197 0 0 0 219250 982 0 0 20 0 1 0 246883385 2689617920 293951 33554432000 4194304 5849940 140724354878672 140724354877400 5356147 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 656645 293951 774 405 0 653589 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2626580 KiB
Current children cumulated memory: 1175804 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13917
/proc/meminfo: memFree=22862512/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2608840 memory=1158056 CPUtime=2262.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1034220 0 0 0 225210 1022 0 0 20 0 1 0 246883385 2671452160 289514 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 652210 289514 774 405 0 649154 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2608840 KiB
Current children cumulated memory: 1158056 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13918
/proc/meminfo: memFree=22782024/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2624372 memory=1173596 CPUtime=2322.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1044161 0 0 0 231169 1063 0 0 20 0 1 0 246883385 2687356928 293399 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 656093 293399 774 405 0 653037 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2624372 KiB
Current children cumulated memory: 1173596 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13919
/proc/meminfo: memFree=22807156/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2614572 memory=1163860 CPUtime=2382.33 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1056703 0 0 0 237119 1114 0 0 20 0 1 0 246883385 2677321728 290965 33554432000 4194304 5849940 140724354878672 140724354877160 4226762 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 653643 290965 774 405 0 650587 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2614572 KiB
Current children cumulated memory: 1163860 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 13920
/proc/meminfo: memFree=22744528/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2611924 memory=1161128 CPUtime=2442.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1067946 0 0 0 243090 1142 0 0 20 0 1 0 246883385 2674610176 290282 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 652981 290282 774 405 0 649925 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2611924 KiB
Current children cumulated memory: 1161128 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 13921
/proc/meminfo: memFree=22729828/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2639008 memory=1181856 CPUtime=2502.32 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1081713 0 0 0 249046 1186 0 0 20 0 1 0 246883385 2702344192 295464 33554432000 4194304 5849940 140724354878672 140724354877672 139796016889735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 659752 295464 774 405 0 656696 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2639008 KiB
Current children cumulated memory: 1181856 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 2/185 13921
/proc/meminfo: memFree=23068452/32770624 swapFree=67059124/67108860
[pid=13781] ppid=13778 vsize=2635972 memory=1178876 CPUtime=2520.04 cores=1,3,5,7
/proc/13781/stat : 13781 (xcsp_picat) R 13778 13781 13719 0 -1 4202496 1082080 0 0 0 250814 1190 0 0 20 0 1 0 246883385 2699235328 294719 33554432000 4194304 5849940 140724354878672 140724354877160 5308611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 45940736 140724354884790 140724354884868 140724354884868 140724354887626 0
/proc/13781/statm: 658993 294719 774 405 0 655937 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2635972 KiB
Current children cumulated memory: 1178876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13781 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.14 s, system=11.9083 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.02
CPU time (s): 2520.05
CPU user time (s): 2508.14
CPU system time (s): 11.9083
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2658944
Max. memory (cumulated for all children) (KiB): 1208140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.14
system time used= 11.9083
maximum resident set size= 1208140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082080
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= 37
involuntary context switches= 1041
# summary of solver processes directly reported to runsolver:
# pid: 13781
# total CPU time (s): 2520.05
# total CPU user time (s): 2508.14
# total CPU system time (s): 11.9083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47193 second user time and 18.3969 second system time
The end