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-4251718-1500917344/watcher-4251718-1500917344 -o /tmp/evaluation-result-4251718-1500917344/solver-4251718-1500917344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3624 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251718-1500917344.xml
pid=4175
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.21 3/181 4178
/proc/meminfo: memFree=32124720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=24736 CPUtime=0 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 947 0 0 0 0 0 0 0 20 0 1 0 1274378 25329664 783 33554432000 4194304 6986860 140736912048864 140736912045560 139959603850213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 6184 783 649 682 0 187 0
[startup+0.100122 s]
/proc/loadavg: 2.00 2.01 2.21 3/181 4178
/proc/meminfo: memFree=32124720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=27336 CPUtime=0.09 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 1696 0 0 0 9 0 0 0 20 0 1 0 1274378 27992064 1524 33554432000 4194304 6986860 140736912048864 140736912045560 5856264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 6834 1524 740 682 0 837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27336
[startup+0.200229 s]
/proc/loadavg: 2.00 2.01 2.21 3/181 4178
/proc/meminfo: memFree=32124720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=27584 CPUtime=0.19 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 1769 0 0 0 19 0 0 0 20 0 1 0 1274378 28246016 1586 33554432000 4194304 6986860 140736912048864 140736912045560 139959603850213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 6896 1586 740 682 0 899 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27584
[startup+0.300198 s]
/proc/loadavg: 2.00 2.01 2.21 3/181 4178
/proc/meminfo: memFree=32124720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=27964 CPUtime=0.29 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 1841 0 0 0 29 0 0 0 20 0 1 0 1274378 28635136 1681 33554432000 4194304 6986860 140736912048864 140736912045560 5638100 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 6991 1681 740 682 0 994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27964
[startup+0.700187 s]
/proc/loadavg: 2.00 2.01 2.21 3/181 4178
/proc/meminfo: memFree=32124720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=29096 CPUtime=0.69 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 2134 0 0 0 69 0 0 0 20 0 1 0 1274378 29794304 1964 33554432000 4194304 6986860 140736912048864 140736912041000 5637469 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 7274 1964 740 682 0 1277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29096
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4179
/proc/meminfo: memFree=32118720/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=316004 CPUtime=1.49 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 73896 0 0 0 141 8 0 0 20 0 1 0 1274378 323588096 73691 33554432000 4194304 6986860 140736912048864 140736912041000 139959603850213 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 79034 73757 762 682 0 73037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 316004
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.21 3/182 4179
/proc/meminfo: memFree=31716988/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=430596 CPUtime=3.09 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 103979 0 0 0 297 12 0 0 20 0 1 0 1274378 440930304 102363 33554432000 4194304 6986860 140736912048864 140736912041000 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107649 102363 762 682 0 101652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 430596
[startup+6.30019 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31716368/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=430504 CPUtime=6.29 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 105418 0 0 0 615 14 0 0 20 0 1 0 1274378 440836096 102364 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102364 762 682 0 101629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 430504
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31715548/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=430504 CPUtime=12.69 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 106967 0 0 0 1252 17 0 0 20 0 1 0 1274378 440836096 102364 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102364 762 682 0 101629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 430504
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31712728/32770624 swapFree=5764/111540
[pid=4178] ppid=4175 vsize=430504 CPUtime=25.49 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 108424 0 0 0 2525 24 0 0 20 0 1 0 1274378 440836096 102364 33554432000 4194304 6986860 140736912048864 140736912044216 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102364 762 682 0 101629 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 430504
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4179
/proc/meminfo: memFree=31696892/32770624 swapFree=5764/111580
[pid=4178] ppid=4175 vsize=430504 CPUtime=51.09 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 109884 0 0 0 5072 37 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 430504
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/182 4187
/proc/meminfo: memFree=31695284/32770624 swapFree=5764/111636
[pid=4178] ppid=4175 vsize=430504 CPUtime=102.3 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110036 0 0 0 10168 62 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 430504
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/182 4188
/proc/meminfo: memFree=31696940/32770624 swapFree=5764/111668
[pid=4178] ppid=4175 vsize=430504 CPUtime=162.31 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110158 0 0 0 16135 96 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044216 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 430504
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.17 3/182 4189
/proc/meminfo: memFree=31696704/32770624 swapFree=5764/111680
[pid=4178] ppid=4175 vsize=430504 CPUtime=222.32 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110250 0 0 0 22101 131 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 430504
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.16 3/182 4190
/proc/meminfo: memFree=31696796/32770624 swapFree=5764/111732
[pid=4178] ppid=4175 vsize=430504 CPUtime=282.32 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110281 0 0 0 28063 169 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 430504
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/182 4191
/proc/meminfo: memFree=31695984/32770624 swapFree=5764/111760
[pid=4178] ppid=4175 vsize=430504 CPUtime=342.33 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110371 0 0 0 34032 201 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 430504
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.14 3/182 4192
/proc/meminfo: memFree=31697228/32770624 swapFree=5764/111788
[pid=4178] ppid=4175 vsize=430504 CPUtime=402.33 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110401 0 0 0 39998 235 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044216 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 430504
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 4193
/proc/meminfo: memFree=31697280/32770624 swapFree=5764/111816
[pid=4178] ppid=4175 vsize=430504 CPUtime=462.35 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110491 0 0 0 45965 270 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 430504
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/182 4194
/proc/meminfo: memFree=31697224/32770624 swapFree=5764/111856
[pid=4178] ppid=4175 vsize=430504 CPUtime=522.35 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110521 0 0 0 51933 302 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 430504
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/182 4195
/proc/meminfo: memFree=31697084/32770624 swapFree=5764/111884
[pid=4178] ppid=4175 vsize=430504 CPUtime=582.36 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 110611 0 0 0 57902 334 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 430504
################
# More data... #
################
[pid=4178] ppid=4175 vsize=430504 CPUtime=1782.52 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 111811 0 0 0 177231 1021 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 430504
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4232
/proc/meminfo: memFree=31696248/32770624 swapFree=5764/112560
[pid=4178] ppid=4175 vsize=430504 CPUtime=1842.53 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 111841 0 0 0 183199 1054 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044216 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 1842.53
Current children cumulated vsize (KiB) 430504
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4240
/proc/meminfo: memFree=31695216/32770624 swapFree=5764/112588
[pid=4178] ppid=4175 vsize=430504 CPUtime=1902.54 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 111931 0 0 0 189165 1089 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 1902.54
Current children cumulated vsize (KiB) 430504
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4264
/proc/meminfo: memFree=31694992/32770624 swapFree=5764/112624
[pid=4178] ppid=4175 vsize=430504 CPUtime=1962.54 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 111961 0 0 0 195129 1125 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 1962.54
Current children cumulated vsize (KiB) 430504
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4265
/proc/meminfo: memFree=31695288/32770624 swapFree=5764/112656
[pid=4178] ppid=4175 vsize=430504 CPUtime=2022.56 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112051 0 0 0 201096 1160 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044216 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2022.56
Current children cumulated vsize (KiB) 430504
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4266
/proc/meminfo: memFree=31696024/32770624 swapFree=5764/112692
[pid=4178] ppid=4175 vsize=430504 CPUtime=2082.56 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112081 0 0 0 207063 1193 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2082.56
Current children cumulated vsize (KiB) 430504
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4267
/proc/meminfo: memFree=31696280/32770624 swapFree=5764/112724
[pid=4178] ppid=4175 vsize=430504 CPUtime=2142.57 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112171 0 0 0 213029 1228 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2142.57
Current children cumulated vsize (KiB) 430504
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 4268
/proc/meminfo: memFree=31696212/32770624 swapFree=5764/112752
[pid=4178] ppid=4175 vsize=430504 CPUtime=2202.58 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112201 0 0 0 218993 1265 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2202.58
Current children cumulated vsize (KiB) 430504
[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 4269
/proc/meminfo: memFree=31696352/32770624 swapFree=5764/112780
[pid=4178] ppid=4175 vsize=430504 CPUtime=2262.59 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112291 0 0 0 224957 1302 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2262.59
Current children cumulated vsize (KiB) 430504
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4270
/proc/meminfo: memFree=31696336/32770624 swapFree=5764/112816
[pid=4178] ppid=4175 vsize=430504 CPUtime=2322.59 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112321 0 0 0 230923 1336 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2322.59
Current children cumulated vsize (KiB) 430504
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 4271
/proc/meminfo: memFree=31695848/32770624 swapFree=5764/112844
[pid=4178] ppid=4175 vsize=430504 CPUtime=2382.6 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112411 0 0 0 236893 1367 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2382.6
Current children cumulated vsize (KiB) 430504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.7 s]
/proc/loadavg: 2.17 2.06 2.06 3/182 4396
/proc/meminfo: memFree=31714888/32770624 swapFree=5764/113144
[pid=4178] ppid=4175 vsize=430504 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) R 4175 4178 3592 0 -1 4202496 112411 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440836096 102366 33554432000 4194304 6986860 140736912048864 140736912044392 139959604113788 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107626 102366 762 682 0 101629 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4178
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4178 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2400 s]
/proc/loadavg: 2.17 2.06 2.06 3/182 4396
/proc/meminfo: memFree=31714888/32770624 swapFree=5764/113144
[pid=4178] ppid=4175 vsize=430508 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) S 4175 4178 3592 0 -1 1077944320 112427 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440840192 102366 33554432000 4194304 6986860 140736912048864 140736912042296 139959604404476 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107627 102366 762 682 0 101630 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430508
[startup+2400.8 s]
/proc/loadavg: 2.15 2.06 2.06 2/182 4396
/proc/meminfo: memFree=31714516/32770624 swapFree=5764/113144
[pid=4178] ppid=4175 vsize=430508 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) S 4175 4178 3592 0 -1 1077944320 112427 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440840192 102366 33554432000 4194304 6986860 140736912048864 140736912042296 139959604404476 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107627 102366 762 682 0 101630 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430508
[startup+2401.2 s]
/proc/loadavg: 2.15 2.06 2.06 2/182 4396
/proc/meminfo: memFree=31714516/32770624 swapFree=5764/113144
[pid=4178] ppid=4175 vsize=430508 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) S 4175 4178 3592 0 -1 1077944320 112427 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440840192 102366 33554432000 4194304 6986860 140736912048864 140736912042296 139959604404476 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107627 102366 762 682 0 101630 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430508
[startup+2401.6 s]
/proc/loadavg: 2.15 2.06 2.06 2/182 4396
/proc/meminfo: memFree=31714456/32770624 swapFree=5764/112916
[pid=4178] ppid=4175 vsize=430508 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) S 4175 4178 3592 0 -1 1077944320 112427 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440840192 102366 33554432000 4194304 6986860 140736912048864 140736912042296 139959604404476 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107627 102366 762 682 0 101630 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430508
[startup+2401.7 s]
/proc/loadavg: 2.15 2.06 2.06 2/182 4396
/proc/meminfo: memFree=31714456/32770624 swapFree=5764/112916
[pid=4178] ppid=4175 vsize=430508 CPUtime=2400.01 cores=1,3,5,7
/proc/4178/stat : 4178 (naxos-xcsp3) S 4175 4178 3592 0 -1 1077944320 112427 0 0 0 238625 1376 0 0 20 0 1 0 1274378 440840192 102366 33554432000 4194304 6986860 140736912048864 140736912042296 139959604404476 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39616512 140736912057614 140736912057695 140736912057695 140736912060394 0
/proc/4178/statm: 107627 102366 762 682 0 101630 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 430508
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2401.7
CPU time (s): 2400.01
CPU user time (s): 2386.25
CPU system time (s): 13.7618
CPU usage (%): 99.9297
Max. virtual memory (cumulated for all children) (KiB): 430596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.25
system time used= 13.7618
maximum resident set size= 409488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112427
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= 10
involuntary context switches= 604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98609 second user time and 7.34405 second system time
The end