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-4253854-1500935198/watcher-4253854-1500935198 -o /tmp/evaluation-result-4253854-1500935198/solver-4253854-1500935198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3841 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253854-1500935198.xml
pid=9198
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 2.01 2.05 3/181 9201
/proc/meminfo: memFree=32052708/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=24608 CPUtime=0 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 3170496 25198592 756 33554432000 4194304 6986860 140724434433536 140724434430232 5637771 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 6152 756 649 682 0 155 0
[startup+0.100105 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9201
/proc/meminfo: memFree=32052708/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=24732 CPUtime=0.09 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 1025 0 0 0 9 0 0 0 20 0 1 0 3170496 25325568 864 33554432000 4194304 6986860 140724434433536 140724434424576 5620574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 6183 864 729 682 0 186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24732
[startup+0.200214 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9201
/proc/meminfo: memFree=32052708/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=27600 CPUtime=0.19 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 1775 0 0 0 19 0 0 0 20 0 1 0 3170496 28262400 1588 33554432000 4194304 6986860 140724434433536 140724434424576 5694932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 6900 1588 740 682 0 903 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27600
[startup+0.300217 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9201
/proc/meminfo: memFree=32052708/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=38444 CPUtime=0.29 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 4563 0 0 0 29 0 0 0 20 0 1 0 3170496 39366656 4271 33554432000 4194304 6986860 140724434433536 140724434424576 5678056 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 9611 4271 741 682 0 3614 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38444
[startup+0.700173 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9201
/proc/meminfo: memFree=32052708/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=57172 CPUtime=0.69 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 9301 0 0 0 68 1 0 0 20 0 1 0 3170496 58544128 8837 33554432000 4194304 6986860 140724434433536 140724434424576 140394138528741 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 14293 8837 741 682 0 8296 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57172
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9202
/proc/meminfo: memFree=31957640/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=154968 CPUtime=1.49 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 34132 0 0 0 146 3 0 0 20 0 1 0 3170496 158687232 33371 33554432000 4194304 6986860 140724434433536 140724434424576 5813563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 38742 33371 741 682 0 32745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154968
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9202
/proc/meminfo: memFree=31916720/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=159720 CPUtime=3.09 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 63005 0 0 0 304 5 0 0 20 0 1 0 3170496 163553280 34625 33554432000 4194304 6986860 140724434433536 140724434424576 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34625 755 682 0 33933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159720
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9202
/proc/meminfo: memFree=31916372/32770624 swapFree=5736/175276
[pid=9201] ppid=9198 vsize=159720 CPUtime=6.29 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 90662 0 0 0 621 8 0 0 20 0 1 0 3170496 163553280 34625 33554432000 4194304 6986860 140724434433536 140724434428888 5438220 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34625 755 682 0 33933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159720
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9202
/proc/meminfo: memFree=31916372/32770624 swapFree=5736/175396
[pid=9201] ppid=9198 vsize=159720 CPUtime=12.69 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 118318 0 0 0 1259 10 0 0 20 0 1 0 3170496 163553280 34625 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34625 755 682 0 33933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 159720
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9202
/proc/meminfo: memFree=31916144/32770624 swapFree=5736/175396
[pid=9201] ppid=9198 vsize=159720 CPUtime=25.49 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 171299 0 0 0 2535 14 0 0 20 0 1 0 3170496 163553280 34625 33554432000 4194304 6986860 140724434433536 140724434428888 5438235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34625 755 682 0 33933 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159720
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9202
/proc/meminfo: memFree=31915876/32770624 swapFree=5736/175416
[pid=9201] ppid=9198 vsize=159720 CPUtime=51.09 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 191304 0 0 0 5089 20 0 0 20 0 1 0 3170496 163553280 34649 33554432000 4194304 6986860 140724434433536 140724434428888 5473976 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34649 755 682 0 33933 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 159720
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9204
/proc/meminfo: memFree=31915924/32770624 swapFree=5736/175456
[pid=9201] ppid=9198 vsize=159720 CPUtime=102.3 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 199081 0 0 0 10201 29 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 159720
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9205
/proc/meminfo: memFree=31915180/32770624 swapFree=5736/175492
[pid=9201] ppid=9198 vsize=159720 CPUtime=162.29 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 199705 0 0 0 16186 43 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 159720
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9214
/proc/meminfo: memFree=31914104/32770624 swapFree=5736/175516
[pid=9201] ppid=9198 vsize=159720 CPUtime=222.31 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 200330 0 0 0 22176 55 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 159720
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 9215
/proc/meminfo: memFree=31914424/32770624 swapFree=5736/175540
[pid=9201] ppid=9198 vsize=159720 CPUtime=282.3 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 200954 0 0 0 28164 66 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5438143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159720
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 9216
/proc/meminfo: memFree=31914300/32770624 swapFree=5736/175568
[pid=9201] ppid=9198 vsize=159720 CPUtime=342.3 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 200954 0 0 0 34152 78 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 5437973 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159720
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9217
/proc/meminfo: memFree=31914284/32770624 swapFree=5736/175592
[pid=9201] ppid=9198 vsize=159720 CPUtime=402.31 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 201588 0 0 0 40139 92 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 159720
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9218
/proc/meminfo: memFree=31914160/32770624 swapFree=5736/175624
[pid=9201] ppid=9198 vsize=159720 CPUtime=462.3 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 202216 0 0 0 46125 105 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 159720
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9219
/proc/meminfo: memFree=31914268/32770624 swapFree=5736/175648
[pid=9201] ppid=9198 vsize=159720 CPUtime=522.31 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 202216 0 0 0 52114 117 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 159720
[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 9220
/proc/meminfo: memFree=31914392/32770624 swapFree=5736/175672
[pid=9201] ppid=9198 vsize=159720 CPUtime=582.31 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 202844 0 0 0 58101 130 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 159720
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.00 1.10 1.49 2/175 9295
/proc/meminfo: memFree=31920876/32770624 swapFree=5736/174904
[pid=9201] ppid=9198 vsize=159720 CPUtime=1482.34 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 210448 0 0 0 147929 305 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 159720
[startup+1542.31 s]
/proc/loadavg: 1.00 1.08 1.46 2/175 9296
/proc/meminfo: memFree=31921220/32770624 swapFree=5736/174928
[pid=9201] ppid=9198 vsize=159720 CPUtime=1542.35 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 211083 0 0 0 153921 314 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 159720
[startup+1602.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/175 9297
/proc/meminfo: memFree=31920616/32770624 swapFree=5736/174952
[pid=9201] ppid=9198 vsize=159720 CPUtime=1602.35 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 211718 0 0 0 159911 324 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 159720
[startup+1662.3 s]
/proc/loadavg: 1.06 1.07 1.41 2/175 9298
/proc/meminfo: memFree=31920872/32770624 swapFree=5736/174976
[pid=9201] ppid=9198 vsize=159720 CPUtime=1662.34 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 212354 0 0 0 165902 332 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 5438205 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 159720
[startup+1722.3 s]
/proc/loadavg: 1.03 1.06 1.39 2/175 9300
/proc/meminfo: memFree=31921180/32770624 swapFree=5736/175008
[pid=9201] ppid=9198 vsize=159720 CPUtime=1722.35 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 212990 0 0 0 171892 343 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 5438185 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 159720
[startup+1782.3 s]
/proc/loadavg: 1.01 1.05 1.36 2/175 9301
/proc/meminfo: memFree=31920192/32770624 swapFree=5736/175040
[pid=9201] ppid=9198 vsize=159720 CPUtime=1782.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 213626 0 0 0 177883 353 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 159720
[startup+1842.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/175 9302
/proc/meminfo: memFree=31920200/32770624 swapFree=5736/175056
[pid=9201] ppid=9198 vsize=159720 CPUtime=1842.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 214262 0 0 0 183873 363 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5473982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 159720
[startup+1902.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/175 9304
/proc/meminfo: memFree=31920168/32770624 swapFree=5736/175072
[pid=9201] ppid=9198 vsize=159720 CPUtime=1902.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 214898 0 0 0 189864 372 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 159720
[startup+1962.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/175 9305
/proc/meminfo: memFree=31920268/32770624 swapFree=5736/175104
[pid=9201] ppid=9198 vsize=159720 CPUtime=1962.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 215534 0 0 0 195853 383 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 159720
[startup+2022.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/175 9313
/proc/meminfo: memFree=31918684/32770624 swapFree=5736/175112
[pid=9201] ppid=9198 vsize=159720 CPUtime=2022.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 216170 0 0 0 201842 394 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5473982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 159720
[startup+2082.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/175 9339
/proc/meminfo: memFree=31918868/32770624 swapFree=5736/175116
[pid=9201] ppid=9198 vsize=159720 CPUtime=2082.37 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 216806 0 0 0 207833 404 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 159720
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/175 9340
/proc/meminfo: memFree=31919364/32770624 swapFree=5736/175140
[pid=9201] ppid=9198 vsize=159720 CPUtime=2142.36 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 217442 0 0 0 213822 414 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 159720
[startup+2202.31 s]
/proc/loadavg: 1.00 1.01 1.23 2/175 9341
/proc/meminfo: memFree=31920384/32770624 swapFree=5736/175160
[pid=9201] ppid=9198 vsize=159720 CPUtime=2202.37 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 218078 0 0 0 219813 424 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 159720
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/175 9342
/proc/meminfo: memFree=31920540/32770624 swapFree=5736/175184
[pid=9201] ppid=9198 vsize=159720 CPUtime=2262.37 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 218714 0 0 0 225804 433 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 5474008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 159720
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/175 9343
/proc/meminfo: memFree=31920932/32770624 swapFree=5736/175204
[pid=9201] ppid=9198 vsize=159720 CPUtime=2322.37 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 219350 0 0 0 231794 443 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 140394138792316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 159720
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/175 9344
/proc/meminfo: memFree=31920580/32770624 swapFree=5736/175224
[pid=9201] ppid=9198 vsize=159720 CPUtime=2382.38 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 219986 0 0 0 237786 452 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434428888 5437950 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 159720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 1.00 1.01 1.19 2/175 9344
/proc/meminfo: memFree=31920580/32770624 swapFree=5736/175224
[pid=9201] ppid=9198 vsize=159720 CPUtime=2400.08 cores=1,3,5,7
/proc/9201/stat : 9201 (naxos-xcsp3) R 9198 9201 3809 0 -1 4202496 220621 0 0 0 239553 455 0 0 20 0 1 0 3170496 163553280 34667 33554432000 4194304 6986860 140724434433536 140724434429064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 31064064 140724434437390 140724434437471 140724434437471 140724434440170 0
/proc/9201/statm: 39930 34667 755 682 0 33933 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 159720
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 9201 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.08
CPU user time (s): 2395.53
CPU system time (s): 4.55416
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 159720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.53
system time used= 4.55416
maximum resident set size= 138700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220650
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= 14
involuntary context switches= 610
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91117 second user time and 9.55562 second system time
The end