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-4252306-1500924586/watcher-4252306-1500924586 -o /tmp/evaluation-result-4252306-1500924586/solver-4252306-1500924586 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500914927-3715 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252306-1500924586.xml
pid=5519
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.05 2.03 2.05 3/181 5522
/proc/meminfo: memFree=25220120/32770624 swapFree=5856/117172
[pid=5522] ppid=5519 vsize=24992 CPUtime=0 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 1082 0 0 0 0 0 0 0 20 0 1 0 1998696 25591808 870 33554432000 4194304 6986860 140723183986944 140723183983640 139893531698266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 6248 870 672 682 0 251 0
[startup+0.100155 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5522
/proc/meminfo: memFree=25220120/32770624 swapFree=5856/117172
[pid=5522] ppid=5519 vsize=30284 CPUtime=0.09 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 2418 0 0 0 9 0 0 0 20 0 1 0 1998696 31010816 2235 33554432000 4194304 6986860 140723183986944 140723183983640 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2235 714 682 0 1574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30284
[startup+0.200311 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5522
/proc/meminfo: memFree=25220120/32770624 swapFree=5856/117172
[pid=5522] ppid=5519 vsize=30284 CPUtime=0.19 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 2419 0 0 0 19 0 0 0 20 0 1 0 1998696 31010816 2235 33554432000 4194304 6986860 140723183986944 140723183983640 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2235 714 682 0 1574 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30284
[startup+0.300256 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5522
/proc/meminfo: memFree=25220120/32770624 swapFree=5856/117172
[pid=5522] ppid=5519 vsize=30284 CPUtime=0.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 2420 0 0 0 29 0 0 0 20 0 1 0 1998696 31010816 2235 33554432000 4194304 6986860 140723183986944 140723183983640 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2235 714 682 0 1574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30284
[startup+0.700227 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5522
/proc/meminfo: memFree=25220120/32770624 swapFree=5856/117172
[pid=5522] ppid=5519 vsize=30284 CPUtime=0.69 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 2420 0 0 0 69 0 0 0 20 0 1 0 1998696 31010816 2235 33554432000 4194304 6986860 140723183986944 140723183983640 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2235 714 682 0 1574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30284
[startup+1.50022 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5523
/proc/meminfo: memFree=24975280/32770624 swapFree=5856/117180
[pid=5522] ppid=5519 vsize=30284 CPUtime=1.49 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 2423 0 0 0 149 0 0 0 20 0 1 0 1998696 31010816 2235 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2235 714 682 0 1574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30284
[startup+3.10023 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5523
/proc/meminfo: memFree=24736884/32770624 swapFree=5856/117168
[pid=5522] ppid=5519 vsize=30284 CPUtime=3.09 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 3912 0 0 0 308 1 0 0 20 0 1 0 1998696 31010816 2271 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2271 729 682 0 1574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30284
[startup+6.30023 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5523
/proc/meminfo: memFree=24021848/32770624 swapFree=5856/117176
[pid=5522] ppid=5519 vsize=30284 CPUtime=6.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 5406 0 0 0 627 2 0 0 20 0 1 0 1998696 31010816 2272 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2272 729 682 0 1574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30284
[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.05 4/182 5523
/proc/meminfo: memFree=22594016/32770624 swapFree=5856/117184
[pid=5522] ppid=5519 vsize=30284 CPUtime=12.69 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 6898 0 0 0 1265 4 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30284
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5530
/proc/meminfo: memFree=19977088/32770624 swapFree=5856/117204
[pid=5522] ppid=5519 vsize=30284 CPUtime=25.49 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 9880 0 0 0 2543 6 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30284
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.05 6/198 5562
/proc/meminfo: memFree=28124764/32770624 swapFree=5856/117268
[pid=5522] ppid=5519 vsize=30284 CPUtime=51.09 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 10351 0 0 0 5100 9 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30284
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5717
/proc/meminfo: memFree=32107068/32770624 swapFree=5856/117376
[pid=5522] ppid=5519 vsize=30284 CPUtime=102.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 10821 0 0 0 10211 18 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30284
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5718
/proc/meminfo: memFree=32106820/32770624 swapFree=5856/117396
[pid=5522] ppid=5519 vsize=30284 CPUtime=162.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 11290 0 0 0 16201 28 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30284
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5719
/proc/meminfo: memFree=32106748/32770624 swapFree=5856/117424
[pid=5522] ppid=5519 vsize=30284 CPUtime=222.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 11760 0 0 0 22191 38 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30284
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5720
/proc/meminfo: memFree=32106500/32770624 swapFree=5856/117448
[pid=5522] ppid=5519 vsize=30284 CPUtime=282.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 12230 0 0 0 28182 47 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982296 139893522657932 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30284
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5721
/proc/meminfo: memFree=32106252/32770624 swapFree=5856/117468
[pid=5522] ppid=5519 vsize=30284 CPUtime=342.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 12700 0 0 0 34171 58 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 30284
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5722
/proc/meminfo: memFree=32105856/32770624 swapFree=5856/117492
[pid=5522] ppid=5519 vsize=30284 CPUtime=402.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 13170 0 0 0 40162 67 0 0 20 0 1 0 1998696 31010816 2274 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2274 729 682 0 1574 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 30284
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5723
/proc/meminfo: memFree=32105972/32770624 swapFree=5856/117520
[pid=5522] ppid=5519 vsize=30284 CPUtime=462.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 13641 0 0 0 46154 75 0 0 20 0 1 0 1998696 31010816 2275 33554432000 4194304 6986860 140723183986944 140723183982472 5453972 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2275 729 682 0 1574 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 30284
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5724
/proc/meminfo: memFree=32106368/32770624 swapFree=5856/117548
[pid=5522] ppid=5519 vsize=30284 CPUtime=522.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 14111 0 0 0 52143 86 0 0 20 0 1 0 1998696 31010816 2275 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2275 729 682 0 1574 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 30284
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 5725
/proc/meminfo: memFree=32106236/32770624 swapFree=5856/117572
[pid=5522] ppid=5519 vsize=30284 CPUtime=582.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 14583 0 0 0 58133 96 0 0 20 0 1 0 1998696 31010816 2275 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2275 729 682 0 1574 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 30284
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/183 5876
/proc/meminfo: memFree=32113840/32770624 swapFree=5856/118060
[pid=5522] ppid=5519 vsize=30284 CPUtime=1482.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 21663 0 0 0 147982 248 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 30284
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5878
/proc/meminfo: memFree=32113636/32770624 swapFree=5856/118100
[pid=5522] ppid=5519 vsize=30284 CPUtime=1542.31 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 22135 0 0 0 153973 258 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522669549 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 30284
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 5879
/proc/meminfo: memFree=32113732/32770624 swapFree=5856/118136
[pid=5522] ppid=5519 vsize=30284 CPUtime=1602.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 22607 0 0 0 159960 270 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 30284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 5880
/proc/meminfo: memFree=32113856/32770624 swapFree=5856/118164
[pid=5522] ppid=5519 vsize=30284 CPUtime=1662.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 23079 0 0 0 165950 279 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 30284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5882
/proc/meminfo: memFree=32113740/32770624 swapFree=5856/118208
[pid=5522] ppid=5519 vsize=30284 CPUtime=1722.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 23551 0 0 0 171940 290 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 30284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5883
/proc/meminfo: memFree=32113492/32770624 swapFree=5856/118244
[pid=5522] ppid=5519 vsize=30284 CPUtime=1782.29 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 24023 0 0 0 177931 298 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 30284
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5891
/proc/meminfo: memFree=32113580/32770624 swapFree=5856/118236
[pid=5522] ppid=5519 vsize=30284 CPUtime=1842.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 24495 0 0 0 183922 308 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 5438147 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 30284
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5914
/proc/meminfo: memFree=32112980/32770624 swapFree=5856/118272
[pid=5522] ppid=5519 vsize=30284 CPUtime=1902.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 24967 0 0 0 189912 318 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 30284
[startup+1962.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5915
/proc/meminfo: memFree=32113656/32770624 swapFree=5856/118308
[pid=5522] ppid=5519 vsize=30284 CPUtime=1962.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 25439 0 0 0 195902 328 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 30284
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5916
/proc/meminfo: memFree=32113368/32770624 swapFree=5856/118344
[pid=5522] ppid=5519 vsize=30284 CPUtime=2022.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 25912 0 0 0 201892 338 0 0 20 0 1 0 1998696 31010816 2276 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2276 729 682 0 1574 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 30284
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5917
/proc/meminfo: memFree=32113576/32770624 swapFree=5856/118376
[pid=5522] ppid=5519 vsize=30284 CPUtime=2082.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 26384 0 0 0 207884 346 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 30284
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5918
/proc/meminfo: memFree=32113428/32770624 swapFree=5856/118408
[pid=5522] ppid=5519 vsize=30284 CPUtime=2142.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 26856 0 0 0 213873 357 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 30284
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5919
/proc/meminfo: memFree=32113676/32770624 swapFree=5856/118440
[pid=5522] ppid=5519 vsize=30284 CPUtime=2202.31 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 27328 0 0 0 219864 367 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 30284
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5920
/proc/meminfo: memFree=32113612/32770624 swapFree=5856/118480
[pid=5522] ppid=5519 vsize=30284 CPUtime=2262.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 27800 0 0 0 225852 378 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 30284
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5921
/proc/meminfo: memFree=32113364/32770624 swapFree=5856/118516
[pid=5522] ppid=5519 vsize=30284 CPUtime=2322.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 28272 0 0 0 231840 390 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982296 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 30284
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5922
/proc/meminfo: memFree=32112956/32770624 swapFree=5856/118548
[pid=5522] ppid=5519 vsize=30284 CPUtime=2382.3 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 28744 0 0 0 237828 402 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 30284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5923
/proc/meminfo: memFree=32112708/32770624 swapFree=5856/118572
[pid=5522] ppid=5519 vsize=30284 CPUtime=2400 cores=1,3,5,7
/proc/5522/stat : 5522 (naxos-xcsp3) R 5519 5522 3683 0 -1 4202496 29216 0 0 0 239594 406 0 0 20 0 1 0 1998696 31010816 2277 33554432000 4194304 6986860 140723183986944 140723183982472 139893522923900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 23961600 140723183994126 140723183994207 140723183994207 140723183996906 0
/proc/5522/statm: 7571 2277 729 682 0 1574 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 30284
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 5522 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): 2395.95
CPU system time (s): 4.06502
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 30284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.95
system time used= 4.06502
maximum resident set size= 9144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29246
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= 635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38121 second user time and 8.46696 second system time
The end