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-4252847-1501988649/watcher-4252847-1501988649 -o /tmp/evaluation-result-4252847-1501988649/solver-4252847-1501988649 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501978048-2909 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252847-1501988649.xml
pid=8983
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: 1.96 2.00 2.04 3/184 8986
/proc/meminfo: memFree=31817036/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8986/stat : 8986 (runsolver) D 8983 8986 2450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1058659 24240128 106 18446744073709551615 4194304 4338465 140726349196080 140726349193720 139884320809687 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 14131200 140726349197523 140726349197900 140726349197900 140726349201354 0
/proc/8986/statm: 5918 106 53 36 0 2156 0
[startup+0.100193 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 8986
/proc/meminfo: memFree=31817036/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=27096 CPUtime=0.04 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 1592 0 0 0 4 0 0 0 20 0 1 0 1058659 27746304 1396 18446744073709551615 4194304 6986860 140736581106656 140736581103352 5510227 0 0 1 0 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 6774 1396 708 682 0 777 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27096
[startup+0.200373 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 8986
/proc/meminfo: memFree=31817036/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=41340 CPUtime=0.14 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 5238 0 0 0 14 0 0 0 20 0 1 0 1058659 42332160 4939 18446744073709551615 4194304 6986860 140736581106656 140736581101336 5438093 0 0 1 0 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 10335 4939 708 682 0 4338 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 41340
[startup+0.300384 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 8986
/proc/meminfo: memFree=31817036/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=47544 CPUtime=0.25 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 6919 0 0 0 24 1 0 0 20 0 1 0 1058659 48685056 6478 18446744073709551615 4194304 6986860 140736581106656 140736581101336 140665944300544 0 0 1 0 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 11886 6478 708 682 0 5889 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 47544
[startup+0.70035 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 8986
/proc/meminfo: memFree=31817036/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=68580 CPUtime=0.65 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 12159 0 0 0 63 2 0 0 20 0 1 0 1058659 70225920 11692 18446744073709551615 4194304 6986860 140736581106656 140736581101336 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11692 708 682 0 11148 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 68580
[startup+1.50033 s]
/proc/loadavg: 1.96 2.00 2.04 4/185 8987
/proc/meminfo: memFree=31772556/32770624 swapFree=0/290312
[pid=8986] ppid=8983 vsize=68580 CPUtime=1.45 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 12159 0 0 0 143 2 0 0 20 0 1 0 1058659 70225920 11692 18446744073709551615 4194304 6986860 140736581106656 140736581102008 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11692 708 682 0 11148 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 68580
[startup+3.10035 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 8987
/proc/meminfo: memFree=31772456/32770624 swapFree=0/290316
[pid=8986] ppid=8983 vsize=68580 CPUtime=3.04 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 19086 0 0 0 302 2 0 0 20 0 1 0 1058659 70225920 11748 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 68580
[startup+6.30035 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 8987
/proc/meminfo: memFree=31772580/32770624 swapFree=0/290320
[pid=8986] ppid=8983 vsize=68580 CPUtime=6.24 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 26030 0 0 0 622 2 0 0 20 0 1 0 1058659 70225920 11748 18446744073709551615 4194304 6986860 140736581106656 140736581102008 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 68580
[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.04 3/185 8987
/proc/meminfo: memFree=31772732/32770624 swapFree=0/290328
[pid=8986] ppid=8983 vsize=68580 CPUtime=12.65 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 33001 0 0 0 1262 3 0 0 20 0 1 0 1058659 70225920 11748 18446744073709551615 4194304 6986860 140736581106656 140736581102008 5473968 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 68580
[startup+25.5004 s]
/proc/loadavg: 1.97 2.00 2.04 3/185 8987
/proc/meminfo: memFree=31772980/32770624 swapFree=0/290344
[pid=8986] ppid=8983 vsize=68580 CPUtime=25.44 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 46899 0 0 0 2541 3 0 0 20 0 1 0 1058659 70225920 11748 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 68580
[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 8989
/proc/meminfo: memFree=31772812/32770624 swapFree=0/290360
[pid=8986] ppid=8983 vsize=68580 CPUtime=51.04 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 54346 0 0 0 5100 4 0 0 20 0 1 0 1058659 70225920 11748 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438079 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11748 722 682 0 11148 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 68580
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 8991
/proc/meminfo: memFree=31774536/32770624 swapFree=0/290392
[pid=8986] ppid=8983 vsize=68580 CPUtime=102.24 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 54502 0 0 0 10220 4 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438268 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 68580
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 8993
/proc/meminfo: memFree=31776120/32770624 swapFree=0/290232
[pid=8986] ppid=8983 vsize=68580 CPUtime=162.23 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 54649 0 0 0 16218 5 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438143 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 68580
[startup+222.306 s]
/proc/loadavg: 2.05 2.01 2.05 3/183 8996
/proc/meminfo: memFree=31775896/32770624 swapFree=0/290252
[pid=8986] ppid=8983 vsize=68580 CPUtime=222.23 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 54796 0 0 0 22217 6 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5474360 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68580
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/183 8998
/proc/meminfo: memFree=31776112/32770624 swapFree=0/290272
[pid=8986] ppid=8983 vsize=68580 CPUtime=282.23 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 54943 0 0 0 28216 7 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 68580
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 9001
/proc/meminfo: memFree=31775976/32770624 swapFree=0/290304
[pid=8986] ppid=8983 vsize=68580 CPUtime=342.22 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 55090 0 0 0 34215 7 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 68580
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9003
/proc/meminfo: memFree=31775984/32770624 swapFree=0/290324
[pid=8986] ppid=8983 vsize=68580 CPUtime=402.22 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 55237 0 0 0 40214 8 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 68580
[startup+462.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 9005
/proc/meminfo: memFree=31776208/32770624 swapFree=0/290344
[pid=8986] ppid=8983 vsize=68580 CPUtime=462.22 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 55384 0 0 0 46213 9 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102008 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 68580
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 9008
/proc/meminfo: memFree=31776368/32770624 swapFree=0/290372
[pid=8986] ppid=8983 vsize=68580 CPUtime=522.21 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 55531 0 0 0 52212 9 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5437950 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 68580
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 9010
/proc/meminfo: memFree=31776100/32770624 swapFree=0/290392
[pid=8986] ppid=8983 vsize=68580 CPUtime=582.21 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 55678 0 0 0 58211 10 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 68580
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9094
/proc/meminfo: memFree=31775428/32770624 swapFree=0/290832
[pid=8986] ppid=8983 vsize=68580 CPUtime=1482.19 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 57883 0 0 0 148197 22 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438017 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 68580
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9096
/proc/meminfo: memFree=31775304/32770624 swapFree=0/290860
[pid=8986] ppid=8983 vsize=68580 CPUtime=1542.19 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58030 0 0 0 154196 23 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 68580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9098
/proc/meminfo: memFree=31775772/32770624 swapFree=0/290880
[pid=8986] ppid=8983 vsize=68580 CPUtime=1602.18 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58177 0 0 0 160194 24 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5437950 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 68580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9100
/proc/meminfo: memFree=31775648/32770624 swapFree=0/290900
[pid=8986] ppid=8983 vsize=68580 CPUtime=1662.17 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58324 0 0 0 166193 24 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 68580
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 9102
/proc/meminfo: memFree=31775812/32770624 swapFree=0/290920
[pid=8986] ppid=8983 vsize=68580 CPUtime=1722.17 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58471 0 0 0 172192 25 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 68580
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9104
/proc/meminfo: memFree=31775916/32770624 swapFree=0/290940
[pid=8986] ppid=8983 vsize=68580 CPUtime=1782.17 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58618 0 0 0 178191 26 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438294 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 68580
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 9120
/proc/meminfo: memFree=31771052/32770624 swapFree=0/290996
[pid=8986] ppid=8983 vsize=68580 CPUtime=1842.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58765 0 0 0 184190 26 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5437958 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 68580
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9122
/proc/meminfo: memFree=31774572/32770624 swapFree=0/291016
[pid=8986] ppid=8983 vsize=68580 CPUtime=1902.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 58912 0 0 0 190189 27 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 68580
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9124
/proc/meminfo: memFree=31775044/32770624 swapFree=0/291044
[pid=8986] ppid=8983 vsize=68580 CPUtime=1962.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59059 0 0 0 196188 28 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 1962.16
Current children cumulated vsize (KiB) 68580
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9126
/proc/meminfo: memFree=31775672/32770624 swapFree=0/291064
[pid=8986] ppid=8983 vsize=68580 CPUtime=2022.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59206 0 0 0 202187 29 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2022.16
Current children cumulated vsize (KiB) 68580
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9128
/proc/meminfo: memFree=31775984/32770624 swapFree=0/291084
[pid=8986] ppid=8983 vsize=68580 CPUtime=2082.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59353 0 0 0 208187 29 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 68580
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9131
/proc/meminfo: memFree=31775852/32770624 swapFree=0/291124
[pid=8986] ppid=8983 vsize=68580 CPUtime=2142.15 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59500 0 0 0 214185 30 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438358 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 68580
[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9133
/proc/meminfo: memFree=31775812/32770624 swapFree=0/291148
[pid=8986] ppid=8983 vsize=68580 CPUtime=2202.16 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59647 0 0 0 220185 31 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 68580
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9135
/proc/meminfo: memFree=31775736/32770624 swapFree=0/291168
[pid=8986] ppid=8983 vsize=68580 CPUtime=2262.15 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59794 0 0 0 226183 32 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2262.15
Current children cumulated vsize (KiB) 68580
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9198
/proc/meminfo: memFree=31782636/32770624 swapFree=0/291244
[pid=8986] ppid=8983 vsize=68580 CPUtime=2322.15 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 59941 0 0 0 232182 33 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5454000 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 68580
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9200
/proc/meminfo: memFree=31782584/32770624 swapFree=0/291280
[pid=8986] ppid=8983 vsize=68580 CPUtime=2382.15 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 60088 0 0 0 238182 33 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438190 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 68580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9214
/proc/meminfo: memFree=31778084/32770624 swapFree=0/291284
[pid=8986] ppid=8983 vsize=68580 CPUtime=2400.05 cores=0,2,4,6
/proc/8986/stat : 8986 (naxos-xcsp3) R 8983 8986 2450 0 -1 4202496 60235 0 0 0 239972 33 0 0 20 0 1 0 1058659 70225920 11827 18446744073709551615 4194304 6986860 140736581106656 140736581102184 5438178 0 0 1 16384 0 0 0 17 4 0 0 4 0 0 9087712 9120176 39182336 140736581108251 140736581108332 140736581108332 140736581111786 0
/proc/8986/statm: 17145 11827 722 682 0 11148 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 68580
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 8986 sig 9
??? kill -8986 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.06
CPU user time (s): 2399.73
CPU system time (s): 0.337987
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 68580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.337987
maximum resident set size= 47344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60264
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= 15
involuntary context switches= 606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81037 second user time and 9.47177 second system time
The end