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-4253467-1500933843/watcher-4253467-1500933843 -o /tmp/evaluation-result-4253467-1500933843/solver-4253467-1500933843 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3495 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253467-1500933843.xml
pid=6574
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 6577
/proc/meminfo: memFree=32108192/32770624 swapFree=5760/125876
[pid=6577] ppid=6574 vsize=24988 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 2937702 25587712 850 33554432000 4194304 6986860 140728059258512 140728059255208 140356178500581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 6247 850 653 682 0 250 0
[startup+0.100216 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 6577
/proc/meminfo: memFree=32108192/32770624 swapFree=5760/125876
[pid=6577] ppid=6574 vsize=41704 CPUtime=0.09 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 5293 0 0 0 9 0 0 0 20 0 1 0 2937702 42704896 4953 33554432000 4194304 6986860 140728059258512 140728059255208 5438837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10426 4953 680 682 0 4429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41704
[startup+0.200443 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 6577
/proc/meminfo: memFree=32108192/32770624 swapFree=5760/125876
[pid=6577] ppid=6574 vsize=41704 CPUtime=0.19 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 5299 0 0 0 19 0 0 0 20 0 1 0 2937702 42704896 4953 33554432000 4194304 6986860 140728059258512 140728059255208 5438178 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10426 4953 680 682 0 4429 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41704
[startup+0.30041 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 6577
/proc/meminfo: memFree=32108192/32770624 swapFree=5760/125876
[pid=6577] ppid=6574 vsize=41704 CPUtime=0.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 5304 0 0 0 29 0 0 0 20 0 1 0 2937702 42704896 4953 33554432000 4194304 6986860 140728059258512 140728059255208 5426731 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10426 4953 680 682 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41704
[startup+0.700351 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 6577
/proc/meminfo: memFree=32108192/32770624 swapFree=5760/125876
[pid=6577] ppid=6574 vsize=41064 CPUtime=0.69 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 5343 0 0 0 69 0 0 0 20 0 1 0 2937702 42049536 4891 33554432000 4194304 6986860 140728059258512 140728059254040 5437994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4891 682 682 0 4269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41064
[startup+1.50037 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6578
/proc/meminfo: memFree=32090736/32770624 swapFree=5760/125908
[pid=6577] ppid=6574 vsize=41064 CPUtime=1.49 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 5343 0 0 0 149 0 0 0 20 0 1 0 2937702 42049536 4891 33554432000 4194304 6986860 140728059258512 140728059254040 5474008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4891 682 682 0 4269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41064
[startup+3.10034 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6578
/proc/meminfo: memFree=32090364/32770624 swapFree=5760/125908
[pid=6577] ppid=6574 vsize=41064 CPUtime=3.09 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 9429 0 0 0 309 0 0 0 20 0 1 0 2937702 42049536 4912 33554432000 4194304 6986860 140728059258512 140728059254040 5437954 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4912 703 682 0 4269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41064
[startup+6.30035 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6578
/proc/meminfo: memFree=32090268/32770624 swapFree=5760/125892
[pid=6577] ppid=6574 vsize=41064 CPUtime=6.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 13572 0 0 0 628 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059254040 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41064
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6578
/proc/meminfo: memFree=32090256/32770624 swapFree=5760/125908
[pid=6577] ppid=6574 vsize=41064 CPUtime=12.69 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 17675 0 0 0 1268 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059253864 5438190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41064
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6578
/proc/meminfo: memFree=32089196/32770624 swapFree=5760/125920
[pid=6577] ppid=6574 vsize=41064 CPUtime=25.49 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 25869 0 0 0 2548 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059254040 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41064
[startup+51.1004 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 6578
/proc/meminfo: memFree=32088940/32770624 swapFree=5760/125936
[pid=6577] ppid=6574 vsize=41064 CPUtime=51.09 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 26439 0 0 0 5108 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41064
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/183 6579
/proc/meminfo: memFree=32089112/32770624 swapFree=5760/125972
[pid=6577] ppid=6574 vsize=41064 CPUtime=102.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 27005 0 0 0 10228 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41064
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6580
/proc/meminfo: memFree=32089548/32770624 swapFree=5760/126000
[pid=6577] ppid=6574 vsize=41064 CPUtime=162.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 27571 0 0 0 16227 1 0 0 20 0 1 0 2937702 42049536 4914 33554432000 4194304 6986860 140728059258512 140728059254040 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4914 703 682 0 4269 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 41064
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6581
/proc/meminfo: memFree=32090036/32770624 swapFree=5760/126028
[pid=6577] ppid=6574 vsize=41064 CPUtime=222.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 28148 0 0 0 22228 1 0 0 20 0 1 0 2937702 42049536 4916 33554432000 4194304 6986860 140728059258512 140728059253864 5437950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4916 703 682 0 4269 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41064
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 6583
/proc/meminfo: memFree=32090604/32770624 swapFree=5760/126068
[pid=6577] ppid=6574 vsize=41064 CPUtime=282.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 28720 0 0 0 28227 1 0 0 20 0 1 0 2937702 42049536 4917 33554432000 4194304 6986860 140728059258512 140728059253864 5473982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4917 703 682 0 4269 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 41064
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6584
/proc/meminfo: memFree=32090516/32770624 swapFree=5760/126096
[pid=6577] ppid=6574 vsize=41064 CPUtime=342.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 29292 0 0 0 34227 2 0 0 20 0 1 0 2937702 42049536 4917 33554432000 4194304 6986860 140728059258512 140728059253864 5438325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10266 4917 703 682 0 4269 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41064
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6593
/proc/meminfo: memFree=32090888/32770624 swapFree=5760/126140
[pid=6577] ppid=6574 vsize=41196 CPUtime=402.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 29889 0 0 0 40227 2 0 0 20 0 1 0 2937702 42184704 4926 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4926 703 682 0 4302 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 41196
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6594
/proc/meminfo: memFree=32090496/32770624 swapFree=5760/126168
[pid=6577] ppid=6574 vsize=41196 CPUtime=462.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 30008 0 0 0 46226 2 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 41196
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 6595
/proc/meminfo: memFree=32090560/32770624 swapFree=5760/126196
[pid=6577] ppid=6574 vsize=41196 CPUtime=522.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 30126 0 0 0 52226 2 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5473976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 41196
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6596
/proc/meminfo: memFree=32091228/32770624 swapFree=5760/126224
[pid=6577] ppid=6574 vsize=41196 CPUtime=582.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 30244 0 0 0 58226 3 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 41196
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6685
/proc/meminfo: memFree=31315196/32770624 swapFree=5760/126704
[pid=6577] ppid=6574 vsize=41196 CPUtime=1542.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32119 0 0 0 154222 6 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059254040 5438014 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 41196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6694
/proc/meminfo: memFree=31315076/32770624 swapFree=5760/126728
[pid=6577] ppid=6574 vsize=41196 CPUtime=1602.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32236 0 0 0 160222 7 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 41196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6695
/proc/meminfo: memFree=31315240/32770624 swapFree=5760/126756
[pid=6577] ppid=6574 vsize=41196 CPUtime=1662.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32353 0 0 0 166221 7 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 41196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6696
/proc/meminfo: memFree=31314892/32770624 swapFree=5760/126776
[pid=6577] ppid=6574 vsize=41196 CPUtime=1722.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32470 0 0 0 172221 8 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 41196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6697
/proc/meminfo: memFree=31314696/32770624 swapFree=5760/126796
[pid=6577] ppid=6574 vsize=41196 CPUtime=1782.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32587 0 0 0 178220 8 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438205 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 41196
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6698
/proc/meminfo: memFree=31315076/32770624 swapFree=5760/126816
[pid=6577] ppid=6574 vsize=41196 CPUtime=1842.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32704 0 0 0 184220 8 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 41196
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6699
/proc/meminfo: memFree=31315220/32770624 swapFree=5760/126844
[pid=6577] ppid=6574 vsize=41196 CPUtime=1902.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32828 0 0 0 190220 8 0 0 20 0 1 0 2937702 42184704 4974 33554432000 4194304 6986860 140728059258512 140728059253864 5438278 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4974 703 682 0 4302 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 41196
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6700
/proc/meminfo: memFree=31315272/32770624 swapFree=5760/126868
[pid=6577] ppid=6574 vsize=41196 CPUtime=1962.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 32945 0 0 0 196219 9 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 41196
[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 6701
/proc/meminfo: memFree=31315320/32770624 swapFree=5760/126888
[pid=6577] ppid=6574 vsize=41196 CPUtime=2022.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33062 0 0 0 202219 9 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5473982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 41196
[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6702
/proc/meminfo: memFree=31315004/32770624 swapFree=5760/126908
[pid=6577] ppid=6574 vsize=41196 CPUtime=2082.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33180 0 0 0 208219 9 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059254040 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 41196
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6703
/proc/meminfo: memFree=31314944/32770624 swapFree=5760/126928
[pid=6577] ppid=6574 vsize=41196 CPUtime=2142.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33298 0 0 0 214219 10 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059254040 5473976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 41196
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6711
/proc/meminfo: memFree=31314100/32770624 swapFree=5760/126956
[pid=6577] ppid=6574 vsize=41196 CPUtime=2202.29 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33415 0 0 0 220219 10 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 41196
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6712
/proc/meminfo: memFree=31314360/32770624 swapFree=5760/126980
[pid=6577] ppid=6574 vsize=41196 CPUtime=2262.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33532 0 0 0 226218 10 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 41196
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6713
/proc/meminfo: memFree=31314412/32770624 swapFree=5760/127000
[pid=6577] ppid=6574 vsize=41196 CPUtime=2322.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33649 0 0 0 232218 10 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5437950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 41196
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6714
/proc/meminfo: memFree=31314460/32770624 swapFree=5760/127020
[pid=6577] ppid=6574 vsize=41196 CPUtime=2382.28 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33766 0 0 0 238217 11 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059254040 5437950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 41196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6715
/proc/meminfo: memFree=31314220/32770624 swapFree=5760/127040
[pid=6577] ppid=6574 vsize=41196 CPUtime=2400.08 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33883 0 0 0 239997 11 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 41196
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 6577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6715
/proc/meminfo: memFree=31314220/32770624 swapFree=5760/127040
[pid=6577] ppid=6574 vsize=41196 CPUtime=2400.08 cores=0,2,4,6
/proc/6577/stat : 6577 (naxos-xcsp3) R 6574 6577 3464 0 -1 4202496 33883 0 0 0 239997 11 0 0 20 0 1 0 2937702 42184704 4980 33554432000 4194304 6986860 140728059258512 140728059253864 5438178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37175296 140728059266318 140728059266399 140728059266399 140728059269098 0
/proc/6577/statm: 10299 4980 703 682 0 4302 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 41196
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.09
CPU user time (s): 2399.98
CPU system time (s): 0.114999
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 41836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.114999
maximum resident set size= 20076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33913
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= 953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.84957 second user time and 8.52707 second system time
The end