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 (1401 MiB free)
memory of node 1: 16384 MiB (2449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303152-1534032578/watcher-4303152-1534032578 -o /tmp/evaluation-result-4303152-1534032578/solver-4303152-1534032578 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534027537-30488 --watchdog 2580 xcsp_picat HOME/instance-4303152-1534032578.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=31034, runsolver pid=31031
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 31035
/proc/meminfo: memFree=3920528/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2025744 memory=25408 CPUtime=0.1 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 1422 0 0 0 10 0 0 0 20 0 1 0 220821036 2074361856 6352 33554432000 4194304 5849708 140725868157680 140725868157680 4481152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 506436 6352 592 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25408 KiB
[startup+0.209713 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 31035
/proc/meminfo: memFree=3908240/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2025744 memory=37696 CPUtime=0.21 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 1428 0 0 0 21 0 0 0 20 0 1 0 220821036 2074361856 9424 33554432000 4194304 5849708 140725868157680 140725868157680 140061927967744 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 506436 9424 592 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 37696 KiB
[startup+0.309578 s]*
/proc/loadavg: 2.00 2.01 1.96 3/188 31035
/proc/meminfo: memFree=3895828/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2025744 memory=50440 CPUtime=0.31 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 1522 0 0 0 31 0 0 0 20 0 1 0 220821036 2074361856 12610 33554432000 4194304 5849708 140725868157680 140725868157680 4658562 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 506436 12610 621 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50440 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 31035
/proc/meminfo: memFree=3859616/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2027256 memory=88148 CPUtime=0.69 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 2308 0 0 0 67 2 0 0 20 0 1 0 220821036 2075910144 22037 33554432000 4194304 5849708 140725868157680 140725868157680 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 506814 22037 703 405 0 503759 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027256 KiB
Current children cumulated memory: 88148 KiB
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 31035
/proc/meminfo: memFree=3856640/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2110268 memory=173092 CPUtime=1.49 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 9318 0 0 0 144 5 0 0 20 0 1 0 220821036 2160914432 43273 33554432000 4194304 5849708 140725868157680 140725868157680 5406167 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 527567 43273 705 405 0 524512 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2110268 KiB
Current children cumulated memory: 173092 KiB
[startup+3.10902 s]
/proc/loadavg: 1.92 2.00 1.95 3/188 31035
/proc/meminfo: memFree=3707660/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2175936 memory=239020 CPUtime=3.09 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 10005 0 0 0 303 6 0 0 20 0 1 0 220821036 2228158464 59755 33554432000 4194304 5849708 140725868157680 140725868156872 5473603 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 543984 59755 722 405 0 540929 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2175936 KiB
Current children cumulated memory: 239020 KiB
[startup+6.30026 s]
/proc/loadavg: 1.92 2.00 1.95 3/188 31035
/proc/meminfo: memFree=3707552/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2175900 memory=239028 CPUtime=6.28 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 10038 0 0 0 622 6 0 0 20 0 1 0 220821036 2228121600 59757 33554432000 4194304 5849708 140725868157680 140725868156776 5606235 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 543975 59757 722 405 0 540920 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2175900 KiB
Current children cumulated memory: 239028 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.95 3/188 31035
/proc/meminfo: memFree=3707552/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2175900 memory=239028 CPUtime=12.68 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 10182 0 0 0 1262 6 0 0 20 0 1 0 220821036 2228121600 59757 33554432000 4194304 5849708 140725868157680 140725868156776 5605446 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 543975 59757 722 405 0 540920 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2175900 KiB
Current children cumulated memory: 239028 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.95 3/188 31040
/proc/meminfo: memFree=3688632/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2194388 memory=257520 CPUtime=25.49 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 44064 0 0 0 2537 12 0 0 20 0 1 0 220821036 2247053312 64380 33554432000 4194304 5849708 140725868157680 140725868155224 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 548597 64380 750 405 0 545542 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2194388 KiB
Current children cumulated memory: 257520 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 1.95 3/188 31040
/proc/meminfo: memFree=3685496/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2197568 memory=260632 CPUtime=51.09 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 87291 0 0 0 5089 20 0 0 20 0 1 0 220821036 2250309632 65158 33554432000 4194304 5849708 140725868157680 140725868156168 4209051 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 549392 65158 754 405 0 546337 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2197568 KiB
Current children cumulated memory: 260632 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/188 31102
/proc/meminfo: memFree=3754916/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2197496 memory=262688 CPUtime=102.29 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 122338 0 0 0 10195 34 0 0 20 0 1 0 220821036 2250235904 65672 33554432000 4194304 5849708 140725868157680 140725868156680 5311571 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 549374 65672 763 405 0 546319 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2197496 KiB
Current children cumulated memory: 262688 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/188 31103
/proc/meminfo: memFree=3716792/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2209116 memory=274348 CPUtime=162.27 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 156055 0 0 0 16167 60 0 0 20 0 1 0 220821036 2262134784 68587 33554432000 4194304 5849708 140725868157680 140725868156680 5311571 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 552279 68587 763 405 0 549224 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2209116 KiB
Current children cumulated memory: 274348 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31104
/proc/meminfo: memFree=3694320/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2209116 memory=275748 CPUtime=222.27 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 163614 0 0 0 22147 80 0 0 20 0 1 0 220821036 2262134784 68937 33554432000 4194304 5849708 140725868157680 140725868156680 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 552279 68937 763 405 0 549224 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2209116 KiB
Current children cumulated memory: 275748 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31105
/proc/meminfo: memFree=3675412/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2212320 memory=280996 CPUtime=282.27 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 169090 0 0 0 28120 107 0 0 20 0 1 0 220821036 2265415680 70249 33554432000 4194304 5849708 140725868157680 140725868156680 5311552 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 553080 70249 763 405 0 550025 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2212320 KiB
Current children cumulated memory: 280996 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31106
/proc/meminfo: memFree=3697684/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2213796 memory=282472 CPUtime=342.27 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 178214 0 0 0 34088 139 0 0 20 0 1 0 220821036 2266927104 70618 33554432000 4194304 5849708 140725868157680 140725868156680 5307626 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 553449 70618 763 405 0 550394 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2213796 KiB
Current children cumulated memory: 282472 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31107
/proc/meminfo: memFree=3682756/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2214164 memory=282840 CPUtime=402.26 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 184270 0 0 0 40057 169 0 0 20 0 1 0 220821036 2267303936 70710 33554432000 4194304 5849708 140725868157680 140725868156680 5339665 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 553541 70710 763 405 0 550486 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2214164 KiB
Current children cumulated memory: 282840 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31108
/proc/meminfo: memFree=3544164/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2221204 memory=287868 CPUtime=462.27 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 190162 0 0 0 46029 198 0 0 20 0 1 0 220821036 2274512896 71967 33554432000 4194304 5849708 140725868157680 140725868156680 5340254 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 555301 71967 763 405 0 552246 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2221204 KiB
Current children cumulated memory: 287868 KiB
################
# More data... #
################
/proc/31034/statm: 600519 116003 763 405 0 597464 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2402076 KiB
Current children cumulated memory: 464012 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31143
/proc/meminfo: memFree=2926124/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2402076 memory=464012 CPUtime=1782.22 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 677004 0 0 0 177352 870 0 0 20 0 1 0 220821036 2459725824 116003 33554432000 4194304 5849708 140725868157680 140725868156680 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 600519 116003 763 405 0 597464 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2402076 KiB
Current children cumulated memory: 464012 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31149
/proc/meminfo: memFree=3134828/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2221764 memory=289828 CPUtime=1842.22 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 704483 0 0 0 183330 892 0 0 20 0 1 0 220821036 2275086336 72457 33554432000 4194304 5849708 140725868157680 140725868156840 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 555441 72457 763 405 0 552386 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2221764 KiB
Current children cumulated memory: 289828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31150
/proc/meminfo: memFree=3369572/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2221764 memory=289828 CPUtime=1902.22 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 709148 0 0 0 189313 909 0 0 20 0 1 0 220821036 2275086336 72457 33554432000 4194304 5849708 140725868157680 140725868156680 5307715 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 555441 72457 763 405 0 552386 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2221764 KiB
Current children cumulated memory: 289828 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31151
/proc/meminfo: memFree=3431320/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2221764 memory=289828 CPUtime=1962.21 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 733358 0 0 0 195286 935 0 0 20 0 1 0 220821036 2275086336 72457 33554432000 4194304 5849708 140725868157680 140725868156328 5416483 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 555441 72457 763 405 0 552386 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2221764 KiB
Current children cumulated memory: 289828 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31152
/proc/meminfo: memFree=3424476/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2221764 memory=289828 CPUtime=2022.21 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 754792 0 0 0 201265 956 0 0 20 0 1 0 220821036 2275086336 72457 33554432000 4194304 5849708 140725868157680 140725868156680 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 555441 72457 763 405 0 552386 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2221764 KiB
Current children cumulated memory: 289828 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31153
/proc/meminfo: memFree=3409516/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2234408 memory=297584 CPUtime=2082.21 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 778687 0 0 0 207232 989 0 0 20 0 1 0 220821036 2288033792 74396 33554432000 4194304 5849708 140725868157680 140725868156440 5302798 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 558602 74396 763 405 0 555547 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2234408 KiB
Current children cumulated memory: 297584 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31154
/proc/meminfo: memFree=3392092/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=305776 CPUtime=2142.2 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 802342 0 0 0 213199 1021 0 0 20 0 1 0 220821036 2297462784 76444 33554432000 4194304 5849708 140725868157680 140725868156680 5307587 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 76444 763 405 0 557849 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 305776 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31155
/proc/meminfo: memFree=3386760/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2202.21 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 823952 0 0 0 219168 1053 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156392 5311552 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31156
/proc/meminfo: memFree=3365592/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2262.2 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 845231 0 0 0 225132 1088 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156328 5359150 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31157
/proc/meminfo: memFree=3364724/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2322.2 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 869912 0 0 0 231098 1122 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156680 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31158
/proc/meminfo: memFree=3364520/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2382.2 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 890182 0 0 0 237063 1157 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156552 140061927989127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31164
/proc/meminfo: memFree=3324080/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2442.2 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 912407 0 0 0 243029 1191 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156680 5307618 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 31165
/proc/meminfo: memFree=3280676/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2502.19 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 933221 0 0 0 248989 1230 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156840 5311571 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 31165
/proc/meminfo: memFree=3333340/32770624 swapFree=67108860/67108860
[pid=31034] ppid=31031 vsize=2243616 memory=311920 CPUtime=2519.9 cores=0,2,4,6
/proc/31034/stat : 31034 (xcsp_picat) R 31031 31034 30457 0 -1 4202496 936607 0 0 0 250750 1240 0 0 20 0 1 0 220821036 2297462784 77980 33554432000 4194304 5849708 140725868157680 140725868156680 5312782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16203776 140725868160182 140725868160260 140725868160260 140725868163018 0
/proc/31034/statm: 560904 77980 763 405 0 557849 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2243616 KiB
Current children cumulated memory: 311920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 31034 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.5 s, system=12.4156 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.92
CPU user time (s): 2507.5
CPU system time (s): 12.4156
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2857028
Max. memory (cumulated for all children) (KiB): 919308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.5
system time used= 12.4156
maximum resident set size= 919308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 936607
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= 19
involuntary context switches= 885
# summary of solver processes directly reported to runsolver:
# pid: 31034
# total CPU time (s): 2519.92
# total CPU user time (s): 2507.5
# total CPU system time (s): 12.4156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.26137 second user time and 18.6912 second system time
The end