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-4252339-1500924679/watcher-4252339-1500924679 -o /tmp/evaluation-result-4252339-1500924679/solver-4252339-1500924679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3623 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252339-1500924679.xml
pid=6412
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.08 2.06 2.05 2/181 6415
/proc/meminfo: memFree=30546504/32770624 swapFree=5764/117776
[pid=6415] ppid=6412 vsize=24480 CPUtime=0 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 894 0 0 0 0 0 0 0 20 0 1 0 2007880 25067520 690 33554432000 4194304 6986860 140730598737744 140730598734440 5812044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 6120 690 625 682 0 123 0
[startup+0.100103 s]
/proc/loadavg: 2.08 2.06 2.05 2/181 6415
/proc/meminfo: memFree=30546504/32770624 swapFree=5764/117776
[pid=6415] ppid=6412 vsize=25140 CPUtime=0.09 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 1056 0 0 0 9 0 0 0 20 0 1 0 2007880 25743360 888 33554432000 4194304 6986860 140730598737744 140730598734440 5677885 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 6285 888 665 682 0 288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25140
[startup+0.200225 s]
/proc/loadavg: 2.08 2.06 2.05 2/181 6415
/proc/meminfo: memFree=30546504/32770624 swapFree=5764/117776
[pid=6415] ppid=6412 vsize=25860 CPUtime=0.19 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 1271 0 0 0 19 0 0 0 20 0 1 0 2007880 26480640 1015 33554432000 4194304 6986860 140730598737744 140730598734440 5503020 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 6465 1015 665 682 0 468 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25860
[startup+0.300201 s]
/proc/loadavg: 2.08 2.06 2.05 2/181 6415
/proc/meminfo: memFree=30546504/32770624 swapFree=5764/117776
[pid=6415] ppid=6412 vsize=26772 CPUtime=0.29 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 1533 0 0 0 29 0 0 0 20 0 1 0 2007880 27414528 1223 33554432000 4194304 6986860 140730598737744 140730598734440 5498450 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 6693 1223 665 682 0 696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700171 s]
/proc/loadavg: 2.08 2.06 2.05 2/181 6415
/proc/meminfo: memFree=30546504/32770624 swapFree=5764/117776
[pid=6415] ppid=6412 vsize=29520 CPUtime=0.69 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 2392 0 0 0 69 0 0 0 20 0 1 0 2007880 30228480 1837 33554432000 4194304 6986860 140730598737744 140730598734440 5807132 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 7380 1837 665 682 0 1383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29520
[startup+1.50024 s]
/proc/loadavg: 2.07 2.06 2.05 3/182 6416
/proc/meminfo: memFree=30502144/32770624 swapFree=5764/118004
[pid=6415] ppid=6412 vsize=69532 CPUtime=1.49 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 12460 0 0 0 148 1 0 0 20 0 1 0 2007880 71200768 11935 33554432000 4194304 6986860 140730598737744 140730598730424 5454000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17383 11935 670 682 0 11386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69532
[startup+3.10025 s]
/proc/loadavg: 2.07 2.06 2.05 3/182 6416
/proc/meminfo: memFree=30502144/32770624 swapFree=5764/118004
[pid=6415] ppid=6412 vsize=69664 CPUtime=3.08 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 22244 0 0 0 307 1 0 0 20 0 1 0 2007880 71335936 11971 33554432000 4194304 6986860 140730598737744 140730598730264 5438290 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17416 11971 678 682 0 11419 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 69664
[startup+6.30025 s]
/proc/loadavg: 2.07 2.06 2.05 3/182 6416
/proc/meminfo: memFree=30501648/32770624 swapFree=5764/117848
[pid=6415] ppid=6412 vsize=68124 CPUtime=6.28 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 33548 0 0 0 626 2 0 0 20 0 1 0 2007880 69758976 11660 33554432000 4194304 6986860 140730598737744 140730598733272 5438351 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11660 678 682 0 11034 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68124
[startup+12.7003 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 6416
/proc/meminfo: memFree=30501384/32770624 swapFree=5764/117848
[pid=6415] ppid=6412 vsize=68124 CPUtime=12.69 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 43355 0 0 0 1266 3 0 0 20 0 1 0 2007880 69758976 11674 33554432000 4194304 6986860 140730598737744 140730598733272 5453972 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11674 692 682 0 11034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68124
[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 6416
/proc/meminfo: memFree=30501244/32770624 swapFree=5764/117864
[pid=6415] ppid=6412 vsize=68124 CPUtime=25.48 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 62965 0 0 0 2545 3 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68124
[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.05 3/182 6416
/proc/meminfo: memFree=30501416/32770624 swapFree=5764/117872
[pid=6415] ppid=6412 vsize=68124 CPUtime=51.09 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 72770 0 0 0 5105 4 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68124
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 6417
/proc/meminfo: memFree=30500872/32770624 swapFree=5764/117912
[pid=6415] ppid=6412 vsize=68124 CPUtime=102.28 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 82575 0 0 0 10224 4 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733272 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 68124
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6418
/proc/meminfo: memFree=30500652/32770624 swapFree=5764/117940
[pid=6415] ppid=6412 vsize=68124 CPUtime=162.26 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 92380 0 0 0 16222 4 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438190 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 68124
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6419
/proc/meminfo: memFree=30500544/32770624 swapFree=5764/117968
[pid=6415] ppid=6412 vsize=68124 CPUtime=222.26 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 102185 0 0 0 22221 5 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 68124
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6420
/proc/meminfo: memFree=30500124/32770624 swapFree=5764/117996
[pid=6415] ppid=6412 vsize=68124 CPUtime=282.25 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 111990 0 0 0 28219 6 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 68124
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6421
/proc/meminfo: memFree=30500368/32770624 swapFree=5764/118024
[pid=6415] ppid=6412 vsize=68124 CPUtime=342.23 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 121795 0 0 0 34217 6 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733272 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 68124
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6422
/proc/meminfo: memFree=30500136/32770624 swapFree=5764/118064
[pid=6415] ppid=6412 vsize=68124 CPUtime=402.23 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 131600 0 0 0 40216 7 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 68124
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6423
/proc/meminfo: memFree=30500060/32770624 swapFree=5764/118092
[pid=6415] ppid=6412 vsize=68124 CPUtime=462.21 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 141405 0 0 0 46214 7 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 68124
[startup+522.3 s]
/proc/loadavg: 2.13 2.06 2.06 3/182 6431
/proc/meminfo: memFree=30499024/32770624 swapFree=5764/118128
[pid=6415] ppid=6412 vsize=68124 CPUtime=522.21 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 151210 0 0 0 52213 8 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 68124
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 6432
/proc/meminfo: memFree=30499792/32770624 swapFree=5764/118156
[pid=6415] ppid=6412 vsize=68124 CPUtime=582.2 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 161015 0 0 0 58212 8 0 0 20 0 1 0 2007880 69758976 11675 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11675 693 682 0 11034 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 68124
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6455
/proc/meminfo: memFree=30499572/32770624 swapFree=5764/118636
[pid=6415] ppid=6412 vsize=68124 CPUtime=1482.06 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 215379 0 0 0 148194 12 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 68124
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6456
/proc/meminfo: memFree=30499176/32770624 swapFree=5716/118656
[pid=6415] ppid=6412 vsize=68124 CPUtime=1542.06 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 215912 0 0 0 154194 12 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 68124
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6458
/proc/meminfo: memFree=30498880/32770624 swapFree=5716/118700
[pid=6415] ppid=6412 vsize=68124 CPUtime=1602.04 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 216446 0 0 0 160192 12 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 68124
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6459
/proc/meminfo: memFree=30499136/32770624 swapFree=5716/118728
[pid=6415] ppid=6412 vsize=68124 CPUtime=1662.03 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 216979 0 0 0 166191 12 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 68124
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6467
/proc/meminfo: memFree=30497548/32770624 swapFree=5716/118768
[pid=6415] ppid=6412 vsize=68124 CPUtime=1722.02 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 217513 0 0 0 172189 13 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5438453 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 68124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6491
/proc/meminfo: memFree=30498148/32770624 swapFree=5716/118804
[pid=6415] ppid=6412 vsize=68124 CPUtime=1782.01 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 218047 0 0 0 178188 13 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5474344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 68124
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6492
/proc/meminfo: memFree=30498208/32770624 swapFree=5716/118832
[pid=6415] ppid=6412 vsize=68124 CPUtime=1842 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 218581 0 0 0 184187 13 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 68124
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6493
/proc/meminfo: memFree=30498820/32770624 swapFree=5716/118868
[pid=6415] ppid=6412 vsize=68124 CPUtime=1901.99 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 219115 0 0 0 190186 13 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 68124
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6494
/proc/meminfo: memFree=30498696/32770624 swapFree=5716/118896
[pid=6415] ppid=6412 vsize=68124 CPUtime=1961.98 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 219649 0 0 0 196185 13 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438351 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 68124
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 6495
/proc/meminfo: memFree=30498928/32770624 swapFree=5716/118928
[pid=6415] ppid=6412 vsize=68124 CPUtime=2021.98 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 220183 0 0 0 202184 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 68124
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6496
/proc/meminfo: memFree=30499248/32770624 swapFree=5716/118956
[pid=6415] ppid=6412 vsize=68124 CPUtime=2081.97 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 220717 0 0 0 208183 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 68124
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6497
/proc/meminfo: memFree=30499256/32770624 swapFree=5716/118984
[pid=6415] ppid=6412 vsize=68124 CPUtime=2141.96 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 221251 0 0 0 214182 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5474008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 68124
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6498
/proc/meminfo: memFree=30499448/32770624 swapFree=5716/119020
[pid=6415] ppid=6412 vsize=68124 CPUtime=2201.95 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 221785 0 0 0 220181 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 68124
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6499
/proc/meminfo: memFree=30499332/32770624 swapFree=5716/119048
[pid=6415] ppid=6412 vsize=68124 CPUtime=2261.94 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 222319 0 0 0 226180 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 68124
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6567
/proc/meminfo: memFree=32066560/32770624 swapFree=5716/119128
[pid=6415] ppid=6412 vsize=68124 CPUtime=2321.93 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 222853 0 0 0 232179 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 68124
[startup+2382.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 6631
/proc/meminfo: memFree=32067236/32770624 swapFree=5716/119172
[pid=6415] ppid=6412 vsize=68124 CPUtime=2381.91 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 223387 0 0 0 238177 14 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733272 5438235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2381.91
Current children cumulated vsize (KiB) 68124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 6632
/proc/meminfo: memFree=32067388/32770624 swapFree=5716/119236
[pid=6415] ppid=6412 vsize=68124 CPUtime=2400.02 cores=0,2,4,6
/proc/6415/stat : 6415 (naxos-xcsp3) R 6412 6415 3592 0 -1 4202496 223921 0 0 0 239987 15 0 0 20 0 1 0 2007880 69758976 11695 33554432000 4194304 6986860 140730598737744 140730598733096 5438344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 15798272 140730598741262 140730598741343 140730598741343 140730598744042 0
/proc/6415/statm: 17031 11695 693 682 0 11034 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 68124
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 6415 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.02
CPU user time (s): 2399.87
CPU system time (s): 0.151976
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 69664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.151976
maximum resident set size= 47992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223951
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= 16
involuntary context switches= 3711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44465 second user time and 10.1195 second system time
The end