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 (12932 MiB free)
memory of node 1: 16384 MiB (10101 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309747-1534308794/watcher-4309747-1534308794 -o /tmp/evaluation-result-4309747-1534308794/solver-4309747-1534308794 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534293152-15984 --watchdog 2580 xcsp_picat HOME/instance-4309747-1534308794.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
solver pid=18141, runsolver pid=18138
Current StackSize limit: 8192 KiB
[startup+0.100576 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=23573368/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2025744 memory=18004 CPUtime=0.1 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 1642 0 0 0 10 0 0 0 20 0 1 0 248442512 2074361856 4501 33554432000 4194304 5849940 140722434715328 140722434714632 4458707 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 506436 4501 591 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 18004 KiB
[startup+0.209634 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=23566996/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2025744 memory=24148 CPUtime=0.21 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 1645 0 0 0 21 0 0 0 20 0 1 0 248442512 2074361856 6037 33554432000 4194304 5849940 140722434715328 140722434714632 140227738199888 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 506436 6037 591 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24148 KiB
[startup+0.309428 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=23560704/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2025744 memory=28484 CPUtime=0.3 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 1651 0 0 0 30 0 0 0 20 0 1 0 248442512 2074361856 7121 33554432000 4194304 5849940 140722434715328 140722434714632 4719655 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 506436 7121 591 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28484 KiB
[startup+0.700302 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=23550340/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2025744 memory=48964 CPUtime=0.68 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 1662 0 0 0 68 0 0 0 20 0 1 0 248442512 2074361856 12241 33554432000 4194304 5849940 140722434715328 140722434714632 4488926 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 506436 12241 591 405 0 503380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48964 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=23495056/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2052156 memory=312212 CPUtime=1.48 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 3310 0 0 0 144 4 0 0 20 0 1 0 248442512 2101407744 78053 33554432000 4194304 5849940 140722434715328 140722434714632 4513858 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 513039 78053 628 405 0 509983 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2052156 KiB
Current children cumulated memory: 312212 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=22909644/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2501988 memory=678760 CPUtime=3.1 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 4687 0 0 0 299 11 0 0 20 0 1 0 248442512 2562035712 169690 33554432000 4194304 5849940 140722434715328 140722434714648 5285078 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 625497 169690 629 405 0 622441 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2501988 KiB
Current children cumulated memory: 678760 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=22482156/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=2855056 memory=1105456 CPUtime=6.28 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 12900 0 0 0 609 19 0 0 20 0 1 0 248442512 2923577344 276364 33554432000 4194304 5849940 140722434715328 140722434714536 5406749 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 713764 276364 675 405 0 710708 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2855056 KiB
Current children cumulated memory: 1105456 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18142
/proc/meminfo: memFree=21497512/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=3838096 memory=2088688 CPUtime=12.69 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 20183 0 0 0 1232 37 0 0 20 0 1 0 248442512 3930210304 522172 33554432000 4194304 5849940 140722434715328 140722434714504 5335032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 959524 522172 675 405 0 956468 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3838096 KiB
Current children cumulated memory: 2088688 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18142
/proc/meminfo: memFree=20184068/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=5148816 memory=3399408 CPUtime=25.48 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 22785 0 0 0 2489 59 0 0 20 0 1 0 248442512 5272387584 849852 33554432000 4194304 5849940 140722434715328 140722434714504 5406226 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 1287204 849852 675 405 0 1284148 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 5148816 KiB
Current children cumulated memory: 3399408 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18142
/proc/meminfo: memFree=17923728/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=7403412 memory=5654048 CPUtime=51.09 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 209188 0 0 0 4998 111 0 0 20 0 1 0 248442512 7581093888 1413512 33554432000 4194304 5849940 140722434715328 140722434714200 5397642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 1850853 1413512 686 405 0 1847797 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 7403412 KiB
Current children cumulated memory: 5654048 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18143
/proc/meminfo: memFree=16873612/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702680 CPUtime=102.27 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 875790 0 0 0 10071 156 0 0 20 0 1 0 248442512 8654835712 1675670 33554432000 4194304 5849940 140722434715328 140722434714328 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675670 700 405 0 2109941 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702680 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18145
/proc/meminfo: memFree=16873224/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=162.28 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 1523817 0 0 0 16039 189 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714200 5313073 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18146
/proc/meminfo: memFree=16808032/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=222.27 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 2350268 0 0 0 21998 229 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5312848 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 18147
/proc/meminfo: memFree=16872760/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=282.26 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 3120781 0 0 0 27964 262 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5335774 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18210
/proc/meminfo: memFree=15973520/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=342.26 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 4167407 0 0 0 33916 310 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18211
/proc/meminfo: memFree=15711040/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=402.23 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 5054688 0 0 0 39870 353 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714200 5392194 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18220
/proc/meminfo: memFree=15710844/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=462.22 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 5720687 0 0 0 45836 386 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714488 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
################
# More data... #
################
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+1782.3 s]
/proc/loadavg: 2.25 2.15 2.09 3/188 18282
/proc/meminfo: memFree=15690640/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=1781.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 13889599 0 0 0 177349 850 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5335712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+1842.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/188 18283
/proc/meminfo: memFree=15164908/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=1842 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 14015742 0 0 0 183338 862 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 140227738701703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 18284
/proc/meminfo: memFree=15689776/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=1902 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 14155118 0 0 0 189326 874 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 18286
/proc/meminfo: memFree=15689548/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=1962 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 14291233 0 0 0 195316 884 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 18287
/proc/meminfo: memFree=15689672/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2021.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 14420813 0 0 0 201304 895 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714200 5313035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 18288
/proc/meminfo: memFree=15689796/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2081.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 14729145 0 0 0 207287 912 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5437768 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2081.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18290
/proc/meminfo: memFree=15690168/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2141.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15014571 0 0 0 213266 933 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5335774 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18291
/proc/meminfo: memFree=15690032/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2201.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15067810 0 0 0 219258 941 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 140227738701703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 18300
/proc/meminfo: memFree=15689876/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2261.98 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15354495 0 0 0 225237 961 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5335774 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2322.3 s]
/proc/loadavg: 2.40 2.12 2.08 3/188 18301
/proc/meminfo: memFree=15165616/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2321.98 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15489755 0 0 0 231224 974 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714040 5322988 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2382.3 s]
/proc/loadavg: 2.25 2.14 2.09 3/188 18302
/proc/meminfo: memFree=15689812/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2381.99 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15637814 0 0 0 237212 987 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 140227738701703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/188 18303
/proc/meminfo: memFree=15689996/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2441.98 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15770759 0 0 0 243200 998 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.10 2.07 3/188 18304
/proc/meminfo: memFree=15690164/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2501.98 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15901318 0 0 0 249187 1011 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 140227738701703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.09 2.07 3/187 18304
/proc/meminfo: memFree=15690180/32770624 swapFree=67108368/67108860
[pid=18141] ppid=18138 vsize=8451988 memory=6702688 CPUtime=2519.69 cores=0,2,4,6
/proc/18141/stat : 18141 (xcsp_picat) R 18138 18141 15953 0 -1 4202496 15922913 0 0 0 250956 1013 0 0 20 0 1 0 248442512 8654835712 1675672 33554432000 4194304 5849940 140722434715328 140722434714328 5438538 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 36487168 140722434720950 140722434721028 140722434721028 140722434723786 0
/proc/18141/statm: 2112997 1675672 702 405 0 2109941 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 8451988 KiB
Current children cumulated memory: 6702688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.09 s]
# the end of solver process 18141 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.56 s, system=10.2136 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.09
CPU time (s): 2519.78
CPU user time (s): 2509.56
CPU system time (s): 10.2136
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 8601872
Max. memory (cumulated for all children) (KiB): 6852524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.56
system time used= 10.2136
maximum resident set size= 6852524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15922913
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= 342
involuntary context switches= 3660
# summary of solver processes directly reported to runsolver:
# pid: 18141
# total CPU time (s): 2519.78
# total CPU user time (s): 2509.56
# total CPU system time (s): 10.2136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6553 second user time and 14.2049 second system time
The end