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 (6263 MiB free)
memory of node 1: 16384 MiB (5483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303389-1534026189/watcher-4303389-1534026189 -o /tmp/evaluation-result-4303389-1534026189/solver-4303389-1534026189 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303389-1534026189.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=14027, runsolver pid=14024
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=12008060/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2025744 memory=28480 CPUtime=0.1 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 1646 0 0 0 10 0 0 0 20 0 1 0 220182069 2074361856 7120 33554432000 4194304 5849708 140729231237728 140729231237728 4467372 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 506436 7120 615 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28480 KiB
[startup+0.209784 s]*
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11982220/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2026020 memory=47984 CPUtime=0.2 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 1965 0 0 0 20 0 0 0 20 0 1 0 220182069 2074644480 11996 33554432000 4194304 5849708 140729231237728 140729231237728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 506505 11996 677 405 0 503450 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026020 KiB
Current children cumulated memory: 47984 KiB
[startup+0.309499 s]*
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11981848/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2026560 memory=48440 CPUtime=0.31 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 2127 0 0 0 30 1 0 0 20 0 1 0 220182069 2075197440 12110 33554432000 4194304 5849708 140729231237728 140729231237728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 506640 12110 679 405 0 503585 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026560 KiB
Current children cumulated memory: 48440 KiB
[startup+0.700272 s]
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11981104/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2027840 memory=49724 CPUtime=0.69 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 2447 0 0 0 68 1 0 0 20 0 1 0 220182069 2076508160 12431 33554432000 4194304 5849708 140729231237728 140729231237728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 506960 12431 679 405 0 503905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027840 KiB
Current children cumulated memory: 49724 KiB
[startup+1.50033 s]
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11979616/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2031552 memory=53560 CPUtime=1.49 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 3529 0 0 0 147 2 0 0 20 0 1 0 220182069 2080309248 13390 33554432000 4194304 5849708 140729231237728 140729231236232 5359180 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 507888 13390 698 405 0 504833 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031552 KiB
Current children cumulated memory: 53560 KiB
[startup+3.10905 s]
/proc/loadavg: 2.24 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11976544/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2031700 memory=53880 CPUtime=3.1 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 4471 0 0 0 308 2 0 0 20 0 1 0 220182069 2080460800 13470 33554432000 4194304 5849708 140729231237728 140729231235576 4211671 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 507925 13470 706 405 0 504870 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031700 KiB
Current children cumulated memory: 53880 KiB
[startup+6.30027 s]
/proc/loadavg: 2.22 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11976544/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2031700 memory=53880 CPUtime=6.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 5131 0 0 0 627 2 0 0 20 0 1 0 220182069 2080460800 13470 33554432000 4194304 5849708 140729231237728 140729231235576 4212490 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 507925 13470 706 405 0 504870 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031700 KiB
Current children cumulated memory: 53880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11977112/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2033784 memory=56032 CPUtime=12.69 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 11121 0 0 0 1259 10 0 0 20 0 1 0 220182069 2082594816 14008 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 508446 14008 713 405 0 505391 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2033784 KiB
Current children cumulated memory: 56032 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.06 3/188 14028
/proc/meminfo: memFree=11972848/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2037308 memory=59272 CPUtime=25.49 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 26679 0 0 0 2520 29 0 0 20 0 1 0 220182069 2086203392 14818 33554432000 4194304 5849708 140729231237728 140729231236216 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 509327 14818 713 405 0 506272 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2037308 KiB
Current children cumulated memory: 59272 KiB
[startup+51.1096 s]
/proc/loadavg: 2.11 2.05 2.06 4/188 14028
/proc/meminfo: memFree=11921768/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2045200 memory=67188 CPUtime=51.1 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 58033 0 0 0 5029 81 0 0 20 0 1 0 220182069 2094284800 16797 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 511300 16797 713 405 0 508245 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2045200 KiB
Current children cumulated memory: 67188 KiB
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/188 14029
/proc/meminfo: memFree=11884536/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2052268 memory=74432 CPUtime=102.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 100073 0 0 0 10073 156 0 0 20 0 1 0 220182069 2101522432 18608 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 513067 18608 713 405 0 510012 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2052268 KiB
Current children cumulated memory: 74432 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 5/187 14031
/proc/meminfo: memFree=11884416/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2052160 memory=74304 CPUtime=162.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 136496 0 0 0 15993 236 0 0 20 0 1 0 220182069 2101411840 18576 33554432000 4194304 5849708 140729231237728 140729231236728 5438273 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 513040 18576 713 405 0 509985 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2052160 KiB
Current children cumulated memory: 74304 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 14032
/proc/meminfo: memFree=11849484/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2053824 memory=76036 CPUtime=222.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 169736 0 0 0 21931 298 0 0 20 0 1 0 220182069 2103115776 19009 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 513456 19009 713 405 0 510401 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2053824 KiB
Current children cumulated memory: 76036 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 14033
/proc/meminfo: memFree=11807256/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2067516 memory=89628 CPUtime=282.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 197175 0 0 0 27879 350 0 0 20 0 1 0 220182069 2117136384 22407 33554432000 4194304 5849708 140729231237728 140729231236728 5437627 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 516879 22407 713 405 0 513824 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2067516 KiB
Current children cumulated memory: 89628 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 5/187 14035
/proc/meminfo: memFree=11777704/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2056924 memory=79092 CPUtime=342.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 224757 0 0 0 33816 413 0 0 20 0 1 0 220182069 2106290176 19773 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 514231 19773 713 405 0 511176 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2056924 KiB
Current children cumulated memory: 79092 KiB
[startup+402.3 s]
/proc/loadavg: 1.72 1.96 2.02 2/180 14082
/proc/meminfo: memFree=12241056/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2077268 memory=99232 CPUtime=402.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 244985 0 0 0 39760 468 0 0 20 0 1 0 220182069 2127122432 24808 33554432000 4194304 5849708 140729231237728 140729231236728 5437632 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 519317 24808 713 405 0 516262 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2077268 KiB
Current children cumulated memory: 99232 KiB
[startup+462.3 s]
/proc/loadavg: 1.26 1.78 1.96 2/180 14090
/proc/meminfo: memFree=12244748/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2070364 memory=95724 CPUtime=462.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 265919 0 0 0 45700 529 0 0 20 0 1 0 220182069 2120052736 23931 33554432000 4194304 5849708 140729231237728 140729231236728 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 517591 23931 713 405 0 514536 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2070364 KiB
Current children cumulated memory: 95724 KiB
################
# More data... #
################
/proc/14027/statm: 556407 62736 713 405 0 553352 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2225628 KiB
Current children cumulated memory: 250944 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/180 14126
/proc/meminfo: memFree=12090072/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2225628 memory=250944 CPUtime=1782.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 580265 0 0 0 176973 1256 0 0 20 0 1 0 220182069 2279043072 62736 33554432000 4194304 5849708 140729231237728 140729231236728 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 556407 62736 713 405 0 553352 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2225628 KiB
Current children cumulated memory: 250944 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/180 14127
/proc/meminfo: memFree=12057076/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2258904 memory=284112 CPUtime=1842.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 586403 0 0 0 182958 1270 0 0 20 0 1 0 220182069 2313117696 71028 33554432000 4194304 5849708 140729231237728 140729231236728 5438309 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 564726 71028 713 405 0 561671 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2258904 KiB
Current children cumulated memory: 284112 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/180 14128
/proc/meminfo: memFree=12057076/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2258904 memory=284220 CPUtime=1902.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 586602 0 0 0 188946 1282 0 0 20 0 1 0 220182069 2313117696 71055 33554432000 4194304 5849708 140729231237728 140729231236728 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 564726 71055 713 405 0 561671 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2258904 KiB
Current children cumulated memory: 284220 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/179 14130
/proc/meminfo: memFree=12007088/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=1962.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 602668 0 0 0 194934 1294 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5438176 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/180 14132
/proc/meminfo: memFree=12005848/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2022.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 618070 0 0 0 200922 1307 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437632 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 14133
/proc/meminfo: memFree=12006096/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2082.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 633514 0 0 0 206911 1318 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437647 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2142.3 s]
/proc/loadavg: 1.56 1.18 1.22 2/180 14135
/proc/meminfo: memFree=12006104/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2142.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 648978 0 0 0 212898 1330 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437818 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2202.3 s]
/proc/loadavg: 1.21 1.15 1.21 2/180 14136
/proc/meminfo: memFree=12006152/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2202.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 664442 0 0 0 218889 1340 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437607 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2262.3 s]
/proc/loadavg: 1.08 1.12 1.20 2/181 14151
/proc/meminfo: memFree=12005192/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2262.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 679910 0 0 0 224875 1354 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2322.3 s]
/proc/loadavg: 1.03 1.10 1.19 2/182 14178
/proc/meminfo: memFree=12004692/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2322.28 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 695394 0 0 0 230865 1363 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5335528 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2382.3 s]
/proc/loadavg: 1.01 1.08 1.18 2/182 14179
/proc/meminfo: memFree=12004816/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2310232 memory=335548 CPUtime=2382.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 710871 0 0 0 236856 1373 0 0 20 0 1 0 220182069 2365677568 83887 33554432000 4194304 5849708 140729231237728 140729231236728 5437632 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 577558 83887 713 405 0 574503 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 2310232 KiB
Current children cumulated memory: 335548 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.07 1.16 2/182 14180
/proc/meminfo: memFree=11939468/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2375768 memory=401084 CPUtime=2442.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 726906 0 0 0 242845 1384 0 0 20 0 1 0 220182069 2432786432 100271 33554432000 4194304 5849708 140729231237728 140729231236728 5437616 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 593942 100271 713 405 0 590887 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 2375768 KiB
Current children cumulated memory: 401084 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.05 1.15 2/182 14181
/proc/meminfo: memFree=11980952/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2334484 memory=359696 CPUtime=2502.29 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 745290 0 0 0 248830 1399 0 0 20 0 1 0 220182069 2390511616 89924 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 583621 89924 713 405 0 580566 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 2334484 KiB
Current children cumulated memory: 359696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.05 1.15 3/181 14181
/proc/meminfo: memFree=11980208/32770624 swapFree=67108496/67108860
[pid=14027] ppid=14024 vsize=2335184 memory=360500 CPUtime=2520 cores=1,3,5,7
/proc/14027/stat : 14027 (xcsp_picat) R 14024 14027 10084 0 -1 4202496 756770 0 0 0 250593 1407 0 0 20 0 1 0 220182069 2391228416 90125 33554432000 4194304 5849708 140729231237728 140729231236728 140487727161223 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38223872 140729231246518 140729231246596 140729231246596 140729231249354 0
/proc/14027/statm: 583796 90125 713 405 0 580741 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2335184 KiB
Current children cumulated memory: 360500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 14027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.94 s, system=14.0782 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.02
CPU user time (s): 2505.94
CPU system time (s): 14.0782
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2378708
Max. memory (cumulated for all children) (KiB): 403828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.94
system time used= 14.0782
maximum resident set size= 403828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756770
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= 46
involuntary context switches= 1296
# summary of solver processes directly reported to runsolver:
# pid: 14027
# total CPU time (s): 2520.02
# total CPU user time (s): 2505.94
# total CPU system time (s): 14.0782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5926 second user time and 12.5572 second system time
The end