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-4252336-1500924666/watcher-4252336-1500924666 -o /tmp/evaluation-result-4252336-1500924666/solver-4252336-1500924666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252336-1500924666.xml
pid=5418
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.08 2.03 2.05 2/181 5421
/proc/meminfo: memFree=32123236/32770624 swapFree=5740/119324
[pid=5421] ppid=5418 vsize=24480 CPUtime=0 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 900 0 0 0 0 0 0 0 20 0 1 0 2006563 25067520 690 33554432000 4194304 6986860 140723328963712 140723328960408 139971376273787 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 6120 690 625 682 0 123 0
[startup+0.100241 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 5421
/proc/meminfo: memFree=32123236/32770624 swapFree=5740/119324
[pid=5421] ppid=5418 vsize=25140 CPUtime=0.09 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 1058 0 0 0 9 0 0 0 20 0 1 0 2006563 25743360 888 33554432000 4194304 6986860 140723328963712 140723328960408 5813624 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 6285 888 665 682 0 288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25140
[startup+0.200313 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 5421
/proc/meminfo: memFree=32123236/32770624 swapFree=5740/119324
[pid=5421] ppid=5418 vsize=25860 CPUtime=0.19 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 1275 0 0 0 19 0 0 0 20 0 1 0 2006563 26480640 1015 33554432000 4194304 6986860 140723328963712 140723328960408 139971375416131 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 6465 1015 665 682 0 468 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25860
[startup+0.30032 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 5421
/proc/meminfo: memFree=32123236/32770624 swapFree=5740/119324
[pid=5421] ppid=5418 vsize=26772 CPUtime=0.29 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 1540 0 0 0 29 0 0 0 20 0 1 0 2006563 27414528 1223 33554432000 4194304 6986860 140723328963712 140723328960408 5731724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 6693 1223 665 682 0 696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700307 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 5421
/proc/meminfo: memFree=32123236/32770624 swapFree=5740/119324
[pid=5421] ppid=5418 vsize=29652 CPUtime=0.69 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 2405 0 0 0 69 0 0 0 20 0 1 0 2006563 30363648 1903 33554432000 4194304 6986860 140723328963712 140723328960408 5809055 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 7413 1903 665 682 0 1416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29652
[startup+1.50033 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32077696/32770624 swapFree=5740/119300
[pid=5421] ppid=5418 vsize=69680 CPUtime=1.49 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 12496 0 0 0 148 1 0 0 20 0 1 0 2006563 71352320 12001 33554432000 4194304 6986860 140723328963712 140723328956408 5438321 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17420 12001 678 682 0 11423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69680
[startup+3.10034 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32077644/32770624 swapFree=5740/119300
[pid=5421] ppid=5418 vsize=69812 CPUtime=3.09 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 22308 0 0 0 307 2 0 0 20 0 1 0 2006563 71487488 12007 33554432000 4194304 6986860 140723328963712 140723328956408 5453934 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17453 12007 678 682 0 11456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69812
[startup+6.30034 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32078252/32770624 swapFree=5740/119300
[pid=5421] ppid=5418 vsize=68272 CPUtime=6.29 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 33647 0 0 0 627 2 0 0 20 0 1 0 2006563 69910528 11695 33554432000 4194304 6986860 140723328963712 140723328956408 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11695 678 682 0 11071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68272
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32078224/32770624 swapFree=5740/119316
[pid=5421] ppid=5418 vsize=68272 CPUtime=12.69 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 43489 0 0 0 1267 2 0 0 20 0 1 0 2006563 69910528 11709 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11709 692 682 0 11071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68272
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32078208/32770624 swapFree=5740/119328
[pid=5421] ppid=5418 vsize=68272 CPUtime=25.49 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 58431 0 0 0 2546 3 0 0 20 0 1 0 2006563 69910528 11710 33554432000 4194304 6986860 140723328963712 140723328959064 5438127 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11710 693 682 0 11071 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68272
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5422
/proc/meminfo: memFree=32078188/32770624 swapFree=5740/119328
[pid=5421] ppid=5418 vsize=68272 CPUtime=51.09 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 58775 0 0 0 5106 3 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68272
[startup+102.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 5423
/proc/meminfo: memFree=32078460/32770624 swapFree=5740/119372
[pid=5421] ppid=5418 vsize=68272 CPUtime=102.29 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 59111 0 0 0 10226 3 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 68272
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5424
/proc/meminfo: memFree=32078500/32770624 swapFree=5740/119408
[pid=5421] ppid=5418 vsize=68272 CPUtime=162.29 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 59447 0 0 0 16226 3 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 68272
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5425
/proc/meminfo: memFree=32078048/32770624 swapFree=5740/119432
[pid=5421] ppid=5418 vsize=68272 CPUtime=222.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 59783 0 0 0 22226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68272
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5426
/proc/meminfo: memFree=32077816/32770624 swapFree=5740/119460
[pid=5421] ppid=5418 vsize=68272 CPUtime=282.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 60119 0 0 0 28226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68272
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5427
/proc/meminfo: memFree=32077588/32770624 swapFree=5740/119488
[pid=5421] ppid=5418 vsize=68272 CPUtime=342.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 60455 0 0 0 34226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 68272
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5428
/proc/meminfo: memFree=32077604/32770624 swapFree=5740/119524
[pid=5421] ppid=5418 vsize=68272 CPUtime=402.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 60791 0 0 0 40226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438358 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 68272
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5429
/proc/meminfo: memFree=32077644/32770624 swapFree=5740/119556
[pid=5421] ppid=5418 vsize=68272 CPUtime=462.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 61127 0 0 0 46226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 68272
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5430
/proc/meminfo: memFree=32077452/32770624 swapFree=5740/119584
[pid=5421] ppid=5418 vsize=68272 CPUtime=522.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 61463 0 0 0 52226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5454000 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 68272
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5438
/proc/meminfo: memFree=32076980/32770624 swapFree=5740/119620
[pid=5421] ppid=5418 vsize=68272 CPUtime=582.3 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 61799 0 0 0 58226 4 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 68272
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5650
/proc/meminfo: memFree=32044700/32770624 swapFree=5716/120312
[pid=5421] ppid=5418 vsize=68272 CPUtime=1482.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 66840 0 0 0 148228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 68272
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5651
/proc/meminfo: memFree=32044292/32770624 swapFree=5716/120332
[pid=5421] ppid=5418 vsize=68272 CPUtime=1542.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 67176 0 0 0 154228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5474352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 68272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5652
/proc/meminfo: memFree=32044544/32770624 swapFree=5716/120368
[pid=5421] ppid=5418 vsize=68272 CPUtime=1602.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 67512 0 0 0 160228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 68272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5654
/proc/meminfo: memFree=32044784/32770624 swapFree=5716/120412
[pid=5421] ppid=5418 vsize=68272 CPUtime=1662.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 67849 0 0 0 166228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 68272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5655
/proc/meminfo: memFree=32044820/32770624 swapFree=5716/120440
[pid=5421] ppid=5418 vsize=68272 CPUtime=1722.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 68186 0 0 0 172228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 68272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5664
/proc/meminfo: memFree=32044416/32770624 swapFree=5716/120480
[pid=5421] ppid=5418 vsize=68272 CPUtime=1782.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 68523 0 0 0 178228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 68272
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5687
/proc/meminfo: memFree=32042864/32770624 swapFree=5716/120516
[pid=5421] ppid=5418 vsize=68272 CPUtime=1842.34 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 68859 0 0 0 184228 6 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5437987 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 68272
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5688
/proc/meminfo: memFree=32043908/32770624 swapFree=5716/120548
[pid=5421] ppid=5418 vsize=68272 CPUtime=1902.35 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 69196 0 0 0 190228 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 68272
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5689
/proc/meminfo: memFree=32044012/32770624 swapFree=5716/120576
[pid=5421] ppid=5418 vsize=68272 CPUtime=1962.35 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 69533 0 0 0 196228 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5473976 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 68272
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5750
/proc/meminfo: memFree=32075132/32770624 swapFree=5716/120640
[pid=5421] ppid=5418 vsize=68272 CPUtime=2022.35 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 69870 0 0 0 202228 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 68272
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5751
/proc/meminfo: memFree=32074832/32770624 swapFree=5716/120680
[pid=5421] ppid=5418 vsize=68272 CPUtime=2082.36 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 70207 0 0 0 208229 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438453 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 68272
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5752
/proc/meminfo: memFree=32074556/32770624 swapFree=5716/120708
[pid=5421] ppid=5418 vsize=68272 CPUtime=2142.35 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 70544 0 0 0 214228 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5437977 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 68272
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5753
/proc/meminfo: memFree=32074560/32770624 swapFree=5716/120736
[pid=5421] ppid=5418 vsize=68272 CPUtime=2202.36 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 70881 0 0 0 220229 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438278 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 68272
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 5754
/proc/meminfo: memFree=32074440/32770624 swapFree=5716/120772
[pid=5421] ppid=5418 vsize=68272 CPUtime=2262.35 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 71218 0 0 0 226228 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438001 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 68272
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5755
/proc/meminfo: memFree=32074944/32770624 swapFree=5716/120800
[pid=5421] ppid=5418 vsize=68272 CPUtime=2322.36 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 71555 0 0 0 232229 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 68272
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 5764
/proc/meminfo: memFree=32073388/32770624 swapFree=5716/120840
[pid=5421] ppid=5418 vsize=68272 CPUtime=2382.36 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 71892 0 0 0 238229 7 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959240 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 68272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 5765
/proc/meminfo: memFree=32073388/32770624 swapFree=5716/120860
[pid=5421] ppid=5418 vsize=68272 CPUtime=2400.06 cores=1,3,5,7
/proc/5421/stat : 5421 (naxos-xcsp3) R 5418 5421 3476 0 -1 4202496 72229 0 0 0 239998 8 0 0 20 0 1 0 2006563 69910528 11729 33554432000 4194304 6986860 140723328963712 140723328959064 5438178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 12750848 140723328972046 140723328972127 140723328972127 140723328974826 0
/proc/5421/statm: 17068 11729 693 682 0 11071 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 68272
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 5421 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.07
CPU user time (s): 2399.99
CPU system time (s): 0.082002
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 69812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.082002
maximum resident set size= 48136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72258
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= 624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65987 second user time and 10.0717 second system time
The end