runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253465-1500933580/watcher-4253465-1500933580 -o /tmp/evaluation-result-4253465-1500933580/solver-4253465-1500933580 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3840 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253465-1500933580.xml
pid=9060
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 9063
/proc/meminfo: memFree=32056148/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=24616 CPUtime=0 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 939 0 0 0 0 0 0 0 20 0 1 0 3008664 25206784 756 33554432000 4194304 6986860 140731403117968 140731403114664 5731724 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6154 756 656 682 0 157 0
[startup+0.100106 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 9063
/proc/meminfo: memFree=32056148/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=25776 CPUtime=0.09 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1280 0 0 0 9 0 0 0 20 0 1 0 3008664 26394624 1072 33554432000 4194304 6986860 140731403117968 140731403113496 5474352 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1072 680 682 0 447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25776
[startup+0.200222 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 9063
/proc/meminfo: memFree=32056148/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=25776 CPUtime=0.19 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1280 0 0 0 19 0 0 0 20 0 1 0 3008664 26394624 1072 33554432000 4194304 6986860 140731403117968 140731403113320 5438185 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1072 680 682 0 447 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25776
[startup+0.300205 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 9063
/proc/meminfo: memFree=32056148/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=25776 CPUtime=0.29 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1280 0 0 0 29 0 0 0 20 0 1 0 3008664 26394624 1072 33554432000 4194304 6986860 140731403117968 140731403113320 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1072 680 682 0 447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25776
[startup+0.700181 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 9063
/proc/meminfo: memFree=32056148/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=25776 CPUtime=0.69 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1280 0 0 0 69 0 0 0 20 0 1 0 3008664 26394624 1072 33554432000 4194304 6986860 140731403117968 140731403113320 5437954 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1072 680 682 0 447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25776
[startup+1.50018 s]
/proc/loadavg: 2.16 2.05 2.06 3/182 9064
/proc/meminfo: memFree=32054632/32770624 swapFree=5736/174612
[pid=9063] ppid=9060 vsize=25776 CPUtime=1.49 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1280 0 0 0 149 0 0 0 20 0 1 0 3008664 26394624 1072 33554432000 4194304 6986860 140731403117968 140731403113320 5438400 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1072 680 682 0 447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25776
[startup+3.10018 s]
/proc/loadavg: 2.16 2.05 2.06 3/182 9064
/proc/meminfo: memFree=32054364/32770624 swapFree=5736/174612
[pid=9063] ppid=9060 vsize=25776 CPUtime=3.09 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 1644 0 0 0 309 0 0 0 20 0 1 0 3008664 26394624 1126 33554432000 4194304 6986860 140731403117968 140731403113320 5473976 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1126 701 682 0 447 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25776
[startup+6.30018 s]
/proc/loadavg: 2.15 2.05 2.06 3/182 9064
/proc/meminfo: memFree=32053856/32770624 swapFree=5736/174592
[pid=9063] ppid=9060 vsize=25776 CPUtime=6.29 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 2008 0 0 0 629 0 0 0 20 0 1 0 3008664 26394624 1126 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1126 701 682 0 447 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25776
[startup+12.7002 s]
/proc/loadavg: 2.14 2.05 2.06 3/182 9064
/proc/meminfo: memFree=32053488/32770624 swapFree=5736/174600
[pid=9063] ppid=9060 vsize=25776 CPUtime=12.69 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 2373 0 0 0 1268 1 0 0 20 0 1 0 3008664 26394624 1126 33554432000 4194304 6986860 140731403117968 140731403113320 5476432 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6444 1126 701 682 0 447 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25776
[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 2.05 3/182 9071
/proc/meminfo: memFree=32052652/32770624 swapFree=5736/174608
[pid=9063] ppid=9060 vsize=25908 CPUtime=25.49 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 3115 0 0 0 2547 2 0 0 20 0 1 0 3008664 26529792 1130 33554432000 4194304 6986860 140731403117968 140731403113320 5366202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1130 701 682 0 480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25908
[startup+51.1002 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 9071
/proc/meminfo: memFree=32052664/32770624 swapFree=5736/174628
[pid=9063] ppid=9060 vsize=25908 CPUtime=51.09 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 3489 0 0 0 5105 4 0 0 20 0 1 0 3008664 26529792 1131 33554432000 4194304 6986860 140731403117968 140731403113496 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1131 701 682 0 480 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25908
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/183 9098
/proc/meminfo: memFree=32052400/32770624 swapFree=5736/174688
[pid=9063] ppid=9060 vsize=25908 CPUtime=102.28 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 3860 0 0 0 10221 7 0 0 20 0 1 0 3008664 26529792 1132 33554432000 4194304 6986860 140731403117968 140731403113320 5473976 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1132 701 682 0 480 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25908
[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/183 9099
/proc/meminfo: memFree=32052096/32770624 swapFree=5736/174708
[pid=9063] ppid=9060 vsize=25908 CPUtime=162.28 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 4231 0 0 0 16217 11 0 0 20 0 1 0 3008664 26529792 1132 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1132 701 682 0 480 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 25908
[startup+222.306 s]
/proc/loadavg: 2.06 2.05 2.05 3/183 9100
/proc/meminfo: memFree=32052248/32770624 swapFree=5736/174728
[pid=9063] ppid=9060 vsize=25908 CPUtime=222.29 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 4604 0 0 0 22214 15 0 0 20 0 1 0 3008664 26529792 1132 33554432000 4194304 6986860 140731403117968 140731403113496 5473976 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1132 701 682 0 480 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 25908
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 9101
/proc/meminfo: memFree=32052992/32770624 swapFree=5736/174748
[pid=9063] ppid=9060 vsize=25908 CPUtime=282.27 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 4990 0 0 0 28208 19 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113320 5438384 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 25908
[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 9102
/proc/meminfo: memFree=32052480/32770624 swapFree=5736/174772
[pid=9063] ppid=9060 vsize=25908 CPUtime=342.27 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 5369 0 0 0 34203 24 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113496 5473968 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 25908
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 9103
/proc/meminfo: memFree=32052968/32770624 swapFree=5736/174792
[pid=9063] ppid=9060 vsize=25908 CPUtime=402.27 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 5749 0 0 0 40198 29 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 25908
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 9104
/proc/meminfo: memFree=32052676/32770624 swapFree=5736/174816
[pid=9063] ppid=9060 vsize=25908 CPUtime=462.26 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 6128 0 0 0 46193 33 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113496 139799745040764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 25908
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 9106
/proc/meminfo: memFree=32053188/32770624 swapFree=5736/174844
[pid=9063] ppid=9060 vsize=25908 CPUtime=522.26 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 6507 0 0 0 52188 38 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113496 5438332 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 25908
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9107
/proc/meminfo: memFree=32053132/32770624 swapFree=5736/174872
[pid=9063] ppid=9060 vsize=25908 CPUtime=582.26 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 6887 0 0 0 58182 44 0 0 20 0 1 0 3008664 26529792 1139 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1139 701 682 0 480 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 25908
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9138
/proc/meminfo: memFree=32053332/32770624 swapFree=5736/175224
[pid=9063] ppid=9060 vsize=25908 CPUtime=1482.21 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 12628 0 0 0 148095 126 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 25908
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9140
/proc/meminfo: memFree=32053112/32770624 swapFree=5736/175248
[pid=9063] ppid=9060 vsize=25908 CPUtime=1542.22 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 13013 0 0 0 154092 130 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438453 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 25908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9141
/proc/meminfo: memFree=32052608/32770624 swapFree=5736/175276
[pid=9063] ppid=9060 vsize=25908 CPUtime=1602.21 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 13398 0 0 0 160086 135 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5438332 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 25908
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9202
/proc/meminfo: memFree=31916016/32770624 swapFree=5736/175416
[pid=9063] ppid=9060 vsize=25908 CPUtime=1662.21 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 13783 0 0 0 166080 141 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 25908
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9204
/proc/meminfo: memFree=31915924/32770624 swapFree=5736/175456
[pid=9063] ppid=9060 vsize=25908 CPUtime=1722.2 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 14168 0 0 0 172075 145 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 25908
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9205
/proc/meminfo: memFree=31915180/32770624 swapFree=5736/175492
[pid=9063] ppid=9060 vsize=25908 CPUtime=1782.2 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 14553 0 0 0 178070 150 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 25908
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9214
/proc/meminfo: memFree=31914104/32770624 swapFree=5736/175516
[pid=9063] ppid=9060 vsize=25908 CPUtime=1842.19 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 14938 0 0 0 184064 155 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 25908
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 9215
/proc/meminfo: memFree=31914424/32770624 swapFree=5736/175540
[pid=9063] ppid=9060 vsize=25908 CPUtime=1902.2 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 15323 0 0 0 190059 161 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 139799745040764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 25908
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 9216
/proc/meminfo: memFree=31914300/32770624 swapFree=5736/175568
[pid=9063] ppid=9060 vsize=25908 CPUtime=1962.19 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 15708 0 0 0 196051 168 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5438143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 25908
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9217
/proc/meminfo: memFree=31914284/32770624 swapFree=5736/175592
[pid=9063] ppid=9060 vsize=25908 CPUtime=2022.19 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 16093 0 0 0 202045 174 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5437980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 25908
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9218
/proc/meminfo: memFree=31914160/32770624 swapFree=5736/175624
[pid=9063] ppid=9060 vsize=25908 CPUtime=2082.18 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 16478 0 0 0 208039 179 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 25908
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9219
/proc/meminfo: memFree=31914268/32770624 swapFree=5736/175648
[pid=9063] ppid=9060 vsize=25908 CPUtime=2142.18 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 16863 0 0 0 214034 184 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5438175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 25908
[startup+2202.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 9220
/proc/meminfo: memFree=31914392/32770624 swapFree=5736/175672
[pid=9063] ppid=9060 vsize=25908 CPUtime=2202.18 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 17248 0 0 0 220028 190 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 25908
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 9221
/proc/meminfo: memFree=31914516/32770624 swapFree=5736/175700
[pid=9063] ppid=9060 vsize=25908 CPUtime=2262.17 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 17633 0 0 0 226021 196 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113320 5438344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 25908
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 9222
/proc/meminfo: memFree=31914020/32770624 swapFree=5736/175724
[pid=9063] ppid=9060 vsize=25908 CPUtime=2322.17 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 18018 0 0 0 232015 202 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5474339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 25908
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9223
/proc/meminfo: memFree=31914152/32770624 swapFree=5736/175752
[pid=9063] ppid=9060 vsize=25908 CPUtime=2382.16 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 18403 0 0 0 238009 207 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5438008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 25908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9224
/proc/meminfo: memFree=31914640/32770624 swapFree=5736/175780
[pid=9063] ppid=9060 vsize=25908 CPUtime=2400.07 cores=0,2,4,6
/proc/9063/stat : 9063 (naxos-xcsp3) R 9060 9063 3809 0 -1 4202496 18788 0 0 0 239798 209 0 0 20 0 1 0 3008664 26529792 1146 33554432000 4194304 6986860 140731403117968 140731403113496 5474344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 28012544 140731403121934 140731403122015 140731403122015 140731403124714 0
/proc/9063/statm: 6477 1146 701 682 0 480 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 25908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9063 sig 9
??? kill -9063 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.08
CPU user time (s): 2397.98
CPU system time (s): 2.09589
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 25908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.98
system time used= 2.09589
maximum resident set size= 4624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18818
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= 7
involuntary context switches= 2442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41861 second user time and 9.16141 second system time
The end