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-4252309-1500924607/watcher-4252309-1500924607 -o /tmp/evaluation-result-4252309-1500924607/solver-4252309-1500924607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3805 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252309-1500924607.xml
pid=6343
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.01 2.01 3/181 6346
/proc/meminfo: memFree=32120208/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=25000 CPUtime=0 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 2014216 25600000 913 33554432000 4194304 6986860 140722016497552 140722016494248 139678732139493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 6250 913 713 682 0 253 0
[startup+0.100113 s]
/proc/loadavg: 1.96 2.01 2.01 3/181 6346
/proc/meminfo: memFree=32120208/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=30680 CPUtime=0.09 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 2533 0 0 0 9 0 0 0 20 0 1 0 2014216 31416320 2366 33554432000 4194304 6986860 140722016497552 140722016494248 5438017 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7670 2366 729 682 0 1673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30680
[startup+0.200275 s]
/proc/loadavg: 1.96 2.01 2.01 3/181 6346
/proc/meminfo: memFree=32120208/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=30804 CPUtime=0.19 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 2537 0 0 0 19 0 0 0 20 0 1 0 2014216 31543296 2366 33554432000 4194304 6986860 140722016497552 140722016494248 5438476 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2366 729 682 0 1704 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30804
[startup+0.300211 s]
/proc/loadavg: 1.96 2.01 2.01 3/181 6346
/proc/meminfo: memFree=32120208/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=30804 CPUtime=0.29 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 2537 0 0 0 29 0 0 0 20 0 1 0 2014216 31543296 2366 33554432000 4194304 6986860 140722016497552 140722016494248 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2366 729 682 0 1704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30804
[startup+0.700178 s]
/proc/loadavg: 1.96 2.01 2.01 3/181 6346
/proc/meminfo: memFree=32120208/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=30804 CPUtime=0.69 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 2541 0 0 0 69 0 0 0 20 0 1 0 2014216 31543296 2366 33554432000 4194304 6986860 140722016497552 140722016494248 5438190 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2366 729 682 0 1704 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30804
[startup+1.50018 s]
/proc/loadavg: 1.96 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32114296/32770624 swapFree=5848/115304
[pid=6346] ppid=6343 vsize=30804 CPUtime=1.49 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 2541 0 0 0 149 0 0 0 20 0 1 0 2014216 31543296 2366 33554432000 4194304 6986860 140722016497552 140722016494248 5453956 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2366 729 682 0 1704 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30804
[startup+3.10018 s]
/proc/loadavg: 1.96 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32114296/32770624 swapFree=5848/115304
[pid=6346] ppid=6343 vsize=30804 CPUtime=3.09 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 4119 0 0 0 308 1 0 0 20 0 1 0 2014216 31543296 2386 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2386 729 682 0 1704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30804
[startup+6.30017 s]
/proc/loadavg: 1.96 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32113756/32770624 swapFree=5848/115304
[pid=6346] ppid=6343 vsize=30804 CPUtime=6.28 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 5597 0 0 0 627 1 0 0 20 0 1 0 2014216 31543296 2386 33554432000 4194304 6986860 140722016497552 140722016492904 5438332 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2386 729 682 0 1704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30804
[startup+12.7002 s]
/proc/loadavg: 1.97 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32113356/32770624 swapFree=5848/115128
[pid=6346] ppid=6343 vsize=30804 CPUtime=12.69 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 6180 0 0 0 1265 4 0 0 20 0 1 0 2014216 31543296 2386 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2386 729 682 0 1704 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30804
[startup+25.5002 s]
/proc/loadavg: 1.97 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32113860/32770624 swapFree=5848/115148
[pid=6346] ppid=6343 vsize=30804 CPUtime=25.49 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 7349 0 0 0 2542 7 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016492904 5453919 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30804
[startup+51.1002 s]
/proc/loadavg: 1.98 2.01 2.01 4/182 6347
/proc/meminfo: memFree=32113616/32770624 swapFree=5848/115156
[pid=6346] ppid=6343 vsize=30804 CPUtime=51.08 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 7934 0 0 0 5097 11 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30804
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.01 4/182 6348
/proc/meminfo: memFree=32112732/32770624 swapFree=5848/115184
[pid=6346] ppid=6343 vsize=30804 CPUtime=102.29 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 8522 0 0 0 10209 20 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016492904 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30804
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.01 4/182 6349
/proc/meminfo: memFree=32112724/32770624 swapFree=5848/115216
[pid=6346] ppid=6343 vsize=30804 CPUtime=162.28 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 9108 0 0 0 16195 33 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016493080 5438400 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 30804
[startup+222.306 s]
/proc/loadavg: 2.05 2.02 2.02 4/182 6350
/proc/meminfo: memFree=32112976/32770624 swapFree=5848/115244
[pid=6346] ppid=6343 vsize=30804 CPUtime=222.28 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 9694 0 0 0 22184 44 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016493080 5475852 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 30804
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.02 4/182 6351
/proc/meminfo: memFree=32112960/32770624 swapFree=5848/115272
[pid=6346] ppid=6343 vsize=30804 CPUtime=282.27 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 10280 0 0 0 28173 54 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016493080 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 30804
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.02 4/182 6352
/proc/meminfo: memFree=32113260/32770624 swapFree=5848/115304
[pid=6346] ppid=6343 vsize=30804 CPUtime=342.27 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 10865 0 0 0 34162 65 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 30804
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 4/182 6353
/proc/meminfo: memFree=32113060/32770624 swapFree=5848/115336
[pid=6346] ppid=6343 vsize=30804 CPUtime=402.26 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 11449 0 0 0 40151 75 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016492904 5438912 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 30804
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 4/182 6354
/proc/meminfo: memFree=32113076/32770624 swapFree=5848/115364
[pid=6346] ppid=6343 vsize=30804 CPUtime=462.26 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 12036 0 0 0 46138 88 0 0 20 0 1 0 2014216 31543296 2389 33554432000 4194304 6986860 140722016497552 140722016492904 5438079 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2389 729 682 0 1704 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 30804
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.02 4/182 6355
/proc/meminfo: memFree=32113284/32770624 swapFree=5848/115396
[pid=6346] ppid=6343 vsize=30804 CPUtime=522.26 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 12623 0 0 0 52123 103 0 0 20 0 1 0 2014216 31543296 2390 33554432000 4194304 6986860 140722016497552 140722016492904 5438093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2390 729 682 0 1704 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 30804
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.02 4/182 6356
/proc/meminfo: memFree=32112812/32770624 swapFree=5848/115424
[pid=6346] ppid=6343 vsize=30804 CPUtime=582.25 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 13210 0 0 0 58111 114 0 0 20 0 1 0 2014216 31543296 2390 33554432000 4194304 6986860 140722016497552 140722016492904 5454000 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2390 729 682 0 1704 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 30804
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.03 4/183 6386
/proc/meminfo: memFree=32111940/32770624 swapFree=5848/115884
[pid=6346] ppid=6343 vsize=30804 CPUtime=1482.2 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 22013 0 0 0 147924 296 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016492904 5453966 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 30804
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.03 4/182 6388
/proc/meminfo: memFree=32111948/32770624 swapFree=5848/115912
[pid=6346] ppid=6343 vsize=30804 CPUtime=1542.2 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 22600 0 0 0 153914 306 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016492904 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 30804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.03 4/182 6389
/proc/meminfo: memFree=32111604/32770624 swapFree=5848/115940
[pid=6346] ppid=6343 vsize=30804 CPUtime=1602.19 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 23187 0 0 0 159902 317 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 30804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.03 4/182 6390
/proc/meminfo: memFree=32111024/32770624 swapFree=5848/115968
[pid=6346] ppid=6343 vsize=30804 CPUtime=1662.19 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 23774 0 0 0 165891 328 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5413141 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 30804
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.04 4/182 6392
/proc/meminfo: memFree=32111888/32770624 swapFree=5848/116004
[pid=6346] ppid=6343 vsize=30804 CPUtime=1722.19 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 24361 0 0 0 171879 340 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016492904 139678732137486 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 30804
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.04 4/182 6393
/proc/meminfo: memFree=32111644/32770624 swapFree=5848/116036
[pid=6346] ppid=6343 vsize=30804 CPUtime=1782.18 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 24949 0 0 0 177868 350 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 30804
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.04 4/183 6402
/proc/meminfo: memFree=32110800/32770624 swapFree=5848/116080
[pid=6346] ppid=6343 vsize=30804 CPUtime=1842.18 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 25536 0 0 0 183856 362 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5453944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 30804
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 6425
/proc/meminfo: memFree=32109760/32770624 swapFree=5848/116120
[pid=6346] ppid=6343 vsize=30804 CPUtime=1902.18 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 26123 0 0 0 189845 373 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5438108 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 30804
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 6426
/proc/meminfo: memFree=32110076/32770624 swapFree=5848/116148
[pid=6346] ppid=6343 vsize=30804 CPUtime=1962.17 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 26710 0 0 0 195832 385 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5453888 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 30804
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 6427
/proc/meminfo: memFree=32110036/32770624 swapFree=5848/116176
[pid=6346] ppid=6343 vsize=30804 CPUtime=2022.17 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 27297 0 0 0 201818 399 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016492904 5438837 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 30804
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 6428
/proc/meminfo: memFree=32110532/32770624 swapFree=5848/116208
[pid=6346] ppid=6343 vsize=30804 CPUtime=2082.17 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 27884 0 0 0 207806 411 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 30804
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/182 6429
/proc/meminfo: memFree=32110508/32770624 swapFree=5848/116244
[pid=6346] ppid=6343 vsize=30804 CPUtime=2142.16 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 28471 0 0 0 213795 421 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5473968 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 30804
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.04 4/182 6430
/proc/meminfo: memFree=32111500/32770624 swapFree=5848/116276
[pid=6346] ppid=6343 vsize=30804 CPUtime=2202.16 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 29058 0 0 0 219783 433 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5453934 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 30804
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/182 6431
/proc/meminfo: memFree=32110888/32770624 swapFree=5848/116304
[pid=6346] ppid=6343 vsize=30804 CPUtime=2262.16 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 29645 0 0 0 225771 445 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016492904 5476077 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 30804
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/182 6432
/proc/meminfo: memFree=32111060/32770624 swapFree=5848/116332
[pid=6346] ppid=6343 vsize=30804 CPUtime=2322.16 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 30232 0 0 0 231758 458 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 30804
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 6555
/proc/meminfo: memFree=32110636/32770624 swapFree=5848/116444
[pid=6346] ppid=6343 vsize=30804 CPUtime=2382.15 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 30820 0 0 0 237745 470 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 5438278 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 30804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 6562
/proc/meminfo: memFree=32109712/32770624 swapFree=5848/116476
[pid=6346] ppid=6343 vsize=30804 CPUtime=2400.06 cores=0,2,4,6
/proc/6346/stat : 6346 (naxos-xcsp3) R 6343 6346 3774 0 -1 4202496 31408 0 0 0 239532 474 0 0 20 0 1 0 2014216 31543296 2391 33554432000 4194304 6986860 140722016497552 140722016493080 139678732403068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 31031296 140722016498958 140722016499039 140722016499039 140722016501738 0
/proc/6346/statm: 7701 2391 729 682 0 1704 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 30804
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 6346 sig 9
??? kill -6346 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): 2395.32
CPU system time (s): 4.74172
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 30804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.32
system time used= 4.74172
maximum resident set size= 9600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31437
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= 9
involuntary context switches= 2749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35835 second user time and 8.30894 second system time
The end