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 (10904 MiB free)
memory of node 1: 16384 MiB (6942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303018-1534018500/watcher-4303018-1534018500 -o /tmp/evaluation-result-4303018-1534018500/solver-4303018-1534018500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303018-1534018500.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
Current StackSize limit: 8192 KiB
solver pid=29947, runsolver pid=29944
[startup+0.100205 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18255108/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2027464 memory=23716 CPUtime=0.1 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 2125 0 0 0 10 0 0 0 20 0 1 0 219413217 2076123136 5929 33554432000 4194304 5849708 140733210218864 140733210218864 5395347 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 506866 5929 664 405 0 503811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027464 KiB
Current children cumulated memory: 23716 KiB
[startup+0.209973 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18254736/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2028636 memory=24812 CPUtime=0.21 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 2395 0 0 0 21 0 0 0 20 0 1 0 219413217 2077323264 6203 33554432000 4194304 5849708 140733210218864 140733210218864 5362109 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 507159 6203 668 405 0 504104 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028636 KiB
Current children cumulated memory: 24812 KiB
[startup+0.309192 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18253620/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2028488 memory=25008 CPUtime=0.3 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 2398 0 0 0 30 0 0 0 20 0 1 0 219413217 2077171712 6252 33554432000 4194304 5849708 140733210218864 140733210217736 5358942 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 507122 6252 668 405 0 504067 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028488 KiB
Current children cumulated memory: 25008 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18252868/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2028668 memory=25028 CPUtime=0.69 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 3243 0 0 0 68 1 0 0 20 0 1 0 219413217 2077356032 6257 33554432000 4194304 5849708 140733210218864 140733210217352 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 507167 6257 674 405 0 504112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028668 KiB
Current children cumulated memory: 25028 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18253340/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2031096 memory=27136 CPUtime=1.49 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 3787 0 0 0 147 2 0 0 20 0 1 0 219413217 2079842304 6784 33554432000 4194304 5849708 140733210218864 140733210217352 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 507774 6784 682 405 0 504719 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031096 KiB
Current children cumulated memory: 27136 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18270204/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2031528 memory=27980 CPUtime=3.1 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 4988 0 0 0 306 4 0 0 20 0 1 0 219413217 2080284672 6995 33554432000 4194304 5849708 140733210218864 140733210217736 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 507882 6995 682 405 0 504827 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031528 KiB
Current children cumulated memory: 27980 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 29948
/proc/meminfo: memFree=18250912/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2033764 memory=30216 CPUtime=6.29 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 7238 0 0 0 620 9 0 0 20 0 1 0 219413217 2082574336 7554 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 508441 7554 682 405 0 505386 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033764 KiB
Current children cumulated memory: 30216 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 29948
/proc/meminfo: memFree=18245156/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2036924 memory=33176 CPUtime=12.69 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 11342 0 0 0 1252 17 0 0 20 0 1 0 219413217 2085810176 8294 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 509231 8294 682 405 0 506176 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036924 KiB
Current children cumulated memory: 33176 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 29948
/proc/meminfo: memFree=18244044/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2039572 memory=35852 CPUtime=25.49 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 23723 0 0 0 2517 32 0 0 20 0 1 0 219413217 2088521728 8963 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 509893 8963 682 405 0 506838 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2039572 KiB
Current children cumulated memory: 35852 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 29948
/proc/meminfo: memFree=18240244/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2041064 memory=37460 CPUtime=51.09 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 38716 0 0 0 5056 53 0 0 20 0 1 0 219413217 2090049536 9365 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 510266 9365 682 405 0 507211 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2041064 KiB
Current children cumulated memory: 37460 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 29949
/proc/meminfo: memFree=18245376/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2047444 memory=43848 CPUtime=102.29 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 68174 0 0 0 10136 93 0 0 20 0 1 0 219413217 2096582656 10962 33554432000 4194304 5849708 140733210218864 140733210217864 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 511861 10962 682 405 0 508806 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2047444 KiB
Current children cumulated memory: 43848 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 29950
/proc/meminfo: memFree=18233340/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2072668 memory=69136 CPUtime=162.29 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 97923 0 0 0 16103 126 0 0 20 0 1 0 219413217 2122412032 17284 33554432000 4194304 5849708 140733210218864 140733210217736 5438282 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 518167 17284 682 405 0 515112 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2072668 KiB
Current children cumulated memory: 69136 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 29951
/proc/meminfo: memFree=18193548/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2097332 memory=93784 CPUtime=222.29 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 118946 0 0 0 22076 153 0 0 20 0 1 0 219413217 2147667968 23446 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 524333 23446 682 405 0 521278 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2097332 KiB
Current children cumulated memory: 93784 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 29952
/proc/meminfo: memFree=18197400/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2093068 memory=89520 CPUtime=282.29 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 137199 0 0 0 28054 175 0 0 20 0 1 0 219413217 2143301632 22380 33554432000 4194304 5849708 140733210218864 140733210217864 140121376270240 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 523267 22380 682 405 0 520212 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2093068 KiB
Current children cumulated memory: 89520 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 29961
/proc/meminfo: memFree=18122760/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2155660 memory=152112 CPUtime=342.28 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 160656 0 0 0 34035 193 0 0 20 0 1 0 219413217 2207395840 38028 33554432000 4194304 5849708 140733210218864 140733210217864 5339661 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 538915 38028 682 405 0 535860 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2155660 KiB
Current children cumulated memory: 152112 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 29962
/proc/meminfo: memFree=18186780/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2092224 memory=88488 CPUtime=402.28 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 168327 0 0 0 40016 212 0 0 20 0 1 0 219413217 2142437376 22122 33554432000 4194304 5849708 140733210218864 140733210217864 5437868 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 523056 22122 682 405 0 520001 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2092224 KiB
Current children cumulated memory: 88488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29963
/proc/meminfo: memFree=18124792/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2154136 memory=150588 CPUtime=462.28 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 186492 0 0 0 46001 227 0 0 20 0 1 0 219413217 2205835264 37647 33554432000 4194304 5849708 140733210218864 140733210218024 5438261 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 538534 37647 682 405 0 535479 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2154136 KiB
Current children cumulated memory: 150588 KiB
################
# More data... #
################
/proc/29947/statm: 575765 75866 682 405 0 572710 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2303060 KiB
Current children cumulated memory: 303464 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 30008
/proc/meminfo: memFree=17943268/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2303060 memory=303464 CPUtime=1782.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 402885 0 0 0 177753 470 0 0 20 0 1 0 219413217 2358333440 75866 33554432000 4194304 5849708 140733210218864 140733210217864 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 575765 75866 682 405 0 572710 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2303060 KiB
Current children cumulated memory: 303464 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 30009
/proc/meminfo: memFree=17942896/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2303060 memory=303464 CPUtime=1842.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 410939 0 0 0 183744 479 0 0 20 0 1 0 219413217 2358333440 75866 33554432000 4194304 5849708 140733210218864 140733210218024 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 575765 75866 682 405 0 572710 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2303060 KiB
Current children cumulated memory: 303464 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 30010
/proc/meminfo: memFree=17943332/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2303060 memory=303464 CPUtime=1902.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 419013 0 0 0 189736 487 0 0 20 0 1 0 219413217 2358333440 75866 33554432000 4194304 5849708 140733210218864 140733210217864 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 575765 75866 682 405 0 572710 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2303060 KiB
Current children cumulated memory: 303464 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 30011
/proc/meminfo: memFree=17876200/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2369792 memory=370196 CPUtime=1962.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 452023 0 0 0 195723 500 0 0 20 0 1 0 219413217 2426667008 92549 33554432000 4194304 5849708 140733210218864 140733210217864 5312787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 592448 92549 682 405 0 589393 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2369792 KiB
Current children cumulated memory: 370196 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30013
/proc/meminfo: memFree=17876064/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2369792 memory=370196 CPUtime=2022.22 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 478654 0 0 0 201715 507 0 0 20 0 1 0 219413217 2426667008 92549 33554432000 4194304 5849708 140733210218864 140733210217864 5312673 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 592448 92549 682 405 0 589393 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2369792 KiB
Current children cumulated memory: 370196 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30014
/proc/meminfo: memFree=17876116/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2369792 memory=370196 CPUtime=2082.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 505303 0 0 0 207707 516 0 0 20 0 1 0 219413217 2426667008 92549 33554432000 4194304 5849708 140733210218864 140733210217864 5438180 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 592448 92549 682 405 0 589393 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2369792 KiB
Current children cumulated memory: 370196 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30022
/proc/meminfo: memFree=17875340/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2369792 memory=370196 CPUtime=2142.22 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 531999 0 0 0 213698 524 0 0 20 0 1 0 219413217 2426667008 92549 33554432000 4194304 5849708 140733210218864 140733210217864 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 592448 92549 682 405 0 589393 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2369792 KiB
Current children cumulated memory: 370196 KiB
[startup+2202.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/191 30023
/proc/meminfo: memFree=17875416/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2369792 memory=370196 CPUtime=2202.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 558663 0 0 0 219692 531 0 0 20 0 1 0 219413217 2426667008 92549 33554432000 4194304 5849708 140733210218864 140733210217864 5335584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 592448 92549 682 405 0 589393 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2369792 KiB
Current children cumulated memory: 370196 KiB
[startup+2262.3 s]
/proc/loadavg: 2.32 2.15 2.09 3/191 30024
/proc/meminfo: memFree=17844696/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2392672 memory=393076 CPUtime=2262.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 589642 0 0 0 225683 540 0 0 20 0 1 0 219413217 2450096128 98269 33554432000 4194304 5849708 140733210218864 140733210218024 5437645 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 598168 98269 682 405 0 595113 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2392672 KiB
Current children cumulated memory: 393076 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/190 30025
/proc/meminfo: memFree=17843848/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2392672 memory=393076 CPUtime=2322.22 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 621088 0 0 0 231674 548 0 0 20 0 1 0 219413217 2450096128 98269 33554432000 4194304 5849708 140733210218864 140733210217864 5438208 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 598168 98269 682 405 0 595113 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2392672 KiB
Current children cumulated memory: 393076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/190 30026
/proc/meminfo: memFree=17882188/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2392672 memory=393076 CPUtime=2382.23 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 634707 0 0 0 237668 555 0 0 20 0 1 0 219413217 2450096128 98269 33554432000 4194304 5849708 140733210218864 140733210217864 5437592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 598168 98269 682 405 0 595113 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2392672 KiB
Current children cumulated memory: 393076 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/190 30088
/proc/meminfo: memFree=17243172/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2392672 memory=393076 CPUtime=2442.22 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 678627 0 0 0 243660 562 0 0 20 0 1 0 219413217 2450096128 98269 33554432000 4194304 5849708 140733210218864 140733210217864 140121376681863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 598168 98269 682 405 0 595113 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2392672 KiB
Current children cumulated memory: 393076 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/190 30089
/proc/meminfo: memFree=17327332/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2296968 memory=297272 CPUtime=2502.22 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 707929 0 0 0 249647 575 0 0 20 0 1 0 219413217 2352095232 74318 33554432000 4194304 5849708 140733210218864 140733210217864 5335614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 574242 74318 682 405 0 571187 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2296968 KiB
Current children cumulated memory: 297272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.07 3/190 30090
/proc/meminfo: memFree=17393796/32770624 swapFree=67108688/67108860
[pid=29947] ppid=29944 vsize=2227560 memory=227964 CPUtime=2519.93 cores=0,2,4,6
/proc/29947/stat : 29947 (xcsp_picat) R 29944 29947 25480 0 -1 4202496 719505 0 0 0 251414 579 0 0 20 0 1 0 219413217 2281021440 56991 33554432000 4194304 5849708 140733210218864 140733210217768 5336646 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46698496 140733210227894 140733210227972 140733210227972 140733210230730 0
/proc/29947/statm: 556890 56991 682 405 0 553835 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2227560 KiB
Current children cumulated memory: 227964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 29947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.15 s, system=5.80089 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): 2519.95
CPU user time (s): 2514.15
CPU system time (s): 5.80089
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 2458208
Max. memory (cumulated for all children) (KiB): 458612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.15
system time used= 5.80089
maximum resident set size= 458612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719507
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= 36
involuntary context switches= 1008
# summary of solver processes directly reported to runsolver:
# pid: 29947
# total CPU time (s): 2519.95
# total CPU user time (s): 2514.15
# total CPU system time (s): 5.80089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.103 second user time and 15.027 second system time
The end