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 (11825 MiB free)
memory of node 1: 16384 MiB (8703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309542-1534311660/watcher-4309542-1534311660 -o /tmp/evaluation-result-4309542-1534311660/solver-4309542-1534311660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309542-1534311660.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=19693, runsolver pid=19690
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.05 2.06 3/188 19694
/proc/meminfo: memFree=20991556/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2025744 memory=34884 CPUtime=0.1 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 1752 0 0 0 10 0 0 0 20 0 1 0 248729169 2074361856 8721 33554432000 4194304 5849940 140729927802464 140729927801768 4548541 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 506436 8721 629 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 34884 KiB
[startup+0.209664 s]*
/proc/loadavg: 2.00 2.05 2.06 3/188 19694
/proc/meminfo: memFree=20979144/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2025868 memory=45812 CPUtime=0.21 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 1894 0 0 0 20 1 0 0 20 0 1 0 248729169 2074488832 11453 33554432000 4194304 5849940 140729927802464 140729927801768 5606430 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 506467 11453 715 405 0 503411 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025868 KiB
Current children cumulated memory: 45812 KiB
[startup+0.309521 s]*
/proc/loadavg: 2.00 2.05 2.06 3/188 19694
/proc/meminfo: memFree=20979144/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2025784 memory=45828 CPUtime=0.31 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 1898 0 0 0 30 1 0 0 20 0 1 0 248729169 2074402816 11457 33554432000 4194304 5849940 140729927802464 140729927801768 5606430 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 506446 11457 717 405 0 503390 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025784 KiB
Current children cumulated memory: 45828 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 19694
/proc/meminfo: memFree=20979144/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2025872 memory=45864 CPUtime=0.69 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 1907 0 0 0 68 1 0 0 20 0 1 0 248729169 2074492928 11466 33554432000 4194304 5849940 140729927802464 140729927801560 5521652 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 506468 11466 718 405 0 503412 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025872 KiB
Current children cumulated memory: 45864 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.03 2.05 3/188 19694
/proc/meminfo: memFree=20979020/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2025848 memory=45896 CPUtime=1.49 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 1916 0 0 0 148 1 0 0 20 0 1 0 248729169 2074468352 11474 33554432000 4194304 5849940 140729927802464 140729927801560 5606419 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 506462 11474 718 405 0 503406 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025848 KiB
Current children cumulated memory: 45896 KiB
[startup+3.1094 s]
/proc/loadavg: 1.92 2.03 2.05 4/188 19694
/proc/meminfo: memFree=20972696/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2032212 memory=52360 CPUtime=3.1 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 4268 0 0 0 308 2 0 0 20 0 1 0 248729169 2080985088 13090 33554432000 4194304 5849940 140729927802464 140729927800872 4211660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 508053 13090 747 405 0 504997 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2032212 KiB
Current children cumulated memory: 52360 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.03 2.05 4/188 19694
/proc/meminfo: memFree=20970600/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2033364 memory=53388 CPUtime=6.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 7288 0 0 0 623 6 0 0 20 0 1 0 248729169 2082164736 13347 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 508341 13347 751 405 0 505285 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033364 KiB
Current children cumulated memory: 53388 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 2.06 4/188 19694
/proc/meminfo: memFree=20943392/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2031192 memory=50300 CPUtime=12.69 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 13618 0 0 0 1258 11 0 0 20 0 1 0 248729169 2079940608 12575 33554432000 4194304 5849940 140729927802464 140729927801560 5399939 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 507798 12575 760 405 0 504742 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031192 KiB
Current children cumulated memory: 50300 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.06 3/188 19694
/proc/meminfo: memFree=20937436/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2042116 memory=62148 CPUtime=25.49 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 18841 0 0 0 2525 24 0 0 20 0 1 0 248729169 2091126784 15537 33554432000 4194304 5849940 140729927802464 140729927801624 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 510529 15537 760 405 0 507473 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2042116 KiB
Current children cumulated memory: 62148 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 19694
/proc/meminfo: memFree=20934604/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2061956 memory=82024 CPUtime=51.1 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 30275 0 0 0 5070 40 0 0 20 0 1 0 248729169 2111442944 20506 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 515489 20506 760 405 0 512433 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2061956 KiB
Current children cumulated memory: 82024 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 19695
/proc/meminfo: memFree=20928192/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2042116 memory=62248 CPUtime=102.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 44842 0 0 0 10167 62 0 0 20 0 1 0 248729169 2091126784 15562 33554432000 4194304 5849940 140729927802464 140729927801112 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 510529 15562 760 405 0 507473 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2042116 KiB
Current children cumulated memory: 62248 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 19696
/proc/meminfo: memFree=20808564/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2051312 memory=71360 CPUtime=162.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 51071 0 0 0 16122 107 0 0 20 0 1 0 248729169 2100543488 17840 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 512828 17840 760 405 0 509772 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2051312 KiB
Current children cumulated memory: 71360 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 19697
/proc/meminfo: memFree=20703852/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2102000 memory=122140 CPUtime=222.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 61965 0 0 0 22097 133 0 0 20 0 1 0 248729169 2152448000 30535 33554432000 4194304 5849940 140729927802464 140729927801464 5359362 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 525500 30535 760 405 0 522444 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2102000 KiB
Current children cumulated memory: 122140 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 19698
/proc/meminfo: memFree=20852940/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2041964 memory=62220 CPUtime=282.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 63822 0 0 0 28076 153 0 0 20 0 1 0 248729169 2090971136 15555 33554432000 4194304 5849940 140729927802464 140729927801624 4212416 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 510491 15555 760 405 0 507435 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2041964 KiB
Current children cumulated memory: 62220 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19699
/proc/meminfo: memFree=20694700/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2077076 memory=97204 CPUtime=342.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 70029 0 0 0 34039 190 0 0 20 0 1 0 248729169 2126925824 24301 33554432000 4194304 5849940 140729927802464 140729927801464 5438438 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 519269 24301 760 405 0 516213 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2077076 KiB
Current children cumulated memory: 97204 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19700
/proc/meminfo: memFree=20701444/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2048716 memory=68792 CPUtime=402.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 75485 0 0 0 40010 219 0 0 20 0 1 0 248729169 2097885184 17198 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 512179 17198 760 405 0 509123 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2048716 KiB
Current children cumulated memory: 68792 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19701
/proc/meminfo: memFree=20646188/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2085284 memory=105412 CPUtime=462.29 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 83434 0 0 0 45982 247 0 0 20 0 1 0 248729169 2135330816 26353 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 521321 26353 760 405 0 518265 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2085284 KiB
Current children cumulated memory: 105412 KiB
################
# More data... #
################
Current children cumulated memory: 109036 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19713
/proc/meminfo: memFree=20363468/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2107620 memory=127864 CPUtime=702.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 104289 0 0 0 69892 338 0 0 20 0 1 0 248729169 2158202880 31966 33554432000 4194304 5849940 140729927802464 140729927801464 5360886 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 526905 31966 760 405 0 523849 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 2107620 KiB
Current children cumulated memory: 127864 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19714
/proc/meminfo: memFree=20493860/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2068788 memory=85372 CPUtime=762.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 114321 0 0 0 75856 374 0 0 20 0 1 0 248729169 2118438912 21343 33554432000 4194304 5849940 140729927802464 140729927801336 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 517197 21343 760 405 0 514141 0
Current children cumulated CPU time: 762.3 s
Current children cumulated vsize: 2068788 KiB
Current children cumulated memory: 85372 KiB
[startup+822.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 19715
/proc/meminfo: memFree=20172272/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2109512 memory=129492 CPUtime=822.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 117899 0 0 0 81835 395 0 0 20 0 1 0 248729169 2160140288 32373 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 527378 32373 760 405 0 524322 0
Current children cumulated CPU time: 822.3 s
Current children cumulated vsize: 2109512 KiB
Current children cumulated memory: 129492 KiB
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19717
/proc/meminfo: memFree=20592024/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2048456 memory=68712 CPUtime=882.31 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 123439 0 0 0 87810 421 0 0 20 0 1 0 248729169 2097618944 17178 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 512114 17178 760 405 0 509058 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 2048456 KiB
Current children cumulated memory: 68712 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19718
/proc/meminfo: memFree=20487492/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2074156 memory=94208 CPUtime=942.31 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 126896 0 0 0 93776 455 0 0 20 0 1 0 248729169 2123935744 23552 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 518539 23552 760 405 0 515483 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 94208 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19719
/proc/meminfo: memFree=20547804/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2091992 memory=107900 CPUtime=1002.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 132603 0 0 0 99758 472 0 0 20 0 1 0 248729169 2142199808 26975 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 522998 26975 760 405 0 519942 0
Current children cumulated CPU time: 1002.3 s
Current children cumulated vsize: 2091992 KiB
Current children cumulated memory: 107900 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 19721
/proc/meminfo: memFree=20478784/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2121764 memory=141892 CPUtime=1062.31 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 137454 0 0 0 105742 489 0 0 20 0 1 0 248729169 2172686336 35473 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 530441 35473 760 405 0 527385 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 2121764 KiB
Current children cumulated memory: 141892 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1122.3 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145133 0 0 0 111729 501 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1122.3 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1138.96 s]
# the end of solver process 19693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1133.92 s, system=5.05608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1126.41 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145134 0 0 0 112138 503 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1126.41 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1132.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1132.81 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145134 0 0 0 112777 504 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 5438453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1132.81 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1136 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1136.02 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145134 0 0 0 113098 504 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1136.02 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1137.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1137.61 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145134 0 0 0 113257 504 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1137.61 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1138.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1138.4 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145135 0 0 0 113336 504 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1138.4 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1138.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1138.81 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145135 0 0 0 113376 505 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1138.81 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
[startup+1138.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 19722
/proc/meminfo: memFree=20325920/32770624 swapFree=67105356/67108860
[pid=19693] ppid=19690 vsize=2165968 memory=186092 CPUtime=1138.91 cores=0,2,4,6
/proc/19693/stat : 19693 (xcsp_picat) R 19690 19693 16836 0 -1 4202496 145135 0 0 0 113386 505 0 0 20 0 1 0 248729169 2217951232 46523 33554432000 4194304 5849940 140729927802464 140729927801464 140115111104391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26505216 140729927808182 140729927808260 140729927808260 140729927811018 0
/proc/19693/statm: 541492 46523 760 405 0 538436 0
Current children cumulated CPU time: 1138.91 s
Current children cumulated vsize: 2165968 KiB
Current children cumulated memory: 186092 KiB
Child status: 0
Real time (s): 1138.96
CPU time (s): 1138.98
CPU user time (s): 1133.92
CPU system time (s): 5.05608
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2165968
Max. memory (cumulated for all children) (KiB): 186092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.92
system time used= 5.05608
maximum resident set size= 186104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145251
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= 2
involuntary context switches= 481
# summary of solver processes directly reported to runsolver:
# pid: 19693
# total CPU time (s): 1138.98
# total CPU user time (s): 1133.92
# total CPU system time (s): 5.05608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44996 second user time and 8.02199 second system time
The end