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 (11300 MiB free)
memory of node 1: 16384 MiB (9848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309441-1534303819/watcher-4309441-1534303819 -o /tmp/evaluation-result-4309441-1534303819/solver-4309441-1534303819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16868 --watchdog 2580 xcsp_picat HOME/instance-4309441-1534303819.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=18421, runsolver pid=18418
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21644452/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2025904 memory=14468 CPUtime=0.1 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 1759 0 0 0 10 0 0 0 20 0 1 0 247945073 2074525696 3617 33554432000 4194304 5849940 140731311643520 140731311643520 5618986 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 506476 3617 703 405 0 503420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025904 KiB
Current children cumulated memory: 14468 KiB
[startup+0.209699 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21644080/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2026168 memory=14728 CPUtime=0.21 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 1825 0 0 0 21 0 0 0 20 0 1 0 247945073 2074796032 3682 33554432000 4194304 5849940 140731311643520 140731311643520 5473542 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 506542 3682 706 405 0 503486 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 14728 KiB
[startup+0.309 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21644080/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2026168 memory=14728 CPUtime=0.31 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 1825 0 0 0 31 0 0 0 20 0 1 0 247945073 2074796032 3682 33554432000 4194304 5849940 140731311643520 140731311643520 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 506542 3682 706 405 0 503486 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 14728 KiB
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21643432/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2026616 memory=15144 CPUtime=0.69 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 1971 0 0 0 69 0 0 0 20 0 1 0 247945073 2075254784 3786 33554432000 4194304 5849940 140731311643520 140731311643520 5360666 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 506654 3786 723 405 0 503598 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 15144 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21643556/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2026544 memory=15216 CPUtime=1.49 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 2175 0 0 0 149 0 0 0 20 0 1 0 247945073 2075181056 3804 33554432000 4194304 5849940 140731311643520 140731311642616 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 506636 3804 742 405 0 503580 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026544 KiB
Current children cumulated memory: 15216 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18422
/proc/meminfo: memFree=21641184/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2029372 memory=17952 CPUtime=3.1 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 3274 0 0 0 308 2 0 0 20 0 1 0 247945073 2078076928 4488 33554432000 4194304 5849940 140731311643520 140731311642616 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 507343 4488 747 405 0 504287 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029372 KiB
Current children cumulated memory: 17952 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 18422
/proc/meminfo: memFree=21638704/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2031392 memory=20092 CPUtime=6.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 7106 0 0 0 622 7 0 0 20 0 1 0 247945073 2080145408 5023 33554432000 4194304 5849940 140731311643520 140731311642680 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 507848 5023 747 405 0 504792 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031392 KiB
Current children cumulated memory: 20092 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 18422
/proc/meminfo: memFree=21573620/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2034024 memory=22792 CPUtime=12.69 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 15757 0 0 0 1252 17 0 0 20 0 1 0 247945073 2082840576 5698 33554432000 4194304 5849940 140731311643520 140731311642520 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 508506 5698 747 405 0 505450 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034024 KiB
Current children cumulated memory: 22792 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/189 18422
/proc/meminfo: memFree=21570484/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2037116 memory=25836 CPUtime=25.49 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 33641 0 0 0 2516 33 0 0 20 0 1 0 247945073 2086006784 6459 33554432000 4194304 5849940 140731311643520 140731311642680 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 509279 6459 747 405 0 506223 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2037116 KiB
Current children cumulated memory: 25836 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 18422
/proc/meminfo: memFree=21560724/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2048656 memory=37432 CPUtime=51.1 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 51829 0 0 0 5051 59 0 0 20 0 1 0 247945073 2097823744 9358 33554432000 4194304 5849940 140731311643520 140731311642520 5359320 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 512164 9358 747 405 0 509108 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2048656 KiB
Current children cumulated memory: 37432 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/189 18423
/proc/meminfo: memFree=21812008/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2065044 memory=56568 CPUtime=102.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 81949 0 0 0 10139 90 0 0 20 0 1 0 247945073 2114605056 14142 33554432000 4194304 5849940 140731311643520 140731311642680 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 516261 14142 747 405 0 513205 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2065044 KiB
Current children cumulated memory: 56568 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/189 18424
/proc/meminfo: memFree=21781652/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2085404 memory=77952 CPUtime=162.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 97254 0 0 0 16114 115 0 0 20 0 1 0 247945073 2135453696 19488 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 521351 19488 747 405 0 518295 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2085404 KiB
Current children cumulated memory: 77952 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 4/189 18425
/proc/meminfo: memFree=21748676/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2098260 memory=90860 CPUtime=222.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 116036 0 0 0 22094 135 0 0 20 0 1 0 247945073 2148618240 22715 33554432000 4194304 5849940 140731311643520 140731311642520 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 524565 22715 747 405 0 521509 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 90860 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/189 18614
/proc/meminfo: memFree=20937992/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2118108 memory=110368 CPUtime=282.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 128334 0 0 0 28071 158 0 0 20 0 1 0 247945073 2168942592 27592 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 529527 27592 747 405 0 526471 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2118108 KiB
Current children cumulated memory: 110368 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 6/187 18615
/proc/meminfo: memFree=20714148/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2129804 memory=122296 CPUtime=342.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 141909 0 0 0 34058 171 0 0 20 0 1 0 247945073 2180919296 30574 33554432000 4194304 5849940 140731311643520 140731311642680 5437959 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 532451 30574 747 405 0 529395 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2129804 KiB
Current children cumulated memory: 122296 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/187 18616
/proc/meminfo: memFree=20500788/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2146448 memory=138940 CPUtime=402.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 144214 0 0 0 40048 181 0 0 20 0 1 0 247945073 2197962752 34735 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 536612 34735 747 405 0 533556 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2146448 KiB
Current children cumulated memory: 138940 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 6/187 18617
/proc/meminfo: memFree=20138716/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2098576 memory=91068 CPUtime=462.29 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 167965 0 0 0 46031 198 0 0 20 0 1 0 247945073 2148941824 22767 33554432000 4194304 5849940 140731311643520 140731311642520 5437815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 524644 22767 747 405 0 521588 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2098576 KiB
Current children cumulated memory: 91068 KiB
################
# More data... #
################
/proc/18421/statm: 573245 71368 747 405 0 570189 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2292980 KiB
Current children cumulated memory: 285472 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 5/187 18658
/proc/meminfo: memFree=18200736/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2292980 memory=285472 CPUtime=1782.31 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 556734 0 0 0 177771 460 0 0 20 0 1 0 247945073 2348011520 71368 33554432000 4194304 5849940 140731311643520 140731311642520 5438029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 573245 71368 747 405 0 570189 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2292980 KiB
Current children cumulated memory: 285472 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/189 18668
/proc/meminfo: memFree=18134556/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2358516 memory=351008 CPUtime=1842.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 596944 0 0 0 183761 471 0 0 20 0 1 0 247945073 2415120384 87752 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 589629 87752 747 405 0 586573 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 351008 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 5/189 18691
/proc/meminfo: memFree=18133452/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2358516 memory=350908 CPUtime=1902.31 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 634519 0 0 0 189750 481 0 0 20 0 1 0 247945073 2415120384 87727 33554432000 4194304 5849940 140731311643520 140731311642520 5438372 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 589629 87727 747 405 0 586573 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 350908 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 6/189 18692
/proc/meminfo: memFree=18133736/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2292980 memory=285472 CPUtime=1962.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 673544 0 0 0 195741 491 0 0 20 0 1 0 247945073 2348011520 71368 33554432000 4194304 5849940 140731311643520 140731311642520 5438029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 573245 71368 747 405 0 570189 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2292980 KiB
Current children cumulated memory: 285472 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/189 18693
/proc/meminfo: memFree=18134596/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2358516 memory=351008 CPUtime=2022.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 703438 0 0 0 201732 500 0 0 20 0 1 0 247945073 2415120384 87752 33554432000 4194304 5849940 140731311643520 140731311642520 139851897511815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 589629 87752 747 405 0 586573 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 351008 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/189 18694
/proc/meminfo: memFree=18134768/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2358516 memory=350936 CPUtime=2082.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 751333 0 0 0 207720 512 0 0 20 0 1 0 247945073 2415120384 87734 33554432000 4194304 5849940 140731311643520 140731311642520 5312960 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 589629 87734 747 405 0 586573 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 350936 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 18695
/proc/meminfo: memFree=18274452/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2218332 memory=210824 CPUtime=2142.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 794165 0 0 0 213710 522 0 0 20 0 1 0 247945073 2271571968 52706 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 554583 52706 747 405 0 551527 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2218332 KiB
Current children cumulated memory: 210824 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/187 18696
/proc/meminfo: memFree=18272176/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2221596 memory=213824 CPUtime=2202.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 801466 0 0 0 219697 535 0 0 20 0 1 0 247945073 2274914304 53456 33554432000 4194304 5849940 140731311643520 140731311642520 5437824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 555399 53456 747 405 0 552343 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2221596 KiB
Current children cumulated memory: 213824 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 4/187 18697
/proc/meminfo: memFree=17221432/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2221596 memory=214088 CPUtime=2262.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 825856 0 0 0 225685 547 0 0 20 0 1 0 247945073 2274914304 53522 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 555399 53522 747 405 0 552343 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2221596 KiB
Current children cumulated memory: 214088 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/187 18698
/proc/meminfo: memFree=17199556/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2242020 memory=234512 CPUtime=2322.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 849918 0 0 0 231677 555 0 0 20 0 1 0 247945073 2295828480 58628 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 560505 58628 747 405 0 557449 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 234512 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/187 18699
/proc/meminfo: memFree=17195580/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2242020 memory=234512 CPUtime=2382.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 852638 0 0 0 237670 562 0 0 20 0 1 0 247945073 2295828480 58628 33554432000 4194304 5849940 140731311643520 140731311642520 5438465 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 560505 58628 747 405 0 557449 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 234512 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 18708
/proc/meminfo: memFree=17196252/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2242020 memory=234512 CPUtime=2442.32 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 872701 0 0 0 243663 569 0 0 20 0 1 0 247945073 2295828480 58628 33554432000 4194304 5849940 140731311643520 140731311642520 5313367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 560505 58628 747 405 0 557449 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 234512 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 18709
/proc/meminfo: memFree=17196324/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2242020 memory=234512 CPUtime=2502.33 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 873631 0 0 0 249653 580 0 0 20 0 1 0 247945073 2295828480 58628 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 560505 58628 747 405 0 557449 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 234512 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 18709
/proc/meminfo: memFree=17196644/32770624 swapFree=67105356/67108860
[pid=18421] ppid=18418 vsize=2242020 memory=234512 CPUtime=2520.04 cores=1,3,5,7
/proc/18421/stat : 18421 (xcsp_picat) R 18418 18421 16836 0 -1 4202496 877213 0 0 0 251422 582 0 0 20 0 1 0 247945073 2295828480 58628 33554432000 4194304 5849940 140731311643520 140731311642520 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 34205696 140731311645878 140731311645956 140731311645956 140731311648714 0
/proc/18421/statm: 560505 58628 747 405 0 557449 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 234512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.22 s, system=5.83008 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): 2514.22
CPU system time (s): 5.83008
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2358516
Max. memory (cumulated for all children) (KiB): 351008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.22
system time used= 5.83008
maximum resident set size= 351008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877213
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= 6
involuntary context switches= 1016
# summary of solver processes directly reported to runsolver:
# pid: 18421
# total CPU time (s): 2520.05
# total CPU user time (s): 2514.22
# total CPU system time (s): 5.83008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94213 second user time and 20.2666 second system time
The end