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-4253137-1500929615/watcher-4253137-1500929615 -o /tmp/evaluation-result-4253137-1500929615/solver-4253137-1500929615 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253137-1500929615.xml
pid=6198
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.05 2.05 4/181 6201
/proc/meminfo: memFree=32120144/32770624 swapFree=5716/122768
[pid=6201] ppid=6198 vsize=24860 CPUtime=0 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1039 0 0 0 0 0 0 0 20 0 1 0 2501538 25456640 864 33554432000 4194304 6986860 140726853989664 140726853986360 140127963999205 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6215 864 697 682 0 218 0
[startup+0.100154 s]
/proc/loadavg: 2.08 2.05 2.05 4/181 6201
/proc/meminfo: memFree=32120144/32770624 swapFree=5716/122768
[pid=6201] ppid=6198 vsize=25584 CPUtime=0.09 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1299 0 0 0 9 0 0 0 20 0 1 0 2501538 26198016 1045 33554432000 4194304 6986860 140726853989664 140726853986360 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6396 1045 732 682 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25584
[startup+0.200262 s]
/proc/loadavg: 2.08 2.05 2.05 4/181 6201
/proc/meminfo: memFree=32120144/32770624 swapFree=5716/122768
[pid=6201] ppid=6198 vsize=25716 CPUtime=0.19 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1330 0 0 0 19 0 0 0 20 0 1 0 2501538 26333184 1110 33554432000 4194304 6986860 140726853989664 140726853986360 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6429 1110 732 682 0 432 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25716
[startup+0.300252 s]
/proc/loadavg: 2.08 2.05 2.05 4/181 6201
/proc/meminfo: memFree=32120144/32770624 swapFree=5716/122768
[pid=6201] ppid=6198 vsize=25716 CPUtime=0.29 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1330 0 0 0 29 0 0 0 20 0 1 0 2501538 26333184 1110 33554432000 4194304 6986860 140726853989664 140726853986360 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6429 1110 732 682 0 432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25716
[startup+0.700214 s]
/proc/loadavg: 2.08 2.05 2.05 4/181 6201
/proc/meminfo: memFree=32120144/32770624 swapFree=5716/122768
[pid=6201] ppid=6198 vsize=25716 CPUtime=0.69 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1330 0 0 0 69 0 0 0 20 0 1 0 2501538 26333184 1110 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6429 1110 732 682 0 432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25716
[startup+1.50022 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 6202
/proc/meminfo: memFree=32117532/32770624 swapFree=5716/122788
[pid=6201] ppid=6198 vsize=26592 CPUtime=1.49 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 1542 0 0 0 149 0 0 0 20 0 1 0 2501538 27230208 1325 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6648 1325 732 682 0 651 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26592
[startup+3.10022 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 6202
/proc/meminfo: memFree=32117036/32770624 swapFree=5716/122788
[pid=6201] ppid=6198 vsize=26812 CPUtime=3.08 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 2009 0 0 0 307 1 0 0 20 0 1 0 2501538 27455488 1380 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6703 1380 732 682 0 706 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26812
[startup+6.30022 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 6202
/proc/meminfo: memFree=32116624/32770624 swapFree=5716/122788
[pid=6201] ppid=6198 vsize=26944 CPUtime=6.29 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 2475 0 0 0 625 4 0 0 20 0 1 0 2501538 27590656 1409 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1409 732 682 0 739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26944
[startup+12.7002 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 6202
/proc/meminfo: memFree=32116412/32770624 swapFree=5716/122796
[pid=6201] ppid=6198 vsize=26944 CPUtime=12.69 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 2921 0 0 0 1260 9 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26944
[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 6202
/proc/meminfo: memFree=32116420/32770624 swapFree=5716/122812
[pid=6201] ppid=6198 vsize=26944 CPUtime=25.5 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 3822 0 0 0 2530 20 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 26944
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 6202
/proc/meminfo: memFree=32116820/32770624 swapFree=5716/122828
[pid=6201] ppid=6198 vsize=26944 CPUtime=51.1 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 4276 0 0 0 5071 39 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 26944
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 6204
/proc/meminfo: memFree=32115556/32770624 swapFree=5716/122872
[pid=6201] ppid=6198 vsize=26944 CPUtime=102.3 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 4731 0 0 0 10151 79 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26944
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6205
/proc/meminfo: memFree=32115684/32770624 swapFree=5716/122900
[pid=6201] ppid=6198 vsize=26944 CPUtime=162.29 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 5176 0 0 0 16102 127 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26944
[startup+222.306 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 6206
/proc/meminfo: memFree=32115548/32770624 swapFree=5716/122928
[pid=6201] ppid=6198 vsize=26944 CPUtime=222.31 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 5631 0 0 0 22059 172 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 26944
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6208
/proc/meminfo: memFree=32115428/32770624 swapFree=5716/122976
[pid=6201] ppid=6198 vsize=26944 CPUtime=282.3 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 6086 0 0 0 28016 214 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 26944
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6209
/proc/meminfo: memFree=32115668/32770624 swapFree=5716/123004
[pid=6201] ppid=6198 vsize=26944 CPUtime=342.3 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 6532 0 0 0 33970 260 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26944
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 6218
/proc/meminfo: memFree=32114572/32770624 swapFree=5716/123044
[pid=6201] ppid=6198 vsize=26944 CPUtime=402.3 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 6978 0 0 0 39920 310 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 26944
[startup+462.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/183 6302
/proc/meminfo: memFree=30866980/32770624 swapFree=5716/123296
[pid=6201] ppid=6198 vsize=26944 CPUtime=462.31 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 7433 0 0 0 45873 358 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26944
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 6303
/proc/meminfo: memFree=30867132/32770624 swapFree=5716/123332
[pid=6201] ppid=6198 vsize=26944 CPUtime=522.31 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 7879 0 0 0 51826 405 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26944
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 6304
/proc/meminfo: memFree=30867656/32770624 swapFree=5716/123368
[pid=6201] ppid=6198 vsize=26944 CPUtime=582.31 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 8334 0 0 0 57777 454 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26944
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6327
/proc/meminfo: memFree=30866064/32770624 swapFree=5716/123832
[pid=6201] ppid=6198 vsize=26944 CPUtime=1482.34 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 15073 0 0 0 147063 1171 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 26944
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6328
/proc/meminfo: memFree=30865940/32770624 swapFree=5716/123860
[pid=6201] ppid=6198 vsize=26944 CPUtime=1542.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 15517 0 0 0 153021 1214 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 26944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6337
/proc/meminfo: memFree=30865832/32770624 swapFree=5716/123904
[pid=6201] ppid=6198 vsize=26944 CPUtime=1602.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 16053 0 0 0 158974 1261 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 26944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6338
/proc/meminfo: memFree=30866204/32770624 swapFree=5716/123936
[pid=6201] ppid=6198 vsize=26944 CPUtime=1662.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 16564 0 0 0 164925 1310 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 26944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6339
/proc/meminfo: memFree=30866276/32770624 swapFree=5716/123964
[pid=6201] ppid=6198 vsize=26944 CPUtime=1722.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 17092 0 0 0 170880 1355 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 26944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6340
/proc/meminfo: memFree=30866276/32770624 swapFree=5716/124000
[pid=6201] ppid=6198 vsize=26944 CPUtime=1782.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 17620 0 0 0 176833 1402 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127963991568 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 26944
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6341
/proc/meminfo: memFree=30866224/32770624 swapFree=5716/124028
[pid=6201] ppid=6198 vsize=26944 CPUtime=1842.35 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 18131 0 0 0 182782 1453 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 26944
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6343
/proc/meminfo: memFree=30866116/32770624 swapFree=5716/124068
[pid=6201] ppid=6198 vsize=26944 CPUtime=1902.36 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 18657 0 0 0 188734 1502 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 26944
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6344
/proc/meminfo: memFree=30866564/32770624 swapFree=5716/124104
[pid=6201] ppid=6198 vsize=26944 CPUtime=1962.36 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 19166 0 0 0 194683 1553 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 26944
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6345
/proc/meminfo: memFree=30866572/32770624 swapFree=5716/124128
[pid=6201] ppid=6198 vsize=26944 CPUtime=2022.36 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 19694 0 0 0 200632 1604 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 26944
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6347
/proc/meminfo: memFree=30865584/32770624 swapFree=5716/124168
[pid=6201] ppid=6198 vsize=26944 CPUtime=2082.37 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 20204 0 0 0 206584 1653 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 26944
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6348
/proc/meminfo: memFree=30865840/32770624 swapFree=5716/124196
[pid=6201] ppid=6198 vsize=26944 CPUtime=2142.36 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 20714 0 0 0 212536 1700 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 26944
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6416
/proc/meminfo: memFree=32111964/32770624 swapFree=5716/124276
[pid=6201] ppid=6198 vsize=26944 CPUtime=2202.37 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 21243 0 0 0 218491 1746 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 26944
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6417
/proc/meminfo: memFree=32111964/32770624 swapFree=5716/124308
[pid=6201] ppid=6198 vsize=26944 CPUtime=2262.37 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 21754 0 0 0 224440 1797 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 26944
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6418
/proc/meminfo: memFree=32113080/32770624 swapFree=5716/124340
[pid=6201] ppid=6198 vsize=26944 CPUtime=2322.36 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 22282 0 0 0 230391 1845 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985016 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 26944
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6419
/proc/meminfo: memFree=32112736/32770624 swapFree=5716/124376
[pid=6201] ppid=6198 vsize=26944 CPUtime=2382.37 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 22792 0 0 0 236341 1896 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 26944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6419
/proc/meminfo: memFree=32113108/32770624 swapFree=5716/124388
[pid=6201] ppid=6198 vsize=26944 CPUtime=2400.07 cores=1,3,5,7
/proc/6201/stat : 6201 (naxos-xcsp3) R 6198 6201 3476 0 -1 4202496 23300 0 0 0 238097 1910 0 0 20 0 1 0 2501538 27590656 1438 33554432000 4194304 6986860 140726853989664 140726853985192 140127964262780 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 27496448 140726853997838 140726853997919 140726853997919 140726854000618 0
/proc/6201/statm: 6736 1438 732 682 0 739 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 26944
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 6201 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.08
CPU user time (s): 2380.98
CPU system time (s): 19.1036
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 26944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.98
system time used= 19.1036
maximum resident set size= 5792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23330
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= 7
involuntary context switches= 615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3275 second user time and 7.37672 second system time
The end