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-4252577-1500925592/watcher-4252577-1500925592 -o /tmp/evaluation-result-4252577-1500925592/solver-4252577-1500925592 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3841 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252577-1500925592.xml
pid=7366
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: 1.99 2.00 2.04 3/181 7369
/proc/meminfo: memFree=32107944/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=25768 CPUtime=0 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 1198 0 0 0 0 0 0 0 20 0 1 0 2209905 26386432 1008 33554432000 4194304 6986860 140734456766848 140734456763544 140358774651877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 6442 1008 649 682 0 445 0
[startup+0.100104 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 7369
/proc/meminfo: memFree=32107944/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=26156 CPUtime=0.09 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 1407 0 0 0 9 0 0 0 20 0 1 0 2209905 26783744 1231 33554432000 4194304 6986860 140734456766848 140734456763544 140358774662019 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 6539 1231 740 682 0 542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26156
[startup+0.200218 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 7369
/proc/meminfo: memFree=32107944/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=26404 CPUtime=0.19 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 1457 0 0 0 19 0 0 0 20 0 1 0 2209905 27037696 1293 33554432000 4194304 6986860 140734456766848 140734456763544 140358774651877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 6601 1293 740 682 0 604 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26404
[startup+0.3002 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 7369
/proc/meminfo: memFree=32107944/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=26528 CPUtime=0.29 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 1506 0 0 0 29 0 0 0 20 0 1 0 2209905 27164672 1324 33554432000 4194304 6986860 140734456766848 140734456763544 5637721 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 6632 1324 740 682 0 635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26528
[startup+0.700171 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 7369
/proc/meminfo: memFree=32107944/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=27404 CPUtime=0.69 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 1704 0 0 0 69 0 0 0 20 0 1 0 2209905 28061696 1543 33554432000 4194304 6986860 140734456766848 140734456763544 140358774651877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 6851 1543 740 682 0 854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27404
[startup+1.50017 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7370
/proc/meminfo: memFree=32103596/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=29900 CPUtime=1.49 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 2326 0 0 0 149 0 0 0 20 0 1 0 2209905 30617600 2150 33554432000 4194304 6986860 140734456766848 140734456758984 140358774651877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 7475 2150 741 682 0 1478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29900
[startup+3.10017 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7370
/proc/meminfo: memFree=32093288/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=46348 CPUtime=3.09 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 7549 0 0 0 308 1 0 0 20 0 1 0 2209905 47460352 6193 33554432000 4194304 6986860 140734456766848 140734456758984 5857935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 11587 6193 741 682 0 5590 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46348
[startup+6.30017 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7370
/proc/meminfo: memFree=32080892/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=52684 CPUtime=6.29 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 10501 0 0 0 628 1 0 0 20 0 1 0 2209905 53948416 7773 33554432000 4194304 6986860 140734456766848 140734456757096 5620614 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 13171 7773 741 682 0 7174 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52684
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7370
/proc/meminfo: memFree=32067128/32770624 swapFree=5756/125400
[pid=7369] ppid=7366 vsize=65488 CPUtime=12.69 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 16780 0 0 0 1267 2 0 0 20 0 1 0 2209905 67059712 10940 33554432000 4194304 6986860 140734456766848 140734456757096 5620574 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 16372 10940 741 682 0 10375 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65488
[startup+25.5002 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 7370
/proc/meminfo: memFree=32040688/32770624 swapFree=5756/125484
[pid=7369] ppid=7366 vsize=91096 CPUtime=25.49 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 30514 0 0 0 2545 4 0 0 20 0 1 0 2209905 93282304 17350 33554432000 4194304 6986860 140734456766848 140734456757096 5667326 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 22774 17350 741 682 0 16777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91096
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 7370
/proc/meminfo: memFree=31990024/32770624 swapFree=5756/125492
[pid=7369] ppid=7366 vsize=141984 CPUtime=51.09 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 56841 0 0 0 5100 9 0 0 20 0 1 0 2209905 145391616 30079 33554432000 4194304 6986860 140734456766848 140734456757096 5665693 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 35496 30079 741 682 0 29499 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 141984
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 7371
/proc/meminfo: memFree=31886208/32770624 swapFree=5756/125532
[pid=7369] ppid=7366 vsize=244108 CPUtime=102.29 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 88615 0 0 0 10214 15 0 0 20 0 1 0 2209905 249966592 55589 33554432000 4194304 6986860 140734456766848 140734456757096 5653042 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 61027 55589 741 682 0 55030 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 244108
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 7372
/proc/meminfo: memFree=31772936/32770624 swapFree=5756/125568
[pid=7369] ppid=7366 vsize=357364 CPUtime=162.28 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 131296 0 0 0 16206 22 0 0 20 0 1 0 2209905 365940736 83924 33554432000 4194304 6986860 140734456766848 140734456761560 140358774649774 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89341 83924 753 682 0 83344 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 357364
[startup+222.306 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 7380
/proc/meminfo: memFree=31771432/32770624 swapFree=5756/125608
[pid=7369] ppid=7366 vsize=357496 CPUtime=222.25 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 141258 0 0 0 22203 22 0 0 20 0 1 0 2209905 366075904 83969 33554432000 4194304 6986860 140734456766848 140734456761544 5366187 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 83969 753 682 0 83377 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 357496
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7381
/proc/meminfo: memFree=31772500/32770624 swapFree=5756/125632
[pid=7369] ppid=7366 vsize=357496 CPUtime=282.24 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 143835 0 0 0 28202 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774651359 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 357496
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7382
/proc/meminfo: memFree=31772484/32770624 swapFree=5756/125664
[pid=7369] ppid=7366 vsize=357496 CPUtime=342.24 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 144062 0 0 0 34202 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774649745 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 357496
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7383
/proc/meminfo: memFree=31772220/32770624 swapFree=5756/125688
[pid=7369] ppid=7366 vsize=357496 CPUtime=402.24 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 144289 0 0 0 40202 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5366199 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 357496
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7384
/proc/meminfo: memFree=31772204/32770624 swapFree=5756/125728
[pid=7369] ppid=7366 vsize=357496 CPUtime=462.25 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 144516 0 0 0 46203 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5355415 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 357496
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7386
/proc/meminfo: memFree=31772104/32770624 swapFree=5756/125760
[pid=7369] ppid=7366 vsize=357496 CPUtime=522.25 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 144743 0 0 0 52203 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774644781 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 357496
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7387
/proc/meminfo: memFree=31772308/32770624 swapFree=5756/125792
[pid=7369] ppid=7366 vsize=357496 CPUtime=582.25 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 144970 0 0 0 58203 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774649994 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 357496
################
# More data... #
################
[pid=7369] ppid=7366 vsize=357496 CPUtime=1662.29 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 149056 0 0 0 166207 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5366202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 357496
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7505
/proc/meminfo: memFree=31771492/32770624 swapFree=5756/126472
[pid=7369] ppid=7366 vsize=357496 CPUtime=1722.3 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 149283 0 0 0 172208 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774651321 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 357496
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7506
/proc/meminfo: memFree=31771656/32770624 swapFree=5756/126500
[pid=7369] ppid=7366 vsize=357496 CPUtime=1782.3 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 149510 0 0 0 178208 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774644737 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 357496
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7507
/proc/meminfo: memFree=31772028/32770624 swapFree=5756/126528
[pid=7369] ppid=7366 vsize=357496 CPUtime=1842.3 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 149737 0 0 0 184208 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5366202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 357496
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7508
/proc/meminfo: memFree=31773176/32770624 swapFree=5756/126560
[pid=7369] ppid=7366 vsize=357496 CPUtime=1902.3 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 149964 0 0 0 190208 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774644595 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 357496
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7510
/proc/meminfo: memFree=31772168/32770624 swapFree=5756/126596
[pid=7369] ppid=7366 vsize=357496 CPUtime=1962.31 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 150191 0 0 0 196209 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774651545 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 357496
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7518
/proc/meminfo: memFree=31771056/32770624 swapFree=5756/126628
[pid=7369] ppid=7366 vsize=357496 CPUtime=2022.31 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 150418 0 0 0 202209 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5366202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 357496
[startup+2082.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/182 7519
/proc/meminfo: memFree=31771684/32770624 swapFree=5756/126656
[pid=7369] ppid=7366 vsize=357496 CPUtime=2082.32 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 150645 0 0 0 208210 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5355787 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 357496
[startup+2142.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 7520
/proc/meminfo: memFree=31771924/32770624 swapFree=5756/126684
[pid=7369] ppid=7366 vsize=357496 CPUtime=2142.31 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 150872 0 0 0 214209 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 5366060 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 357496
[startup+2202.31 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 7521
/proc/meminfo: memFree=31771908/32770624 swapFree=5756/126716
[pid=7369] ppid=7366 vsize=357496 CPUtime=2202.32 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 151099 0 0 0 220210 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774649889 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 357496
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 7522
/proc/meminfo: memFree=31771604/32770624 swapFree=5756/126752
[pid=7369] ppid=7366 vsize=357496 CPUtime=2262.32 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 151326 0 0 0 226210 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774642741 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 357496
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 7524
/proc/meminfo: memFree=31771720/32770624 swapFree=5756/126784
[pid=7369] ppid=7366 vsize=357496 CPUtime=2322.32 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 151553 0 0 0 232210 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774649858 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 357496
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7525
/proc/meminfo: memFree=31772352/32770624 swapFree=5756/126816
[pid=7369] ppid=7366 vsize=357496 CPUtime=2382.32 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 151780 0 0 0 238210 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774649994 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 357496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7525
/proc/meminfo: memFree=31772352/32770624 swapFree=5756/126820
[pid=7369] ppid=7366 vsize=357496 CPUtime=2400.02 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) R 7366 7369 3809 0 -1 4202496 151944 0 0 0 239980 22 0 0 20 0 1 0 2209905 366075904 84030 33554432000 4194304 6986860 140734456766848 140734456761544 140358774642741 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89374 84030 753 682 0 83377 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 357496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7369
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7369 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.03 2.05 2/182 7525
/proc/meminfo: memFree=31772352/32770624 swapFree=5756/126820
[pid=7369] ppid=7366 vsize=357500 CPUtime=2400.02 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) S 7366 7369 3809 0 -1 1077944320 151959 0 0 0 239980 22 0 0 20 0 1 0 2209905 366080000 84030 33554432000 4194304 6986860 140734456766848 140734456760568 140358775206140 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89375 84030 753 682 0 83378 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 357500
[startup+2401.6 s]
/proc/loadavg: 1.92 2.01 2.04 2/182 7525
/proc/meminfo: memFree=31772352/32770624 swapFree=5756/126820
[pid=7369] ppid=7366 vsize=357500 CPUtime=2400.02 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) S 7366 7369 3809 0 -1 1077944320 151959 0 0 0 239980 22 0 0 20 0 1 0 2209905 366080000 84030 33554432000 4194304 6986860 140734456766848 140734456760568 140358775206140 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89375 84030 753 682 0 83378 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 357500
[startup+2402 s]
/proc/loadavg: 1.92 2.01 2.04 2/182 7525
/proc/meminfo: memFree=31772352/32770624 swapFree=5756/126820
[pid=7369] ppid=7366 vsize=357500 CPUtime=2400.02 cores=1,3,5,7
/proc/7369/stat : 7369 (naxos-xcsp3) S 7366 7369 3809 0 -1 1077944320 151959 0 0 0 239980 22 0 0 20 0 1 0 2209905 366080000 84030 33554432000 4194304 6986860 140734456766848 140734456760568 140358775206140 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 35348480 140734456771854 140734456771935 140734456771935 140734456774634 0
/proc/7369/statm: 89375 84030 753 682 0 83378 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 357500
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402
CPU time (s): 2400.04
CPU user time (s): 2399.81
CPU system time (s): 0.231008
CPU usage (%): 99.9183
Max. virtual memory (cumulated for all children) (KiB): 359608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.81
system time used= 0.231008
maximum resident set size= 338248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151959
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= 113
involuntary context switches= 703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45318 second user time and 10.97 second system time
The end