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-4253115-1500929388/watcher-4253115-1500929388 -o /tmp/evaluation-result-4253115-1500929388/solver-4253115-1500929388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3715 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253115-1500929388.xml
pid=6913
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.05 3/181 6916
/proc/meminfo: memFree=32108108/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=0 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
[startup+0.100155 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6916
/proc/meminfo: memFree=32108108/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=0.09 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 9 0 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876
[startup+0.200261 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6916
/proc/meminfo: memFree=32108108/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=0.19 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 19 0 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24876
[startup+0.300243 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6916
/proc/meminfo: memFree=32108108/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=0.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 29 0 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24876
[startup+0.70022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6916
/proc/meminfo: memFree=32108108/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=0.69 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 67 2 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24876
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6917
/proc/meminfo: memFree=32107188/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=1.49 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1068 0 0 0 145 4 0 0 20 0 1 0 2478911 25473024 888 33554432000 4194304 6986860 140732370456480 140732370453176 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 888 711 682 0 222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24876
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6917
/proc/meminfo: memFree=32106924/32770624 swapFree=5856/127936
[pid=6916] ppid=6913 vsize=24876 CPUtime=3.09 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1197 0 0 0 299 10 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24876
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6917
/proc/meminfo: memFree=32106312/32770624 swapFree=5856/127940
[pid=6916] ppid=6913 vsize=24876 CPUtime=6.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1330 0 0 0 612 17 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24876
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6917
/proc/meminfo: memFree=32106204/32770624 swapFree=5856/127940
[pid=6916] ppid=6913 vsize=24876 CPUtime=12.69 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1464 0 0 0 1235 34 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24876
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6924
/proc/meminfo: memFree=32105328/32770624 swapFree=5856/127948
[pid=6916] ppid=6913 vsize=24876 CPUtime=25.49 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1729 0 0 0 2482 67 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24876
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 6924
/proc/meminfo: memFree=32106032/32770624 swapFree=5856/127984
[pid=6916] ppid=6913 vsize=24876 CPUtime=51.09 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 1877 0 0 0 4975 134 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24876
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 6925
/proc/meminfo: memFree=32106528/32770624 swapFree=5856/128032
[pid=6916] ppid=6913 vsize=24876 CPUtime=102.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2020 0 0 0 9969 261 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 24876
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6926
/proc/meminfo: memFree=32106784/32770624 swapFree=5856/128068
[pid=6916] ppid=6913 vsize=24876 CPUtime=162.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2163 0 0 0 15818 411 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24876
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6927
/proc/meminfo: memFree=32106172/32770624 swapFree=5856/128100
[pid=6916] ppid=6913 vsize=24876 CPUtime=222.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2306 0 0 0 21681 549 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24876
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6928
/proc/meminfo: memFree=32106464/32770624 swapFree=5856/128128
[pid=6916] ppid=6913 vsize=24876 CPUtime=282.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2445 0 0 0 27553 676 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24876
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6930
/proc/meminfo: memFree=32106680/32770624 swapFree=5856/128160
[pid=6916] ppid=6913 vsize=24876 CPUtime=342.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2585 0 0 0 33421 808 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24876
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6931
/proc/meminfo: memFree=32106548/32770624 swapFree=5856/128180
[pid=6916] ppid=6913 vsize=24876 CPUtime=402.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2724 0 0 0 39285 945 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24876
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6932
/proc/meminfo: memFree=32106788/32770624 swapFree=5856/128220
[pid=6916] ppid=6913 vsize=24876 CPUtime=462.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 2868 0 0 0 45147 1083 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24876
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6934
/proc/meminfo: memFree=32106348/32770624 swapFree=5856/128244
[pid=6916] ppid=6913 vsize=24876 CPUtime=522.29 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 3014 0 0 0 51019 1210 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 24876
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6935
/proc/meminfo: memFree=32106472/32770624 swapFree=5856/128272
[pid=6916] ppid=6913 vsize=24876 CPUtime=582.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 3156 0 0 0 56902 1328 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24876
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7046
/proc/meminfo: memFree=32106824/32770624 swapFree=5856/128672
[pid=6916] ppid=6913 vsize=24876 CPUtime=1482.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 5295 0 0 0 145019 3211 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 24876
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7047
/proc/meminfo: memFree=32106824/32770624 swapFree=5836/128704
[pid=6916] ppid=6913 vsize=24876 CPUtime=1542.31 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 5439 0 0 0 150900 3331 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 24876
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7048
/proc/meminfo: memFree=32106708/32770624 swapFree=5836/128728
[pid=6916] ppid=6913 vsize=24876 CPUtime=1602.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 5583 0 0 0 156780 3450 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 24876
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 7049
/proc/meminfo: memFree=32106700/32770624 swapFree=5836/128756
[pid=6916] ppid=6913 vsize=24876 CPUtime=1662.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 5727 0 0 0 162654 3576 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 24876
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7050
/proc/meminfo: memFree=32106676/32770624 swapFree=5836/128776
[pid=6916] ppid=6913 vsize=24876 CPUtime=1722.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 5871 0 0 0 168528 3702 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 24876
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7051
/proc/meminfo: memFree=32106500/32770624 swapFree=5836/128796
[pid=6916] ppid=6913 vsize=24876 CPUtime=1782.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6015 0 0 0 174413 3817 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 24876
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7059
/proc/meminfo: memFree=32105912/32770624 swapFree=5836/128828
[pid=6916] ppid=6913 vsize=24876 CPUtime=1842.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6159 0 0 0 180297 3933 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 24876
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7060
/proc/meminfo: memFree=32106472/32770624 swapFree=5836/128852
[pid=6916] ppid=6913 vsize=24876 CPUtime=1902.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6303 0 0 0 186189 4041 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 24876
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7061
/proc/meminfo: memFree=32106604/32770624 swapFree=5836/128876
[pid=6916] ppid=6913 vsize=24876 CPUtime=1962.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6447 0 0 0 192077 4153 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 24876
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7062
/proc/meminfo: memFree=32106040/32770624 swapFree=5836/128904
[pid=6916] ppid=6913 vsize=24876 CPUtime=2022.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6591 0 0 0 197944 4286 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 24876
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7063
/proc/meminfo: memFree=32105544/32770624 swapFree=5836/128920
[pid=6916] ppid=6913 vsize=24876 CPUtime=2082.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6735 0 0 0 203815 4415 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370452008 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 24876
[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 7065
/proc/meminfo: memFree=32105724/32770624 swapFree=5836/128948
[pid=6916] ppid=6913 vsize=24876 CPUtime=2142.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 6879 0 0 0 209685 4545 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 24876
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7066
/proc/meminfo: memFree=32105832/32770624 swapFree=5836/128968
[pid=6916] ppid=6913 vsize=24876 CPUtime=2202.31 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 7023 0 0 0 215547 4684 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 24876
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7067
/proc/meminfo: memFree=32105856/32770624 swapFree=5836/129000
[pid=6916] ppid=6913 vsize=24876 CPUtime=2262.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 7167 0 0 0 221416 4814 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 24876
[startup+2322.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 7069
/proc/meminfo: memFree=32105856/32770624 swapFree=5836/129028
[pid=6916] ppid=6913 vsize=24876 CPUtime=2322.31 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 7311 0 0 0 227294 4937 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 24876
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7070
/proc/meminfo: memFree=32105856/32770624 swapFree=5836/129056
[pid=6916] ppid=6913 vsize=24876 CPUtime=2382.3 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 7455 0 0 0 233169 5061 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 24876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7071
/proc/meminfo: memFree=32105488/32770624 swapFree=5836/129060
[pid=6916] ppid=6913 vsize=24876 CPUtime=2400 cores=1,3,5,7
/proc/6916/stat : 6916 (naxos-xcsp3) R 6913 6916 3683 0 -1 4202496 7599 0 0 0 234902 5098 0 0 20 0 1 0 2478911 25473024 915 33554432000 4194304 6986860 140732370456480 140732370451832 139918189973884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 22867968 140732370461966 140732370462047 140732370462047 140732370464746 0
/proc/6916/statm: 6219 915 716 682 0 222 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 24876
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 6916 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.01
CPU user time (s): 2349.03
CPU system time (s): 50.9863
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 24876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2349.03
system time used= 50.9863
maximum resident set size= 3680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7626
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= 603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27847 second user time and 7.07122 second system time
The end