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-4253034-1500927768/watcher-4253034-1500927768 -o /tmp/evaluation-result-4253034-1500927768/solver-4253034-1500927768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500914927-3858 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253034-1500927768.xml
pid=18154
running on 4 cores: 1,3,5,7
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.00 1.99 2.01 3/181 18157
/proc/meminfo: memFree=31504552/32770624 swapFree=5796/131336
[pid=18157] ppid=18154 vsize=25388 CPUtime=0 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 1154 0 0 0 0 0 0 0 20 0 1 0 2316345 25997312 994 33554432000 4194304 6986860 140723793768640 140723793765336 140512032271333 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 6347 994 696 682 0 350 0
[startup+0.100111 s]
/proc/loadavg: 2.00 1.99 2.01 3/181 18157
/proc/meminfo: memFree=31504552/32770624 swapFree=5796/131336
[pid=18157] ppid=18154 vsize=31716 CPUtime=0.09 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 2771 0 0 0 9 0 0 0 20 0 1 0 2316345 32477184 2609 33554432000 4194304 6986860 140723793768640 140723793765336 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 7929 2609 712 682 0 1932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31716
[startup+0.20027 s]
/proc/loadavg: 2.00 1.99 2.01 3/181 18157
/proc/meminfo: memFree=31504552/32770624 swapFree=5796/131336
[pid=18157] ppid=18154 vsize=32112 CPUtime=0.19 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 2870 0 0 0 19 0 0 0 20 0 1 0 2316345 32882688 2675 33554432000 4194304 6986860 140723793768640 140723793765336 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8028 2675 712 682 0 2031 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32112
[startup+0.300202 s]
/proc/loadavg: 2.00 1.99 2.01 3/181 18157
/proc/meminfo: memFree=31504552/32770624 swapFree=5796/131336
[pid=18157] ppid=18154 vsize=32112 CPUtime=0.29 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 2870 0 0 0 29 0 0 0 20 0 1 0 2316345 32882688 2675 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8028 2675 712 682 0 2031 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32112
[startup+0.700174 s]
/proc/loadavg: 2.00 1.99 2.01 3/181 18157
/proc/meminfo: memFree=31504552/32770624 swapFree=5796/131336
[pid=18157] ppid=18154 vsize=32112 CPUtime=0.69 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 2870 0 0 0 69 0 0 0 20 0 1 0 2316345 32882688 2675 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8028 2675 712 682 0 2031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32112
[startup+1.50017 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31496048/32770624 swapFree=5796/131396
[pid=18157] ppid=18154 vsize=32508 CPUtime=1.49 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 2968 0 0 0 149 0 0 0 20 0 1 0 2316345 33288192 2807 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8127 2807 712 682 0 2130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32508
[startup+3.10017 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31495676/32770624 swapFree=5796/131396
[pid=18157] ppid=18154 vsize=32508 CPUtime=3.09 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 4240 0 0 0 308 1 0 0 20 0 1 0 2316345 33288192 2815 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8127 2815 712 682 0 2130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32508
[startup+6.30018 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31495680/32770624 swapFree=5796/131396
[pid=18157] ppid=18154 vsize=32508 CPUtime=6.29 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 5512 0 0 0 627 2 0 0 20 0 1 0 2316345 33288192 2815 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8127 2815 712 682 0 2130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32508
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31494976/32770624 swapFree=5796/131408
[pid=18157] ppid=18154 vsize=32904 CPUtime=12.69 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 6884 0 0 0 1266 3 0 0 20 0 1 0 2316345 33693696 2883 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8226 2883 712 682 0 2229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32904
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31495100/32770624 swapFree=5796/131424
[pid=18157] ppid=18154 vsize=32904 CPUtime=25.49 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 9506 0 0 0 2544 5 0 0 20 0 1 0 2316345 33693696 2913 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8226 2913 712 682 0 2229 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32904
[startup+51.1002 s]
/proc/loadavg: 2.00 1.99 2.01 3/182 18158
/proc/meminfo: memFree=31494940/32770624 swapFree=5796/131432
[pid=18157] ppid=18154 vsize=32904 CPUtime=51.09 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 10884 0 0 0 5096 13 0 0 20 0 1 0 2316345 33693696 2913 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8226 2913 712 682 0 2229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32904
[startup+102.3 s]
/proc/loadavg: 1.93 1.97 2.00 3/182 18220
/proc/meminfo: memFree=32083312/32770624 swapFree=5796/131496
[pid=18157] ppid=18154 vsize=32904 CPUtime=102.29 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 12367 0 0 0 10203 26 0 0 20 0 1 0 2316345 33693696 2930 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8226 2930 712 682 0 2229 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 32904
[startup+162.3 s]
/proc/loadavg: 1.97 1.97 2.00 3/182 18222
/proc/meminfo: memFree=32082200/32770624 swapFree=5796/131556
[pid=18157] ppid=18154 vsize=33300 CPUtime=162.28 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 12692 0 0 0 16186 42 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 33300
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 2.00 3/182 18223
/proc/meminfo: memFree=32082148/32770624 swapFree=5796/131584
[pid=18157] ppid=18154 vsize=33300 CPUtime=222.29 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 12917 0 0 0 22173 56 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 33300
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/182 18224
/proc/meminfo: memFree=32082116/32770624 swapFree=5796/131624
[pid=18157] ppid=18154 vsize=33300 CPUtime=282.28 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 13142 0 0 0 28158 70 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 33300
[startup+342.3 s]
/proc/loadavg: 2.06 2.00 2.01 3/182 18226
/proc/meminfo: memFree=32081856/32770624 swapFree=5796/131664
[pid=18157] ppid=18154 vsize=33300 CPUtime=342.28 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 13367 0 0 0 34144 84 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 33300
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 18227
/proc/meminfo: memFree=32082064/32770624 swapFree=5796/131700
[pid=18157] ppid=18154 vsize=33300 CPUtime=402.28 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 13592 0 0 0 40128 100 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 33300
[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.02 3/183 18236
/proc/meminfo: memFree=32081668/32770624 swapFree=5796/131728
[pid=18157] ppid=18154 vsize=33300 CPUtime=462.27 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 13817 0 0 0 46113 114 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793763992 140512032270417 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 33300
[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.02 3/183 18237
/proc/meminfo: memFree=32082256/32770624 swapFree=5796/131760
[pid=18157] ppid=18154 vsize=33300 CPUtime=522.28 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 14042 0 0 0 52100 128 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793764168 5435600 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 33300
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 18238
/proc/meminfo: memFree=32082596/32770624 swapFree=5796/131800
[pid=18157] ppid=18154 vsize=33300 CPUtime=582.27 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 14267 0 0 0 58084 143 0 0 20 0 1 0 2316345 34099200 3028 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8325 3028 712 682 0 2328 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 33300
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 18262
/proc/meminfo: memFree=32079472/32770624 swapFree=5796/132316
[pid=18157] ppid=18154 vsize=33696 CPUtime=1542.26 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 18160 0 0 0 153838 388 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 33696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 18263
/proc/meminfo: memFree=32080136/32770624 swapFree=5796/132352
[pid=18157] ppid=18154 vsize=33696 CPUtime=1602.26 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 18482 0 0 0 159823 403 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 33696
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 18271
/proc/meminfo: memFree=32080284/32770624 swapFree=5796/132352
[pid=18157] ppid=18154 vsize=33696 CPUtime=1662.25 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 18804 0 0 0 165810 415 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 33696
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18272
/proc/meminfo: memFree=32080540/32770624 swapFree=5796/132384
[pid=18157] ppid=18154 vsize=33696 CPUtime=1722.25 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 19126 0 0 0 171796 429 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 33696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18273
/proc/meminfo: memFree=32080152/32770624 swapFree=5796/132416
[pid=18157] ppid=18154 vsize=33696 CPUtime=1782.25 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 19448 0 0 0 177782 443 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 33696
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18274
/proc/meminfo: memFree=32080416/32770624 swapFree=5796/132448
[pid=18157] ppid=18154 vsize=33696 CPUtime=1842.25 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 19756 0 0 0 183766 459 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 33696
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18275
/proc/meminfo: memFree=32080044/32770624 swapFree=5796/132488
[pid=18157] ppid=18154 vsize=33696 CPUtime=1902.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 20064 0 0 0 189753 471 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 33696
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18277
/proc/meminfo: memFree=32080532/32770624 swapFree=5796/132508
[pid=18157] ppid=18154 vsize=33696 CPUtime=1962.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 20400 0 0 0 195737 487 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 33696
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18278
/proc/meminfo: memFree=32080548/32770624 swapFree=5796/132540
[pid=18157] ppid=18154 vsize=33696 CPUtime=2022.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 20722 0 0 0 201722 502 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 33696
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18279
/proc/meminfo: memFree=32080224/32770624 swapFree=5796/132576
[pid=18157] ppid=18154 vsize=33696 CPUtime=2082.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 21044 0 0 0 207707 517 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 33696
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18281
/proc/meminfo: memFree=32080316/32770624 swapFree=5796/132608
[pid=18157] ppid=18154 vsize=33696 CPUtime=2142.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 21366 0 0 0 213692 532 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 33696
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18282
/proc/meminfo: memFree=32080536/32770624 swapFree=5796/132640
[pid=18157] ppid=18154 vsize=33696 CPUtime=2202.25 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 21688 0 0 0 219679 546 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 33696
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18290
/proc/meminfo: memFree=32080256/32770624 swapFree=5796/132688
[pid=18157] ppid=18154 vsize=33696 CPUtime=2262.24 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 22010 0 0 0 225663 561 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032280600 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 33696
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18313
/proc/meminfo: memFree=32078844/32770624 swapFree=5796/132724
[pid=18157] ppid=18154 vsize=33696 CPUtime=2322.23 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 22332 0 0 0 231645 578 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 33696
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18314
/proc/meminfo: memFree=32078836/32770624 swapFree=5796/132764
[pid=18157] ppid=18154 vsize=33696 CPUtime=2382.23 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 22654 0 0 0 237631 592 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793764168 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 33696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18314
/proc/meminfo: memFree=32078836/32770624 swapFree=5796/132772
[pid=18157] ppid=18154 vsize=33696 CPUtime=2400.04 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 22976 0 0 0 239406 598 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 33696
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 18157 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18314
/proc/meminfo: memFree=32078836/32770624 swapFree=5796/132772
[pid=18157] ppid=18154 vsize=33696 CPUtime=2400.04 cores=1,3,5,7
/proc/18157/stat : 18157 (naxos-xcsp3) R 18154 18157 3826 0 -1 4202496 22976 0 0 0 239406 598 0 0 20 0 1 0 2316345 34504704 3125 33554432000 4194304 6986860 140723793768640 140723793763992 140512032534908 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 18870272 140723793773838 140723793773919 140723793773919 140723793776618 0
/proc/18157/statm: 8424 3125 712 682 0 2427 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 33696
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.05
CPU user time (s): 2394.06
CPU system time (s): 5.98087
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 33696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.06
system time used= 5.98087
maximum resident set size= 12540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23006
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= 8
involuntary context switches= 608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22767 second user time and 8.30551 second system time
The end