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 (309 MiB free)
memory of node 1: 16384 MiB (794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303090-1533995999/watcher-4303090-1533995999 -o /tmp/evaluation-result-4303090-1533995999/solver-4303090-1533995999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303090-1533995999.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=10342, runsolver pid=10335
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.87 2.27 2.03 3/189 10349
/proc/meminfo: memFree=1098824/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2025744 memory=24592 CPUtime=0.1 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 1194 0 0 0 10 0 0 0 20 0 1 0 217163066 2074361856 6148 33554432000 4194304 5849708 140727143635968 140727143635272 5137355 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 506436 6148 611 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24592 KiB
[startup+0.209857 s]*
/proc/loadavg: 2.87 2.27 2.03 2/187 10349
/proc/meminfo: memFree=1093996/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2025744 memory=38928 CPUtime=0.21 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 1215 0 0 0 21 0 0 0 20 0 1 0 217163066 2074361856 9732 33554432000 4194304 5849708 140727143635968 140727143635272 4508826 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 506436 9732 611 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 38928 KiB
[startup+0.309368 s]*
/proc/loadavg: 2.87 2.27 2.03 3/193 10369
/proc/meminfo: memFree=1080964/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2025744 memory=49380 CPUtime=0.3 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 1257 0 0 0 30 0 0 0 20 0 1 0 217163066 2074361856 12345 33554432000 4194304 5849708 140727143635968 140727143635272 4507531 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 506436 12345 619 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 49380 KiB
[startup+0.700295 s]
/proc/loadavg: 2.87 2.27 2.03 3/202 10378
/proc/meminfo: memFree=1037420/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2027168 memory=78580 CPUtime=0.69 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 2000 0 0 0 67 2 0 0 20 0 1 0 217163066 2075820032 19645 33554432000 4194304 5849708 140727143635968 140727143635272 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 506792 19645 694 405 0 503737 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027168 KiB
Current children cumulated memory: 78580 KiB
[startup+1.50031 s]
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1037828/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2038524 memory=90004 CPUtime=1.49 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 4378 0 0 0 140 9 0 0 20 0 1 0 217163066 2087448576 22501 33554432000 4194304 5849708 140727143635968 140727143635176 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 509631 22501 699 405 0 506576 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2038524 KiB
Current children cumulated memory: 90004 KiB
[startup+3.10947 s]
/proc/loadavg: 2.87 2.27 2.03 3/189 10417
/proc/meminfo: memFree=1011688/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2045948 memory=97416 CPUtime=3.1 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 14019 0 0 0 295 15 0 0 20 0 1 0 217163066 2095050752 24354 33554432000 4194304 5849708 140727143635968 140727143634216 5416851 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 511487 24354 723 405 0 508432 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045948 KiB
Current children cumulated memory: 97416 KiB
[startup+6.30033 s]
/proc/loadavg: 2.72 2.25 2.03 3/189 10417
/proc/meminfo: memFree=1013588/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2044016 memory=95860 CPUtime=6.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 15740 0 0 0 603 26 0 0 20 0 1 0 217163066 2093072384 23965 33554432000 4194304 5849708 140727143635968 140727143634616 5360805 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 511004 23965 740 405 0 507949 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2044016 KiB
Current children cumulated memory: 95860 KiB
[startup+12.7003 s]
/proc/loadavg: 2.66 2.24 2.03 3/189 10417
/proc/meminfo: memFree=1012992/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2048116 memory=101784 CPUtime=12.69 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 17506 0 0 0 1236 33 0 0 20 0 1 0 217163066 2097270784 25446 33554432000 4194304 5849708 140727143635968 140727143635128 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 512029 25446 742 405 0 508974 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2048116 KiB
Current children cumulated memory: 101784 KiB
[startup+25.5003 s]
/proc/loadavg: 2.52 2.23 2.03 3/189 10417
/proc/meminfo: memFree=991124/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2054148 memory=109744 CPUtime=25.49 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 20229 0 0 0 2503 46 0 0 20 0 1 0 217163066 2103447552 27436 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 513537 27436 742 405 0 510482 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2054148 KiB
Current children cumulated memory: 109744 KiB
[startup+51.1097 s]
/proc/loadavg: 2.34 2.21 2.03 3/189 10417
/proc/meminfo: memFree=929640/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2079660 memory=135700 CPUtime=51.1 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 28614 0 0 0 5048 62 0 0 20 0 1 0 217163066 2129571840 33925 33554432000 4194304 5849708 140727143635968 140727143634968 5437576 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 519915 33925 742 405 0 516860 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2079660 KiB
Current children cumulated memory: 135700 KiB
[startup+102.3 s]
/proc/loadavg: 2.15 2.18 2.03 3/189 10440
/proc/meminfo: memFree=895272/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2118504 memory=174544 CPUtime=102.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 43786 0 0 0 10144 85 0 0 20 0 1 0 217163066 2169348096 43636 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 529626 43636 742 405 0 526571 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2118504 KiB
Current children cumulated memory: 174544 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.15 2.03 3/189 10441
/proc/meminfo: memFree=827636/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2119164 memory=175204 CPUtime=162.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 57419 0 0 0 16124 105 0 0 20 0 1 0 217163066 2170023936 43801 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 529791 43801 742 405 0 526736 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2119164 KiB
Current children cumulated memory: 175204 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.12 2.03 3/189 10442
/proc/meminfo: memFree=830284/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2135548 memory=191580 CPUtime=222.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 58189 0 0 0 22110 119 0 0 20 0 1 0 217163066 2186801152 47895 33554432000 4194304 5849708 140727143635968 140727143634840 5392600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 533887 47895 742 405 0 530832 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2135548 KiB
Current children cumulated memory: 191580 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.10 2.03 3/189 10443
/proc/meminfo: memFree=816988/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2132592 memory=188632 CPUtime=282.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 71421 0 0 0 28094 135 0 0 20 0 1 0 217163066 2183774208 47158 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 533148 47158 742 405 0 530093 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2132592 KiB
Current children cumulated memory: 188632 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.03 3/187 10444
/proc/meminfo: memFree=745508/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2176728 memory=232564 CPUtime=342.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 73101 0 0 0 34082 147 0 0 20 0 1 0 217163066 2228969472 58141 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 544182 58141 742 405 0 541127 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2176728 KiB
Current children cumulated memory: 232564 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/187 10445
/proc/meminfo: memFree=808764/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2169348 memory=225388 CPUtime=402.29 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 88273 0 0 0 40071 158 0 0 20 0 1 0 217163066 2221412352 56347 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 542337 56347 742 405 0 539282 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2169348 KiB
Current children cumulated memory: 225388 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/187 10446
/proc/meminfo: memFree=795224/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2169348 memory=225388 CPUtime=462.3 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 90181 0 0 0 46057 173 0 0 20 0 1 0 217163066 2221412352 56347 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 542337 56347 742 405 0 539282 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2169348 KiB
Current children cumulated memory: 225388 KiB
################
# More data... #
################
/proc/10342/statm: 538719 52761 742 405 0 535664 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2154876 KiB
Current children cumulated memory: 211044 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10545
/proc/meminfo: memFree=279104/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2159656 memory=215696 CPUtime=1782.31 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 315874 0 0 0 177301 930 0 0 20 0 1 0 217163066 2211487744 53924 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 539914 53924 742 405 0 536859 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2159656 KiB
Current children cumulated memory: 215696 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10553
/proc/meminfo: memFree=272236/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2176952 memory=232756 CPUtime=1842.31 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 342385 0 0 0 183273 958 0 0 20 0 1 0 217163066 2229198848 58189 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 544238 58189 742 405 0 541183 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2176952 KiB
Current children cumulated memory: 232756 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10554
/proc/meminfo: memFree=236284/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=1902.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 369142 0 0 0 189247 985 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10555
/proc/meminfo: memFree=234672/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=1962.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 382486 0 0 0 195222 1010 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 5438341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10556
/proc/meminfo: memFree=230808/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=2022.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 421433 0 0 0 201194 1038 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10557
/proc/meminfo: memFree=239136/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=2082.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 447271 0 0 0 207161 1071 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 5437645 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 10558
/proc/meminfo: memFree=222668/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2235824 memory=291864 CPUtime=2142.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 468188 0 0 0 213130 1102 0 0 20 0 1 0 217163066 2289483776 72966 33554432000 4194304 5849708 140727143635968 140727143634968 5437736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 558956 72966 742 405 0 555901 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2235824 KiB
Current children cumulated memory: 291864 KiB
[startup+2202.3 s]
/proc/loadavg: 2.49 2.15 2.08 3/187 10560
/proc/meminfo: memFree=236788/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=2202.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 492411 0 0 0 219109 1123 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2262.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/187 10561
/proc/meminfo: memFree=219856/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2235824 memory=291864 CPUtime=2262.33 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 527271 0 0 0 225084 1149 0 0 20 0 1 0 217163066 2289483776 72966 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 558956 72966 742 405 0 555901 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2235824 KiB
Current children cumulated memory: 291864 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.10 2.07 3/187 10562
/proc/meminfo: memFree=253604/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=2322.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 560729 0 0 0 231051 1181 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 10563
/proc/meminfo: memFree=348144/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2219440 memory=275480 CPUtime=2382.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 577808 0 0 0 237025 1207 0 0 20 0 1 0 217163066 2272706560 68870 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 554860 68870 742 405 0 551805 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2219440 KiB
Current children cumulated memory: 275480 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 10572
/proc/meminfo: memFree=420252/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2143968 memory=200136 CPUtime=2442.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 591013 0 0 0 243003 1229 0 0 20 0 1 0 217163066 2195423232 50034 33554432000 4194304 5849708 140727143635968 140727143634968 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 535992 50034 742 405 0 532937 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2143968 KiB
Current children cumulated memory: 200136 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/188 10573
/proc/meminfo: memFree=434604/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2145100 memory=201140 CPUtime=2502.32 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 602603 0 0 0 248975 1257 0 0 20 0 1 0 217163066 2196582400 50285 33554432000 4194304 5849708 140727143635968 140727143635128 139788323479431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 536275 50285 742 405 0 533220 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2145100 KiB
Current children cumulated memory: 201140 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.05 2.05 3/188 10574
/proc/meminfo: memFree=407908/32770624 swapFree=67108496/67108860
[pid=10342] ppid=10335 vsize=2176244 memory=232284 CPUtime=2520.03 cores=1,3,5,7
/proc/10342/stat : 10342 (xcsp_picat) R 10335 10342 10084 0 -1 4202496 619984 0 0 0 250738 1265 0 0 20 0 1 0 217163066 2228473856 58071 33554432000 4194304 5849708 140727143635968 140727143634968 5438282 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 48119808 140727143642294 140727143642372 140727143642372 140727143645130 0
/proc/10342/statm: 544061 58071 742 405 0 541006 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2176244 KiB
Current children cumulated memory: 232284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10342 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.39 s, system=12.6652 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): 2507.39
CPU system time (s): 12.6652
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2263688
Max. memory (cumulated for all children) (KiB): 319728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.39
system time used= 12.6652
maximum resident set size= 319728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619992
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= 5
involuntary context switches= 984
# summary of solver processes directly reported to runsolver:
# pid: 10342
# total CPU time (s): 2520.05
# total CPU user time (s): 2507.39
# total CPU system time (s): 12.6652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90647 second user time and 18.4491 second system time
The end