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-4251721-1500917345/watcher-4251721-1500917345 -o /tmp/evaluation-result-4251721-1500917345/solver-4251721-1500917345 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3379 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251721-1500917345.xml
pid=4300
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.09 3/181 4303
/proc/meminfo: memFree=32128284/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=25264 CPUtime=0 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 1093 0 0 0 0 0 0 0 20 0 1 0 1287234 25870336 882 33554432000 4194304 6986860 140733209217888 140733209214584 139863377980389 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 6316 882 649 682 0 319 0
[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 4303
/proc/meminfo: memFree=32128284/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=26448 CPUtime=0.09 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 1488 0 0 0 9 0 0 0 20 0 1 0 1287234 27082752 1303 33554432000 4194304 6986860 140733209217888 140733209214584 139863377980389 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 6612 1303 740 682 0 615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26448
[startup+0.200271 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 4303
/proc/meminfo: memFree=32128284/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=26828 CPUtime=0.19 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 1562 0 0 0 19 0 0 0 20 0 1 0 1287234 27471872 1399 33554432000 4194304 6986860 140733209217888 140733209214584 5637266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 6707 1399 740 682 0 710 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26828
[startup+0.300247 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 4303
/proc/meminfo: memFree=32128284/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=27080 CPUtime=0.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 1634 0 0 0 29 0 0 0 20 0 1 0 1287234 27729920 1461 33554432000 4194304 6986860 140733209217888 140733209214584 5637282 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 6770 1461 740 682 0 773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27080
[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 4303
/proc/meminfo: memFree=32128284/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=28216 CPUtime=0.69 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 1921 0 0 0 69 0 0 0 20 0 1 0 1287234 28893184 1745 33554432000 4194304 6986860 140733209217888 140733209210024 139863377977930 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 7054 1745 740 682 0 1057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28216
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31572048/32770624 swapFree=5780/110328
[pid=4303] ppid=4300 vsize=209836 CPUtime=1.49 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 47341 0 0 0 143 6 0 0 20 0 1 0 1287234 214872064 47150 33554432000 4194304 6986860 140733209217888 140733209210024 5476217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47150 762 682 0 46462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 209836
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31571852/32770624 swapFree=5780/110336
[pid=4303] ppid=4300 vsize=209836 CPUtime=3.09 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 48346 0 0 0 302 7 0 0 20 0 1 0 1287234 214872064 47187 33554432000 4194304 6986860 140733209217888 140733209210024 139863377977988 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47187 762 682 0 46462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209836
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31572176/32770624 swapFree=5780/110308
[pid=4303] ppid=4300 vsize=209836 CPUtime=6.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 49350 0 0 0 620 9 0 0 20 0 1 0 1287234 214872064 47187 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47187 762 682 0 46462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 209836
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4304
/proc/meminfo: memFree=31570176/32770624 swapFree=5780/110316
[pid=4303] ppid=4300 vsize=209836 CPUtime=12.69 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 50354 0 0 0 1255 14 0 0 20 0 1 0 1287234 214872064 47187 33554432000 4194304 6986860 140733209217888 140733209213416 139863377979833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47187 762 682 0 46462 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 209836
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4304
/proc/meminfo: memFree=31570408/32770624 swapFree=5780/110324
[pid=4303] ppid=4300 vsize=209836 CPUtime=25.49 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 52369 0 0 0 2526 23 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 209836
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4304
/proc/meminfo: memFree=31570756/32770624 swapFree=5780/110332
[pid=4303] ppid=4300 vsize=209836 CPUtime=51.09 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 53373 0 0 0 5069 40 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 209836
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4312
/proc/meminfo: memFree=31568088/32770624 swapFree=5780/110388
[pid=4303] ppid=4300 vsize=209836 CPUtime=102.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 54377 0 0 0 10149 80 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 209836
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/182 4313
/proc/meminfo: memFree=31568728/32770624 swapFree=5780/110404
[pid=4303] ppid=4300 vsize=209836 CPUtime=162.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 55381 0 0 0 16105 124 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 209836
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.07 3/182 4314
/proc/meminfo: memFree=31568740/32770624 swapFree=5780/110424
[pid=4303] ppid=4300 vsize=209836 CPUtime=222.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 56385 0 0 0 22062 168 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 209836
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/182 4315
/proc/meminfo: memFree=31570100/32770624 swapFree=5780/110444
[pid=4303] ppid=4300 vsize=209836 CPUtime=282.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 56817 0 0 0 28010 219 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377978057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 209836
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4316
/proc/meminfo: memFree=31570148/32770624 swapFree=5780/110464
[pid=4303] ppid=4300 vsize=209836 CPUtime=342.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 57247 0 0 0 33961 268 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 209836
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4317
/proc/meminfo: memFree=31569788/32770624 swapFree=5780/110496
[pid=4303] ppid=4300 vsize=209836 CPUtime=402.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 57677 0 0 0 39910 319 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 209836
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4318
/proc/meminfo: memFree=31569680/32770624 swapFree=5780/110516
[pid=4303] ppid=4300 vsize=209836 CPUtime=462.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 58107 0 0 0 45857 372 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 5477884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 209836
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4319
/proc/meminfo: memFree=31569556/32770624 swapFree=5780/110536
[pid=4303] ppid=4300 vsize=209836 CPUtime=522.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 58537 0 0 0 51804 425 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213240 5357081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 209836
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4320
/proc/meminfo: memFree=31569556/32770624 swapFree=5780/110556
[pid=4303] ppid=4300 vsize=209836 CPUtime=582.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 58967 0 0 0 57755 474 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 5477867 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 209836
################
# More data... #
################
[pid=4303] ppid=4300 vsize=209836 CPUtime=1662.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 66707 0 0 0 164830 1399 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 5476178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 209836
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4355
/proc/meminfo: memFree=31569368/32770624 swapFree=5780/111008
[pid=4303] ppid=4300 vsize=209836 CPUtime=1722.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 67137 0 0 0 170781 1449 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377977856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 209836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4357
/proc/meminfo: memFree=31568984/32770624 swapFree=5780/111036
[pid=4303] ppid=4300 vsize=209836 CPUtime=1782.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 67567 0 0 0 176722 1507 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 209836
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4358
/proc/meminfo: memFree=31569200/32770624 swapFree=5780/111056
[pid=4303] ppid=4300 vsize=209836 CPUtime=1842.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 67997 0 0 0 182673 1556 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 209836
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4366
/proc/meminfo: memFree=31568964/32770624 swapFree=5780/111092
[pid=4303] ppid=4300 vsize=209836 CPUtime=1902.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 68427 0 0 0 188619 1610 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377973122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 209836
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4389
/proc/meminfo: memFree=31568720/32770624 swapFree=5780/111124
[pid=4303] ppid=4300 vsize=209836 CPUtime=1962.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 68857 0 0 0 194571 1659 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377978100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 209836
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4390
/proc/meminfo: memFree=31568716/32770624 swapFree=5780/111144
[pid=4303] ppid=4300 vsize=209836 CPUtime=2022.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 69287 0 0 0 200522 1707 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 209836
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4391
/proc/meminfo: memFree=31568948/32770624 swapFree=5780/111164
[pid=4303] ppid=4300 vsize=209836 CPUtime=2082.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 69717 0 0 0 206471 1759 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 209836
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4392
/proc/meminfo: memFree=31569040/32770624 swapFree=5780/111184
[pid=4303] ppid=4300 vsize=209836 CPUtime=2142.29 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 70147 0 0 0 212423 1806 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377978463 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 209836
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4393
/proc/meminfo: memFree=31568756/32770624 swapFree=5780/111212
[pid=4303] ppid=4300 vsize=209836 CPUtime=2202.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 70577 0 0 0 218375 1855 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 209836
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4394
/proc/meminfo: memFree=31569040/32770624 swapFree=5780/111232
[pid=4303] ppid=4300 vsize=209836 CPUtime=2262.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 71007 0 0 0 224323 1907 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 5355409 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 209836
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4395
/proc/meminfo: memFree=31568764/32770624 swapFree=5780/111256
[pid=4303] ppid=4300 vsize=209836 CPUtime=2322.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 71437 0 0 0 230272 1958 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 209836
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4396
/proc/meminfo: memFree=31568856/32770624 swapFree=5780/111276
[pid=4303] ppid=4300 vsize=209836 CPUtime=2382.3 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 71867 0 0 0 236221 2009 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863377978286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 209836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4303] ppid=4300 vsize=209836 CPUtime=2400 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) R 4300 4303 3347 0 -1 4202496 72297 0 0 0 237975 2025 0 0 20 0 1 0 1287234 214872064 47188 33554432000 4194304 6986860 140733209217888 140733209213416 139863378243964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52459 47188 762 682 0 46462 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 209836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4303
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4303 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 2.05 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4303] ppid=4300 vsize=209840 CPUtime=2400 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) S 4300 4303 3347 0 -1 1077944320 72314 0 0 0 237975 2025 0 0 20 0 1 0 1287234 214876160 47188 33554432000 4194304 6986860 140733209217888 140733209210808 139863378534652 0 16384 4096 16384 18446744071579849748 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52460 47188 762 682 0 46463 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 209840
[startup+2401.6 s]
/proc/loadavg: 1.84 1.98 2.03 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4303] ppid=4300 vsize=209840 CPUtime=2400 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) S 4300 4303 3347 0 -1 1077944320 72314 0 0 0 237975 2025 0 0 20 0 1 0 1287234 214876160 47188 33554432000 4194304 6986860 140733209217888 140733209210808 139863378534652 0 16384 4096 16384 18446744071579849748 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52460 47188 762 682 0 46463 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 209840
[startup+2402 s]
/proc/loadavg: 1.84 1.98 2.03 1/182 4396
/proc/meminfo: memFree=31568940/32770624 swapFree=5780/111280
[pid=4303] ppid=4300 vsize=209840 CPUtime=2400 cores=1,3,5,7
/proc/4303/stat : 4303 (naxos-xcsp3) S 4300 4303 3347 0 -1 1077944320 72314 0 0 0 237975 2025 0 0 20 0 1 0 1287234 214876160 47188 33554432000 4194304 6986860 140733209217888 140733209210808 139863378534652 0 16384 4096 16384 18446744071579849748 0 0 17 5 0 0 0 0 0 9087712 9120176 12914688 140733209224462 140733209224543 140733209224543 140733209227242 0
/proc/4303/statm: 52460 47188 762 682 0 46463 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 209840
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402
CPU time (s): 2400.01
CPU user time (s): 2379.75
CPU system time (s): 20.2541
CPU usage (%): 99.9169
Max. virtual memory (cumulated for all children) (KiB): 209840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2379.75
system time used= 20.2541
maximum resident set size= 188776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72314
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= 785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84887 second user time and 7.46673 second system time
The end