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 (7799 MiB free)
memory of node 1: 16384 MiB (8688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292996-1532301183/watcher-4292996-1532301183 -o /tmp/evaluation-result-4292996-1532301183/solver-4292996-1532301183 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8378 --watchdog 2580 xcsp_picat HOME/instance-4292996-1532301183.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=8958, runsolver pid=8955
[startup+0.100216 s]*
/proc/loadavg: 2.43 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16849040/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=111688 memory=36692 CPUtime=0.1 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 1679 0 0 0 10 0 0 0 20 0 1 0 47681507 114368512 9173 33554432000 4194304 5849740 140730615485152 140730615485152 4514912 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 27922 9173 620 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 36692 KiB
[startup+0.20992 s]*
/proc/loadavg: 2.43 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16834332/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=119504 memory=55588 CPUtime=0.2 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 1804 0 0 0 20 0 0 0 20 0 1 0 47681507 122372096 13897 33554432000 4194304 5849740 140730615485152 140730615485152 4924399 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 29876 13897 636 405 0 26820 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 55588 KiB
[startup+0.309827 s]*
/proc/loadavg: 2.39 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16821672/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=119504 memory=66332 CPUtime=0.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 1909 0 0 0 30 0 0 0 20 0 1 0 47681507 122372096 16583 33554432000 4194304 5849740 140730615485152 140730615485152 4484359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 29876 16583 636 405 0 26820 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 66332 KiB
[startup+0.700437 s]
/proc/loadavg: 2.39 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16806904/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=176936 memory=93520 CPUtime=0.69 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 3908 0 0 0 67 2 0 0 20 0 1 0 47681507 181182464 23380 33554432000 4194304 5849740 140730615485152 140730615484152 5249600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 44234 23380 675 405 0 41178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 176936 KiB
Current children cumulated memory: 93520 KiB
[startup+1.50034 s]
/proc/loadavg: 2.39 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16686132/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=261316 memory=129064 CPUtime=1.5 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 4694 0 0 0 146 4 0 0 20 0 1 0 47681507 267587584 32266 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 65329 32266 728 405 0 62273 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 261316 KiB
Current children cumulated memory: 129064 KiB
[startup+3.10977 s]
/proc/loadavg: 2.39 2.17 2.05 3/192 8959
/proc/meminfo: memFree=16742960/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=279492 memory=147264 CPUtime=3.1 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 8351 0 0 0 293 17 0 0 20 0 1 0 47681507 286199808 36816 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 69873 36816 740 405 0 66817 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 279492 KiB
Current children cumulated memory: 147264 KiB
[startup+6.30033 s]
/proc/loadavg: 2.36 2.16 2.05 3/192 8959
/proc/meminfo: memFree=16738808/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=279492 memory=147288 CPUtime=6.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 8897 0 0 0 607 23 0 0 20 0 1 0 47681507 286199808 36822 33554432000 4194304 5849740 140730615485152 140730615484264 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 69873 36822 740 405 0 66817 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 279492 KiB
Current children cumulated memory: 147288 KiB
[startup+12.7004 s]
/proc/loadavg: 2.33 2.16 2.05 3/192 8959
/proc/meminfo: memFree=16714352/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=304072 memory=171932 CPUtime=12.69 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 13990 0 0 0 1239 30 0 0 20 0 1 0 47681507 311369728 42983 33554432000 4194304 5849740 140730615485152 140730615484264 5360882 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 76018 42983 756 405 0 72962 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 304072 KiB
Current children cumulated memory: 171932 KiB
[startup+25.5004 s]
/proc/loadavg: 2.28 2.15 2.05 3/192 9020
/proc/meminfo: memFree=16334560/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=304072 memory=171984 CPUtime=25.49 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 22626 0 0 0 2516 33 0 0 20 0 1 0 47681507 311369728 42996 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 76018 42996 769 405 0 72962 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304072 KiB
Current children cumulated memory: 171984 KiB
[startup+51.1097 s]
/proc/loadavg: 2.10 2.12 2.04 3/192 9020
/proc/meminfo: memFree=16430456/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=308596 memory=172976 CPUtime=51.09 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 31387 0 0 0 5065 44 0 0 20 0 1 0 47681507 316002304 43244 33554432000 4194304 5849740 140730615485152 140730615484312 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 77149 43244 772 405 0 74093 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 308596 KiB
Current children cumulated memory: 172976 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/192 9022
/proc/meminfo: memFree=16384092/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=317896 memory=185820 CPUtime=102.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 39126 0 0 0 10146 84 0 0 20 0 1 0 47681507 325525504 46455 33554432000 4194304 5849740 140730615485152 140730615483640 5308848 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 79474 46455 772 405 0 76418 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 317896 KiB
Current children cumulated memory: 185820 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/191 9023
/proc/meminfo: memFree=16196464/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=342412 memory=210132 CPUtime=162.29 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 48344 0 0 0 16083 146 0 0 20 0 1 0 47681507 350629888 52533 33554432000 4194304 5849740 140730615485152 140730615484152 5392175 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 85603 52533 772 405 0 82547 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 342412 KiB
Current children cumulated memory: 210132 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/191 9024
/proc/meminfo: memFree=16186004/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=346776 memory=220120 CPUtime=222.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 53012 0 0 0 22027 203 0 0 20 0 1 0 47681507 355098624 55030 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 86694 55030 772 405 0 83638 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 346776 KiB
Current children cumulated memory: 220120 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/191 9025
/proc/meminfo: memFree=16195636/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=362732 memory=232360 CPUtime=282.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 54046 0 0 0 27969 261 0 0 20 0 1 0 47681507 371437568 58090 33554432000 4194304 5849740 140730615485152 140730615484312 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 90683 58090 772 405 0 87627 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 362732 KiB
Current children cumulated memory: 232360 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/192 9027
/proc/meminfo: memFree=16196280/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=362732 memory=232408 CPUtime=342.3 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 58922 0 0 0 33909 321 0 0 20 0 1 0 47681507 371437568 58102 33554432000 4194304 5849740 140730615485152 140730615484312 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 90683 58102 772 405 0 87627 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 362732 KiB
Current children cumulated memory: 232408 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/192 9028
/proc/meminfo: memFree=16194840/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=368332 memory=241556 CPUtime=402.31 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 60465 0 0 0 39847 384 0 0 20 0 1 0 47681507 377171968 60389 33554432000 4194304 5849740 140730615485152 140730615484152 5308400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 92083 60389 772 405 0 89027 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 368332 KiB
Current children cumulated memory: 241556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/192 9036
/proc/meminfo: memFree=16176060/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=369600 memory=242948 CPUtime=462.32 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 65307 0 0 0 45785 447 0 0 20 0 1 0 47681507 378470400 60737 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 92400 60737 772 405 0 89344 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 369600 KiB
Current children cumulated memory: 242948 KiB
################
# More data... #
################
/proc/8958/statm: 114669 83007 773 405 0 111613 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 458676 KiB
Current children cumulated memory: 332028 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9078
/proc/meminfo: memFree=16099500/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=429408 memory=302668 CPUtime=1782.36 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 388099 0 0 0 176502 1734 0 0 20 0 1 0 47681507 439713792 75667 33554432000 4194304 5849740 140730615485152 140730615483880 5355906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 107352 75667 773 405 0 104296 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 429408 KiB
Current children cumulated memory: 302668 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9079
/proc/meminfo: memFree=16074660/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=453816 memory=327168 CPUtime=1842.36 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 402732 0 0 0 182445 1791 0 0 20 0 1 0 47681507 464707584 81792 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 113454 81792 773 405 0 110398 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 453816 KiB
Current children cumulated memory: 327168 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9081
/proc/meminfo: memFree=16091880/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=436552 memory=309692 CPUtime=1902.36 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 417790 0 0 0 188393 1843 0 0 20 0 1 0 47681507 447029248 77423 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 109138 77423 773 405 0 106082 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 436552 KiB
Current children cumulated memory: 309692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9082
/proc/meminfo: memFree=16090916/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=437776 memory=311128 CPUtime=1962.37 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 427230 0 0 0 194339 1898 0 0 20 0 1 0 47681507 448282624 77782 33554432000 4194304 5849740 140730615485152 140730615484312 5307511 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 109444 77782 773 405 0 106388 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 437776 KiB
Current children cumulated memory: 311128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9083
/proc/meminfo: memFree=16092220/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=450416 memory=323632 CPUtime=2022.37 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 441583 0 0 0 200285 1952 0 0 20 0 1 0 47681507 461225984 80908 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 112604 80908 773 405 0 109548 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 323632 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9084
/proc/meminfo: memFree=16102224/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=440684 memory=313944 CPUtime=2082.37 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 460127 0 0 0 206218 2019 0 0 20 0 1 0 47681507 451260416 78486 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 110171 78486 773 405 0 107115 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 440684 KiB
Current children cumulated memory: 313944 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9085
/proc/meminfo: memFree=16100952/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=429816 memory=303048 CPUtime=2142.37 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 474586 0 0 0 212161 2076 0 0 20 0 1 0 47681507 440131584 75762 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 107454 75762 773 405 0 104398 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 429816 KiB
Current children cumulated memory: 303048 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9086
/proc/meminfo: memFree=16087432/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=442140 memory=315284 CPUtime=2202.38 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 487866 0 0 0 218103 2135 0 0 20 0 1 0 47681507 452751360 78821 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 110535 78821 773 405 0 107479 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 442140 KiB
Current children cumulated memory: 315284 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9094
/proc/meminfo: memFree=16094540/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=448308 memory=321628 CPUtime=2262.38 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 497022 0 0 0 224054 2184 0 0 20 0 1 0 47681507 459067392 80407 33554432000 4194304 5849740 140730615485152 140730615484152 5438241 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 112077 80407 773 405 0 109021 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 448308 KiB
Current children cumulated memory: 321628 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9096
/proc/meminfo: memFree=16101372/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=446516 memory=319776 CPUtime=2322.39 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 516410 0 0 0 229994 2245 0 0 20 0 1 0 47681507 457232384 79944 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 111629 79944 773 405 0 108573 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 446516 KiB
Current children cumulated memory: 319776 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9097
/proc/meminfo: memFree=16085940/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=457440 memory=330792 CPUtime=2382.39 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 535756 0 0 0 235940 2299 0 0 20 0 1 0 47681507 468418560 82698 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 114360 82698 773 405 0 111304 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 457440 KiB
Current children cumulated memory: 330792 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/192 9098
/proc/meminfo: memFree=16084784/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=458128 memory=331480 CPUtime=2442.39 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 558642 0 0 0 241895 2344 0 0 20 0 1 0 47681507 469123072 82870 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 114532 82870 773 405 0 111476 0
Current children cumulated CPU time: 2442.39 s
Current children cumulated vsize: 458128 KiB
Current children cumulated memory: 331480 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/192 9099
/proc/meminfo: memFree=16084208/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=458432 memory=331784 CPUtime=2502.4 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 581394 0 0 0 247849 2391 0 0 20 0 1 0 47681507 469434368 82946 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 114608 82946 773 405 0 111552 0
Current children cumulated CPU time: 2502.4 s
Current children cumulated vsize: 458432 KiB
Current children cumulated memory: 331784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.04 2.05 3/192 9100
/proc/meminfo: memFree=16051820/32770624 swapFree=67108860/67108860
[pid=8958] ppid=8955 vsize=490892 memory=364244 CPUtime=2520.1 cores=0,2,4,6
/proc/8958/stat : 8958 (xcsp_picat) R 8955 8958 8347 0 -1 4202496 584865 0 0 0 249608 2402 0 0 20 0 1 0 47681507 502673408 91061 33554432000 4194304 5849740 140730615485152 140730615484152 140336578080647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44548096 140730615489718 140730615489796 140730615489796 140730615492554 0
/proc/8958/statm: 122723 91061 773 405 0 119667 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 490892 KiB
Current children cumulated memory: 364244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 8958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2496.08 s, system=24.0362 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.12
CPU user time (s): 2496.08
CPU system time (s): 24.0362
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 530568
Max. memory (cumulated for all children) (KiB): 403852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2496.08
system time used= 24.0362
maximum resident set size= 403852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584865
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= 37
involuntary context switches= 1654
# summary of solver processes directly reported to runsolver:
# pid: 8958
# total CPU time (s): 2520.12
# total CPU user time (s): 2496.08
# total CPU system time (s): 24.0362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3654 second user time and 18.0327 second system time
The end