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 (6826 MiB free)
memory of node 1: 16384 MiB (3928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293936-1532399883/watcher-4293936-1532399883 -o /tmp/evaluation-result-4293936-1532399883/solver-4293936-1532399883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13985 --watchdog 2580 xcsp_picat HOME/instance-4293936-1532399883.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=16924, runsolver pid=16921
[startup+0.100337 s]*
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10989660/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=128748 memory=26548 CPUtime=0.09 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 2293 0 0 0 9 0 0 0 20 0 1 0 57551532 131837952 6637 33554432000 4194304 5849740 140724262352832 140724262352120 4514936 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 32187 6637 634 405 0 29131 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 128748 KiB
Current children cumulated memory: 26548 KiB
[startup+0.209823 s]*
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10987612/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=128748 memory=28596 CPUtime=0.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 2294 0 0 0 20 0 0 0 20 0 1 0 57551532 131837952 7149 33554432000 4194304 5849740 140724262352832 140724262352120 5257115 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 32187 7149 634 405 0 29131 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128748 KiB
Current children cumulated memory: 28596 KiB
[startup+0.309497 s]*
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10985812/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=129336 memory=30480 CPUtime=0.3 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 2698 0 0 0 30 0 0 0 20 0 1 0 57551532 132440064 7620 33554432000 4194304 5849740 140724262352832 140724262352120 4333640 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 32334 7620 634 405 0 29278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129336 KiB
Current children cumulated memory: 30480 KiB
[startup+0.700307 s]
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10973712/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=136664 memory=43992 CPUtime=0.69 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 3776 0 0 0 68 1 0 0 20 0 1 0 57551532 139943936 10998 33554432000 4194304 5849740 140724262352832 140724262352136 4541580 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 34166 10998 634 405 0 31110 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136664 KiB
Current children cumulated memory: 43992 KiB
[startup+1.50033 s]
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10897628/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=149376 memory=50316 CPUtime=1.48 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 8200 0 0 0 144 4 0 0 20 0 1 0 57551532 152961024 12579 33554432000 4194304 5849740 140724262352832 140724262351800 5251173 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 37344 12579 634 405 0 34288 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149376 KiB
Current children cumulated memory: 50316 KiB
[startup+3.11009 s]
/proc/loadavg: 1.88 2.02 2.04 3/187 16925
/proc/meminfo: memFree=10858268/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=161932 memory=65000 CPUtime=3.09 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 18469 0 0 0 294 15 0 0 20 0 1 0 57551532 165818368 16250 33554432000 4194304 5849740 140724262352832 140724262352152 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 40483 16250 634 405 0 37427 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161932 KiB
Current children cumulated memory: 65000 KiB
[startup+6.3003 s]
/proc/loadavg: 1.97 2.04 2.05 3/187 16925
/proc/meminfo: memFree=10794460/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=178756 memory=123652 CPUtime=6.28 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 37683 0 0 0 585 43 0 0 20 0 1 0 57551532 183046144 30913 33554432000 4194304 5849740 140724262352832 140724262351800 139842867238707 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 44689 30913 634 405 0 41633 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 178756 KiB
Current children cumulated memory: 123652 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.04 2.05 3/187 16925
/proc/meminfo: memFree=10819840/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=283444 memory=135064 CPUtime=12.68 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 53775 0 0 0 1179 89 0 0 20 0 1 0 57551532 290246656 33766 33554432000 4194304 5849740 140724262352832 140724262351800 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 70861 33766 635 405 0 67805 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 283444 KiB
Current children cumulated memory: 135064 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 2.03 2.05 3/187 16925
/proc/meminfo: memFree=10582580/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=517908 memory=241496 CPUtime=25.48 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 76074 0 0 0 2369 179 0 0 20 0 1 0 57551532 530337792 60374 33554432000 4194304 5849740 140724262352832 140724262352136 5250657 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 129477 60374 635 405 0 126421 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 517908 KiB
Current children cumulated memory: 241496 KiB
[startup+51.1004 s]*
/proc/loadavg: 1.98 2.03 2.05 3/187 16925
/proc/meminfo: memFree=10444440/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=568676 memory=506064 CPUtime=51.09 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 112565 0 0 0 4742 367 0 0 20 0 1 0 57551532 582324224 126516 33554432000 4194304 5849740 140724262352832 140724262352152 5262149 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 142169 126516 635 405 0 139113 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 568676 KiB
Current children cumulated memory: 506064 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 16926
/proc/meminfo: memFree=10378248/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=1117168 memory=808236 CPUtime=102.28 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 157376 0 0 0 9531 697 0 0 20 0 1 0 57551532 1143980032 202059 33554432000 4194304 5849740 140724262352832 140724262351800 5250855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 279292 202059 635 405 0 276236 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1117168 KiB
Current children cumulated memory: 808236 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 16935
/proc/meminfo: memFree=8481700/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=3251416 memory=2585528 CPUtime=162.27 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 218937 0 0 0 15119 1108 0 0 20 0 1 0 57551532 3329449984 646382 33554432000 4194304 5849740 140724262352832 140724262352120 4539710 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 812854 646382 668 405 0 809798 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3251416 KiB
Current children cumulated memory: 2585528 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 16936
/proc/meminfo: memFree=6013020/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5798096 memory=5009556 CPUtime=222.27 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 264681 0 0 0 20914 1313 0 0 20 0 1 0 57551532 5937250304 1252389 33554432000 4194304 5849740 140724262352832 140724262351944 139842867740551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1449524 1252389 734 405 0 1446468 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 5798096 KiB
Current children cumulated memory: 5009556 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 16937
/proc/meminfo: memFree=5879960/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5950740 memory=5162368 CPUtime=282.27 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 282179 0 0 0 26908 1319 0 0 20 0 1 0 57551532 6093557760 1290592 33554432000 4194304 5849740 140724262352832 140724262351320 5319724 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1487685 1290592 760 405 0 1484629 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 5950740 KiB
Current children cumulated memory: 5162368 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 16938
/proc/meminfo: memFree=5861544/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5950740 memory=5162368 CPUtime=342.27 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 354522 0 0 0 32904 1323 0 0 20 0 1 0 57551532 6093557760 1290592 33554432000 4194304 5849740 140724262352832 140724262351320 5319712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1487685 1290592 760 405 0 1484629 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 5950740 KiB
Current children cumulated memory: 5162368 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16939
/proc/meminfo: memFree=5880224/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5950740 memory=5162368 CPUtime=402.26 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 420313 0 0 0 38900 1326 0 0 20 0 1 0 57551532 6093557760 1290592 33554432000 4194304 5849740 140724262352832 140724262351320 5319727 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1487685 1290592 760 405 0 1484629 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 5950740 KiB
Current children cumulated memory: 5162368 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16940
/proc/meminfo: memFree=5815432/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5950740 memory=5162368 CPUtime=462.26 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 498890 0 0 0 44897 1329 0 0 20 0 1 0 57551532 6093557760 1290592 33554432000 4194304 5849740 140724262352832 140724262351320 5319730 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1487685 1290592 760 405 0 1484629 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 5950740 KiB
Current children cumulated memory: 5162368 KiB
################
# More data... #
################
/proc/16924/statm: 1475536 1278450 766 405 0 1472480 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 5902144 KiB
Current children cumulated memory: 5113800 KiB
[startup+1842.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/187 17004
/proc/meminfo: memFree=5919128/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5902144 memory=5113800 CPUtime=1842.21 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 5639609 0 0 0 182173 2048 0 0 20 0 1 0 57551532 6043795456 1278450 33554432000 4194304 5849740 140724262352832 140724262351832 5307648 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475536 1278450 766 405 0 1472480 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 5902144 KiB
Current children cumulated memory: 5113800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 17005
/proc/meminfo: memFree=5951968/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5902144 memory=5113800 CPUtime=1902.21 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 5822387 0 0 0 188140 2081 0 0 20 0 1 0 57551532 6043795456 1278450 33554432000 4194304 5849740 140724262352832 140724262351320 5308316 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475536 1278450 766 405 0 1472480 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 5902144 KiB
Current children cumulated memory: 5113800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 17013
/proc/meminfo: memFree=5960168/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5901928 memory=5113584 CPUtime=1962.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 5999416 0 0 0 194109 2111 0 0 20 0 1 0 57551532 6043574272 1278396 33554432000 4194304 5849740 140724262352832 140724262351832 5307306 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475482 1278396 766 405 0 1472426 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 5901928 KiB
Current children cumulated memory: 5113584 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17014
/proc/meminfo: memFree=5960372/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5901928 memory=5113584 CPUtime=2022.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 6198062 0 0 0 200072 2148 0 0 20 0 1 0 57551532 6043574272 1278396 33554432000 4194304 5849740 140724262352832 140724262351832 139842867740551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475482 1278396 766 405 0 1472426 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 5901928 KiB
Current children cumulated memory: 5113584 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 17015
/proc/meminfo: memFree=5960884/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5901928 memory=5113584 CPUtime=2082.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 6391619 0 0 0 206040 2180 0 0 20 0 1 0 57551532 6043574272 1278396 33554432000 4194304 5849740 140724262352832 140724262351832 5437808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475482 1278396 766 405 0 1472426 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 5901928 KiB
Current children cumulated memory: 5113584 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 17016
/proc/meminfo: memFree=5961080/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5901736 memory=5113392 CPUtime=2142.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 6593749 0 0 0 212002 2218 0 0 20 0 1 0 57551532 6043377664 1278348 33554432000 4194304 5849740 140724262352832 140724262351832 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475434 1278348 766 405 0 1472378 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 5901736 KiB
Current children cumulated memory: 5113392 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 17017
/proc/meminfo: memFree=5961272/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5901736 memory=5113392 CPUtime=2202.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 6767892 0 0 0 217970 2250 0 0 20 0 1 0 57551532 6043377664 1278348 33554432000 4194304 5849740 140724262352832 140724262351832 139842867740551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1475434 1278348 766 405 0 1472378 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 5901736 KiB
Current children cumulated memory: 5113392 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17018
/proc/meminfo: memFree=5957452/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905784 memory=5117440 CPUtime=2262.2 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 6972088 0 0 0 223939 2281 0 0 20 0 1 0 57551532 6047522816 1279360 33554432000 4194304 5849740 140724262352832 140724262351320 5376016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476446 1279360 766 405 0 1473390 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 5905784 KiB
Current children cumulated memory: 5117440 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17019
/proc/meminfo: memFree=5957524/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905696 memory=5117352 CPUtime=2322.19 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7169357 0 0 0 229904 2315 0 0 20 0 1 0 57551532 6047432704 1279338 33554432000 4194304 5849740 140724262352832 140724262351832 5438392 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476424 1279338 766 405 0 1473368 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 5905696 KiB
Current children cumulated memory: 5117352 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8817460/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905696 memory=5117352 CPUtime=2382.19 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7364109 0 0 0 235870 2349 0 0 20 0 1 0 57551532 6047432704 1279338 33554432000 4194304 5849740 140724262352832 140724262351832 139842867740551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476424 1279338 766 405 0 1473368 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 5905696 KiB
Current children cumulated memory: 5117352 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17082
/proc/meminfo: memFree=8220344/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905696 memory=5117352 CPUtime=2442.19 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7568665 0 0 0 241837 2382 0 0 20 0 1 0 57551532 6047432704 1279338 33554432000 4194304 5849740 140724262352832 140724262351832 5338893 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476424 1279338 766 405 0 1473368 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 5905696 KiB
Current children cumulated memory: 5117352 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17083
/proc/meminfo: memFree=8031168/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905696 memory=5117352 CPUtime=2502.18 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7738042 0 0 0 247801 2417 0 0 20 0 1 0 57551532 6047432704 1279338 33554432000 4194304 5849740 140724262352832 140724262351832 5338956 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476424 1279338 766 405 0 1473368 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 5905696 KiB
Current children cumulated memory: 5117352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 17091
/proc/meminfo: memFree=7485644/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905560 memory=5117216 CPUtime=2519.88 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7790470 0 0 0 249560 2428 0 0 20 0 1 0 57551532 6047293440 1279304 33554432000 4194304 5849740 140724262352832 140724262351832 5437620 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476390 1279304 766 405 0 1473334 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 5905560 KiB
Current children cumulated memory: 5117216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 16924 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2495.61 s, system=24.31 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 17091
/proc/meminfo: memFree=7485644/32770624 swapFree=67108860/67108860
[pid=16924] ppid=16921 vsize=5905560 memory=5117216 CPUtime=2519.88 cores=0,2,4,6
/proc/16924/stat : 16924 (xcsp_picat) R 16921 16924 13954 0 -1 4202496 7790470 0 0 0 249560 2428 0 0 20 0 1 0 57551532 6047293440 1279304 33554432000 4194304 5849740 140724262352832 140724262351832 5437620 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22228992 140724262356150 140724262356228 140724262356228 140724262358986 0
/proc/16924/statm: 1476390 1279304 766 405 0 1473334 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 5905560 KiB
Current children cumulated memory: 5117216 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.92
CPU user time (s): 2495.61
CPU system time (s): 24.31
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 7418412
Max. memory (cumulated for all children) (KiB): 5248428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2495.61
system time used= 24.31
maximum resident set size= 5248428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7790470
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= 8
involuntary context switches= 3195
# summary of solver processes directly reported to runsolver:
# pid: 16924
# total CPU time (s): 2519.92
# total CPU user time (s): 2495.61
# total CPU system time (s): 24.31
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77907 second user time and 18.7026 second system time
The end