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 (10538 MiB free)
memory of node 1: 16384 MiB (12382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309788-1534320989/watcher-4309788-1534320989 -o /tmp/evaluation-result-4309788-1534320989/solver-4309788-1534320989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309788-1534320989.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=4506, runsolver pid=4503
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23451908/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2026452 memory=21940 CPUtime=0.1 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 2058 0 0 0 9 1 0 0 20 0 1 0 249662076 2075086848 5485 33554432000 4194304 5849940 140724180658320 140724180658320 5473044 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 506613 5485 718 405 0 503557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026452 KiB
Current children cumulated memory: 21940 KiB
[startup+0.209569 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23450420/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2027996 memory=23240 CPUtime=0.21 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 2445 0 0 0 20 1 0 0 20 0 1 0 249662076 2076667904 5810 33554432000 4194304 5849940 140724180658320 140724180658320 5334999 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 506999 5810 720 405 0 503943 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027996 KiB
Current children cumulated memory: 23240 KiB
[startup+0.309129 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23448912/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2029340 memory=24732 CPUtime=0.31 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 3411 0 0 0 30 1 0 0 20 0 1 0 249662076 2078044160 6183 33554432000 4194304 5849940 140724180658320 140724180656568 5392154 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 507335 6183 736 405 0 504279 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029340 KiB
Current children cumulated memory: 24732 KiB
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23448912/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2029528 memory=24528 CPUtime=0.69 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 4392 0 0 0 68 1 0 0 20 0 1 0 249662076 2078236672 6132 33554432000 4194304 5849940 140724180658320 140724180656568 5359304 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 507382 6132 736 405 0 504326 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029528 KiB
Current children cumulated memory: 24528 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23445564/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2033040 memory=28124 CPUtime=1.49 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 5577 0 0 0 148 1 0 0 20 0 1 0 249662076 2081832960 7031 33554432000 4194304 5849940 140724180658320 140724180656568 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 508260 7031 748 405 0 505204 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033040 KiB
Current children cumulated memory: 28124 KiB
[startup+3.10929 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4507
/proc/meminfo: memFree=23449248/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2028368 memory=23944 CPUtime=3.1 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 6889 0 0 0 307 3 0 0 20 0 1 0 249662076 2077048832 5986 33554432000 4194304 5849940 140724180658320 140724180657192 5472631 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 507092 5986 761 405 0 504036 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2028368 KiB
Current children cumulated memory: 23944 KiB
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 4507
/proc/meminfo: memFree=23461308/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2031340 memory=26916 CPUtime=6.29 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 8809 0 0 0 624 5 0 0 20 0 1 0 249662076 2080092160 6729 33554432000 4194304 5849940 140724180658320 140724180657320 5309859 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 507835 6729 761 405 0 504779 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031340 KiB
Current children cumulated memory: 26916 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 4507
/proc/meminfo: memFree=23453432/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2038932 memory=34600 CPUtime=12.69 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 12369 0 0 0 1259 10 0 0 20 0 1 0 249662076 2087866368 8650 33554432000 4194304 5849940 140724180658320 140724180657192 5437870 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 509733 8650 761 405 0 506677 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038932 KiB
Current children cumulated memory: 34600 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 4507
/proc/meminfo: memFree=23469376/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2039516 memory=35064 CPUtime=25.49 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 18559 0 0 0 2526 23 0 0 20 0 1 0 249662076 2088464384 8766 33554432000 4194304 5849940 140724180658320 140724180657320 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 509879 8766 761 405 0 506823 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2039516 KiB
Current children cumulated memory: 35064 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 4507
/proc/meminfo: memFree=23419372/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2045696 memory=41380 CPUtime=51.1 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 37985 0 0 0 5061 49 0 0 20 0 1 0 249662076 2094792704 10345 33554432000 4194304 5849940 140724180658320 140724180657320 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 511424 10345 761 405 0 508368 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2045696 KiB
Current children cumulated memory: 41380 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 4508
/proc/meminfo: memFree=23334028/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2046504 memory=42076 CPUtime=102.28 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 68709 0 0 0 10138 90 0 0 20 0 1 0 249662076 2095620096 10519 33554432000 4194304 5849940 140724180658320 140724180657480 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 511626 10519 761 405 0 508570 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2046504 KiB
Current children cumulated memory: 42076 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 4509
/proc/meminfo: memFree=23270880/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2066136 memory=61604 CPUtime=162.28 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 100005 0 0 0 16094 134 0 0 20 0 1 0 249662076 2115723264 15401 33554432000 4194304 5849940 140724180658320 140724180657320 5438016 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 516534 15401 761 405 0 513478 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2066136 KiB
Current children cumulated memory: 61604 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4517
/proc/meminfo: memFree=23402952/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2100260 memory=95656 CPUtime=222.28 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 120997 0 0 0 22064 164 0 0 20 0 1 0 249662076 2150666240 23914 33554432000 4194304 5849940 140724180658320 140724180657320 5438453 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 525065 23914 761 405 0 522009 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2100260 KiB
Current children cumulated memory: 95656 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4578
/proc/meminfo: memFree=23911076/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2099224 memory=95484 CPUtime=282.26 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 140781 0 0 0 28035 191 0 0 20 0 1 0 249662076 2149605376 23871 33554432000 4194304 5849940 140724180658320 140724180657320 5438277 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 524806 23871 761 405 0 521750 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2099224 KiB
Current children cumulated memory: 95484 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4579
/proc/meminfo: memFree=23858396/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2101636 memory=98156 CPUtime=342.25 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 155972 0 0 0 34005 220 0 0 20 0 1 0 249662076 2152075264 24539 33554432000 4194304 5849940 140724180658320 140724180657320 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 525409 24539 761 405 0 522353 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2101636 KiB
Current children cumulated memory: 98156 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4580
/proc/meminfo: memFree=23790692/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2144344 memory=140916 CPUtime=402.26 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 167114 0 0 0 39985 241 0 0 20 0 1 0 249662076 2195808256 35229 33554432000 4194304 5849940 140724180658320 140724180657480 5395508 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 536086 35229 761 405 0 533030 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2144344 KiB
Current children cumulated memory: 140916 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4581
/proc/meminfo: memFree=23834664/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2108288 memory=104920 CPUtime=462.25 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 174248 0 0 0 45969 256 0 0 20 0 1 0 249662076 2158886912 26230 33554432000 4194304 5849940 140724180658320 140724180657320 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 527072 26230 761 405 0 524016 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2108288 KiB
Current children cumulated memory: 104920 KiB
################
# More data... #
################
/proc/4506/statm: 589715 88906 761 405 0 586659 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2358860 KiB
Current children cumulated memory: 355624 KiB
[startup+1782.3 s]
/proc/loadavg: 2.44 2.11 2.08 3/187 4621
/proc/meminfo: memFree=23372748/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2358860 memory=355624 CPUtime=1782.21 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 506204 0 0 0 177698 523 0 0 20 0 1 0 249662076 2415472640 88906 33554432000 4194304 5849940 140724180658320 140724180657320 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 589715 88906 761 405 0 586659 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2358860 KiB
Current children cumulated memory: 355624 KiB
[startup+1842.3 s]
/proc/loadavg: 2.34 2.16 2.10 3/187 4622
/proc/meminfo: memFree=23419568/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2311616 memory=308380 CPUtime=1842.2 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 534087 0 0 0 183689 531 0 0 20 0 1 0 249662076 2367094784 77095 33554432000 4194304 5849940 140724180658320 140724180657192 5317284 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 577904 77095 761 405 0 574848 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2311616 KiB
Current children cumulated memory: 308380 KiB
[startup+1902.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/187 4623
/proc/meminfo: memFree=23272816/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442644 CPUtime=1902.2 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 551050 0 0 0 189678 542 0 0 20 0 1 0 249662076 2504835072 110661 33554432000 4194304 5849940 140724180658320 140724180657320 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110661 761 405 0 608476 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442644 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/187 4624
/proc/meminfo: memFree=23272568/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=1962.2 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 585676 0 0 0 195670 550 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657320 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/188 4633
/proc/meminfo: memFree=23182552/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2022.2 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 603917 0 0 0 201660 560 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657320 5438288 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 4634
/proc/meminfo: memFree=23117312/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2082.2 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 618765 0 0 0 207645 575 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657320 5437815 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 4635
/proc/meminfo: memFree=23117252/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2142.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 654518 0 0 0 213637 582 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657320 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 4636
/proc/meminfo: memFree=23117424/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2202.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 674998 0 0 0 219630 589 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657480 5438453 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 4637
/proc/meminfo: memFree=23117432/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2262.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 690207 0 0 0 225623 596 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657480 5335780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4639
/proc/meminfo: memFree=23060168/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2446128 memory=442892 CPUtime=2322.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 725248 0 0 0 231615 604 0 0 20 0 1 0 249662076 2504835072 110723 33554432000 4194304 5849940 140724180658320 140724180657480 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 611532 110723 761 405 0 608476 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2446128 KiB
Current children cumulated memory: 442892 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4640
/proc/meminfo: memFree=23186548/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2320536 memory=317212 CPUtime=2382.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 749619 0 0 0 237602 617 0 0 20 0 1 0 249662076 2376228864 79303 33554432000 4194304 5849940 140724180658320 140724180657320 139721783955335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 580134 79303 761 405 0 577078 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2320536 KiB
Current children cumulated memory: 317212 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4641
/proc/meminfo: memFree=23238976/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2268300 memory=264976 CPUtime=2442.19 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 794444 0 0 0 243591 628 0 0 20 0 1 0 249662076 2322739200 66244 33554432000 4194304 5849940 140724180658320 140724180657480 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 567075 66244 761 405 0 564019 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2268300 KiB
Current children cumulated memory: 264976 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4643
/proc/meminfo: memFree=23238604/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2268300 memory=264976 CPUtime=2502.18 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 824074 0 0 0 249580 638 0 0 20 0 1 0 249662076 2322739200 66244 33554432000 4194304 5849940 140724180658320 140724180657320 5437936 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 567075 66244 761 405 0 564019 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2268300 KiB
Current children cumulated memory: 264976 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 4644
/proc/meminfo: memFree=23238256/32770624 swapFree=67108196/67108860
[pid=4506] ppid=4503 vsize=2268300 memory=264976 CPUtime=2519.89 cores=1,3,5,7
/proc/4506/stat : 4506 (xcsp_picat) R 4503 4506 32759 0 -1 4202496 824696 0 0 0 251348 641 0 0 20 0 1 0 249662076 2322739200 66244 33554432000 4194304 5849940 140724180658320 140724180657320 5437799 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39485440 140724180661430 140724180661508 140724180661508 140724180664266 0
/proc/4506/statm: 567075 66244 761 405 0 564019 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2268300 KiB
Current children cumulated memory: 264976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 4506 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.49 s, system=6.42579 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.91
CPU user time (s): 2513.49
CPU system time (s): 6.42579
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 2446128
Max. memory (cumulated for all children) (KiB): 442892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.49
system time used= 6.42579
maximum resident set size= 442892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824697
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= 20
involuntary context switches= 1895
# summary of solver processes directly reported to runsolver:
# pid: 4506
# total CPU time (s): 2519.91
# total CPU user time (s): 2513.49
# total CPU system time (s): 6.42579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72058 second user time and 18.85 second system time
The end