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 (6564 MiB free)
memory of node 1: 16384 MiB (5405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303011-1534018718/watcher-4303011-1534018718 -o /tmp/evaluation-result-4303011-1534018718/solver-4303011-1534018718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303011-1534018718.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=13218, runsolver pid=13215
[startup+0.100118 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12237852/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2025744 memory=22100 CPUtime=0.1 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 1586 0 0 0 10 0 0 0 20 0 1 0 219434988 2074361856 5525 33554432000 4194304 5849708 140722529196992 140722529196992 4476470 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 506436 5525 602 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22100 KiB
[startup+0.209533 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12233260/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2026284 memory=27096 CPUtime=0.21 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 1839 0 0 0 19 2 0 0 20 0 1 0 219434988 2074914816 6774 33554432000 4194304 5849708 140722529196992 140722529196992 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 506571 6774 651 405 0 503516 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026284 KiB
Current children cumulated memory: 27096 KiB
[startup+0.309456 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12232888/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2026540 memory=27212 CPUtime=0.31 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 1903 0 0 0 25 6 0 0 20 0 1 0 219434988 2075176960 6803 33554432000 4194304 5849708 140722529196992 140722529196992 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 506635 6803 679 405 0 503580 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026540 KiB
Current children cumulated memory: 27212 KiB
[startup+0.700251 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12231152/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2029748 memory=30412 CPUtime=0.69 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 3003 0 0 0 61 8 0 0 20 0 1 0 219434988 2078461952 7603 33554432000 4194304 5849708 140722529196992 140722529196992 5308022 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 507437 7603 709 405 0 504382 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029748 KiB
Current children cumulated memory: 30412 KiB
[startup+1.50023 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12229788/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2029668 memory=30420 CPUtime=1.49 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 3036 0 0 0 139 10 0 0 20 0 1 0 219434988 2078380032 7605 33554432000 4194304 5849708 140722529196992 140722529196992 5416731 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 507417 7605 713 405 0 504362 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029668 KiB
Current children cumulated memory: 30420 KiB
[startup+3.10904 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12219176/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2030996 memory=31500 CPUtime=3.1 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 4020 0 0 0 299 11 0 0 20 0 1 0 219434988 2079739904 7875 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 507749 7875 713 405 0 504694 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030996 KiB
Current children cumulated memory: 31500 KiB
[startup+6.30022 s]
/proc/loadavg: 2.05 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12216716/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2032484 memory=33424 CPUtime=6.29 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 5616 0 0 0 613 16 0 0 20 0 1 0 219434988 2081263616 8356 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 508121 8356 713 405 0 505066 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032484 KiB
Current children cumulated memory: 33424 KiB
[startup+12.7002 s]
/proc/loadavg: 2.05 2.06 2.06 3/187 13219
/proc/meminfo: memFree=12252612/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2031420 memory=32148 CPUtime=12.69 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 8885 0 0 0 1240 29 0 0 20 0 1 0 219434988 2080174080 8037 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 507855 8037 714 405 0 504800 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031420 KiB
Current children cumulated memory: 32148 KiB
[startup+25.5002 s]
/proc/loadavg: 2.04 2.05 2.06 3/187 13219
/proc/meminfo: memFree=12240012/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2040896 memory=40972 CPUtime=25.49 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 12237 0 0 0 2507 42 0 0 20 0 1 0 219434988 2089877504 10243 33554432000 4194304 5849708 140722529196992 140722529196152 140190187241351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 510224 10243 714 405 0 507169 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2040896 KiB
Current children cumulated memory: 40972 KiB
[startup+51.1093 s]
/proc/loadavg: 1.97 2.03 2.05 3/187 13219
/proc/meminfo: memFree=12213700/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2045152 memory=45984 CPUtime=51.09 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 20244 0 0 0 5043 66 0 0 20 0 1 0 219434988 2094235648 11496 33554432000 4194304 5849708 140722529196992 140722529195992 5312803 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 511288 11496 714 405 0 508233 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2045152 KiB
Current children cumulated memory: 45984 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/188 13228
/proc/meminfo: memFree=12166236/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2059656 memory=60392 CPUtime=102.29 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 29940 0 0 0 10124 105 0 0 20 0 1 0 219434988 2109087744 15098 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 514914 15098 714 405 0 511859 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2059656 KiB
Current children cumulated memory: 60392 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/188 13229
/proc/meminfo: memFree=12191068/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2062552 memory=63416 CPUtime=162.28 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 39982 0 0 0 16081 147 0 0 20 0 1 0 219434988 2112053248 15854 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 515638 15854 714 405 0 512583 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2062552 KiB
Current children cumulated memory: 63416 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13230
/proc/meminfo: memFree=12104508/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2091448 memory=92300 CPUtime=222.28 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 56553 0 0 0 22049 179 0 0 20 0 1 0 219434988 2141642752 23075 33554432000 4194304 5849708 140722529196992 140722529195992 5438096 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 522862 23075 714 405 0 519807 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2091448 KiB
Current children cumulated memory: 92300 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13231
/proc/meminfo: memFree=12074096/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2106216 memory=107192 CPUtime=282.29 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 74963 0 0 0 28025 204 0 0 20 0 1 0 219434988 2156765184 26798 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 526554 26798 714 405 0 523499 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2106216 KiB
Current children cumulated memory: 107192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13232
/proc/meminfo: memFree=12070096/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2099704 memory=100528 CPUtime=342.28 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 92181 0 0 0 34000 228 0 0 20 0 1 0 219434988 2150096896 25132 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 524926 25132 714 405 0 521871 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2099704 KiB
Current children cumulated memory: 100528 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13234
/proc/meminfo: memFree=12148752/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2099520 memory=100592 CPUtime=402.28 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 107861 0 0 0 39978 250 0 0 20 0 1 0 219434988 2149908480 25148 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 524880 25148 714 405 0 521825 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2099520 KiB
Current children cumulated memory: 100592 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13235
/proc/meminfo: memFree=12060200/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2144280 memory=145352 CPUtime=462.27 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 124082 0 0 0 45965 262 0 0 20 0 1 0 219434988 2195742720 36338 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 536070 36338 714 405 0 533015 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2144280 KiB
Current children cumulated memory: 145352 KiB
################
# More data... #
################
/proc/13218/statm: 577774 78930 714 405 0 574719 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2311096 KiB
Current children cumulated memory: 315720 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13296
/proc/meminfo: memFree=11706000/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2373528 memory=378152 CPUtime=1782.21 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 394757 0 0 0 177704 517 0 0 20 0 1 0 219434988 2430492672 94538 33554432000 4194304 5849708 140722529196992 140722529195992 5438273 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 593382 94538 714 405 0 590327 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2373528 KiB
Current children cumulated memory: 378152 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13297
/proc/meminfo: memFree=11699576/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2373528 memory=378152 CPUtime=1842.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 411349 0 0 0 183696 524 0 0 20 0 1 0 219434988 2430492672 94538 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 593382 94538 714 405 0 590327 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2373528 KiB
Current children cumulated memory: 378152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/188 13306
/proc/meminfo: memFree=11698860/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2373528 memory=378152 CPUtime=1902.21 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 427896 0 0 0 189690 531 0 0 20 0 1 0 219434988 2430492672 94538 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 593382 94538 714 405 0 590327 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2373528 KiB
Current children cumulated memory: 378152 KiB
[startup+1962.3 s]
/proc/loadavg: 2.34 2.15 2.09 3/188 13307
/proc/meminfo: memFree=11847132/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2225968 memory=230468 CPUtime=1962.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 437947 0 0 0 195677 543 0 0 20 0 1 0 219434988 2279391232 57617 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 556492 57617 714 405 0 553437 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2225968 KiB
Current children cumulated memory: 230468 KiB
[startup+2022.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/188 13308
/proc/meminfo: memFree=11915124/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2225968 memory=230592 CPUtime=2022.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 445643 0 0 0 201667 553 0 0 20 0 1 0 219434988 2279391232 57648 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 556492 57648 714 405 0 553437 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2225968 KiB
Current children cumulated memory: 230592 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 13309
/proc/meminfo: memFree=11876956/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2237276 memory=241900 CPUtime=2082.21 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 454952 0 0 0 207653 568 0 0 20 0 1 0 219434988 2290970624 60475 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 559319 60475 714 405 0 556264 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2237276 KiB
Current children cumulated memory: 241900 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 13310
/proc/meminfo: memFree=11862748/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2241712 memory=246264 CPUtime=2142.21 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 455760 0 0 0 213643 578 0 0 20 0 1 0 219434988 2295513088 61566 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 560428 61566 714 405 0 557373 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2241712 KiB
Current children cumulated memory: 246264 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 13312
/proc/meminfo: memFree=11862516/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2241712 memory=246336 CPUtime=2202.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 464873 0 0 0 219632 588 0 0 20 0 1 0 219434988 2295513088 61584 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 560428 61584 714 405 0 557373 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2241712 KiB
Current children cumulated memory: 246336 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 13313
/proc/meminfo: memFree=11834280/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2270344 memory=274752 CPUtime=2262.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 465563 0 0 0 225622 598 0 0 20 0 1 0 219434988 2324832256 68688 33554432000 4194304 5849708 140722529196992 140722529195992 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 567586 68688 714 405 0 564531 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2270344 KiB
Current children cumulated memory: 274752 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 13314
/proc/meminfo: memFree=11756208/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2314168 memory=318792 CPUtime=2322.2 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 480850 0 0 0 231610 610 0 0 20 0 1 0 219434988 2369708032 79698 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 578542 79698 714 405 0 575487 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2314168 KiB
Current children cumulated memory: 318792 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 13316
/proc/meminfo: memFree=11690044/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2314168 memory=318792 CPUtime=2382.19 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 492872 0 0 0 237600 619 0 0 20 0 1 0 219434988 2369708032 79698 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 578542 79698 714 405 0 575487 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2314168 KiB
Current children cumulated memory: 318792 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13377
/proc/meminfo: memFree=11001592/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2314168 memory=318792 CPUtime=2442.19 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 504734 0 0 0 243591 628 0 0 20 0 1 0 219434988 2369708032 79698 33554432000 4194304 5849708 140722529196992 140722529195992 140190187241351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 578542 79698 714 405 0 575487 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2314168 KiB
Current children cumulated memory: 318792 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 13386
/proc/meminfo: memFree=10950436/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2314168 memory=318792 CPUtime=2502.19 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 516693 0 0 0 249583 636 0 0 20 0 1 0 219434988 2369708032 79698 33554432000 4194304 5849708 140722529196992 140722529195992 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 578542 79698 714 405 0 575487 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2314168 KiB
Current children cumulated memory: 318792 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 13387
/proc/meminfo: memFree=10917380/32770624 swapFree=67108496/67108860
[pid=13218] ppid=13215 vsize=2314168 memory=318792 CPUtime=2519.9 cores=0,2,4,6
/proc/13218/stat : 13218 (xcsp_picat) R 13215 13218 10084 0 -1 4202496 516710 0 0 0 251352 638 0 0 20 0 1 0 219434988 2369708032 79698 33554432000 4194304 5849708 140722529196992 140722529195992 140190186829728 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46252032 140722529199286 140722529199364 140722529199364 140722529202122 0
/proc/13218/statm: 578542 79698 714 405 0 575487 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2314168 KiB
Current children cumulated memory: 318792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.53 s, system=6.39286 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): 2519.92
CPU user time (s): 2513.53
CPU system time (s): 6.39286
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2399068
Max. memory (cumulated for all children) (KiB): 403460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.53
system time used= 6.39286
maximum resident set size= 403460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516711
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= 3184
# summary of solver processes directly reported to runsolver:
# pid: 13218
# total CPU time (s): 2519.92
# total CPU user time (s): 2513.53
# total CPU system time (s): 6.39286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0285 second user time and 18.2746 second system time
The end