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-4251511-1500914936/watcher-4251511-1500914936 -o /tmp/evaluation-result-4251511-1500914936/solver-4251511-1500914936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500914927-3857 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251511-1500914936.xml
pid=4114
running on 4 cores: 0,2,4,6
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: 0.00 1.47 4.62 3/176 4117
/proc/meminfo: memFree=32133364/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=24732 CPUtime=0 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 1033071 25325568 782 33554432000 4194304 6986860 140736074114272 140736074110968 5808679 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6183 782 649 682 0 186 0
[startup+0.100105 s]
/proc/loadavg: 0.00 1.47 4.62 3/176 4117
/proc/meminfo: memFree=32133364/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=0.09 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1436 0 0 0 9 0 0 0 20 0 1 0 1033071 27123712 1283 33554432000 4194304 6986860 140736074114272 140736074110968 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1283 690 682 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26488
[startup+0.200233 s]
/proc/loadavg: 0.00 1.47 4.62 3/176 4117
/proc/meminfo: memFree=32133364/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=0.19 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1436 0 0 0 19 0 0 0 20 0 1 0 1033071 27123712 1283 33554432000 4194304 6986860 140736074114272 140736074110968 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1283 690 682 0 625 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26488
[startup+0.300213 s]
/proc/loadavg: 0.00 1.47 4.62 3/176 4117
/proc/meminfo: memFree=32133364/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=0.29 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1436 0 0 0 29 0 0 0 20 0 1 0 1033071 27123712 1283 33554432000 4194304 6986860 140736074114272 140736074110968 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1283 690 682 0 625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26488
[startup+0.700174 s]
/proc/loadavg: 0.00 1.47 4.62 3/176 4117
/proc/meminfo: memFree=32133364/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=0.69 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1436 0 0 0 69 0 0 0 20 0 1 0 1033071 27123712 1283 33554432000 4194304 6986860 140736074114272 140736074110968 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1283 690 682 0 625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26488
[startup+1.50018 s]
/proc/loadavg: 0.00 1.47 4.62 2/177 4120
/proc/meminfo: memFree=32131768/32770624 swapFree=5796/110292
[pid=4117] ppid=4114 vsize=26488 CPUtime=1.49 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1437 0 0 0 147 2 0 0 20 0 1 0 1033071 27123712 1283 33554432000 4194304 6986860 140736074114272 140736074109624 5435647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1283 690 682 0 625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26488
[startup+3.10018 s]
/proc/loadavg: 0.16 1.48 4.60 2/177 4179
/proc/meminfo: memFree=32131012/32770624 swapFree=5796/110488
[pid=4117] ppid=4114 vsize=26488 CPUtime=3.09 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1637 0 0 0 306 3 0 0 20 0 1 0 1033071 27123712 1284 33554432000 4194304 6986860 140736074114272 140736074109624 5435569 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1284 690 682 0 625 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26488
[startup+6.30017 s]
/proc/loadavg: 0.16 1.48 4.60 3/183 4194
/proc/meminfo: memFree=32125664/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=6.29 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 1842 0 0 0 622 7 0 0 20 0 1 0 1033071 27123712 1284 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1284 690 682 0 625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26488
[startup+12.7002 s]
/proc/loadavg: 0.45 1.49 4.58 3/183 4194
/proc/meminfo: memFree=32125664/32770624 swapFree=5796/110328
[pid=4117] ppid=4114 vsize=26488 CPUtime=12.69 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 2050 0 0 0 1253 16 0 0 20 0 1 0 1033071 27123712 1284 33554432000 4194304 6986860 140736074114272 140736074109800 139956415308998 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1284 690 682 0 625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26488
[startup+25.5002 s]
/proc/loadavg: 0.68 1.51 4.55 3/183 4194
/proc/meminfo: memFree=32125892/32770624 swapFree=5796/110352
[pid=4117] ppid=4114 vsize=26488 CPUtime=25.49 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 2466 0 0 0 2516 33 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26488
[startup+51.1002 s]
/proc/loadavg: 1.13 1.55 4.48 3/183 4194
/proc/meminfo: memFree=32126940/32770624 swapFree=5796/110372
[pid=4117] ppid=4114 vsize=26488 CPUtime=51.09 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 2680 0 0 0 5045 64 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26488
[startup+102.3 s]
/proc/loadavg: 1.65 1.63 4.34 3/183 4202
/proc/meminfo: memFree=32127288/32770624 swapFree=5796/110408
[pid=4117] ppid=4114 vsize=26488 CPUtime=102.28 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 2889 0 0 0 10101 127 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26488
[startup+162.3 s]
/proc/loadavg: 1.87 1.69 4.19 3/183 4203
/proc/meminfo: memFree=32128156/32770624 swapFree=5796/110444
[pid=4117] ppid=4114 vsize=26488 CPUtime=162.26 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 3103 0 0 0 16029 197 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26488
[startup+222.306 s]
/proc/loadavg: 1.95 1.75 4.05 3/183 4204
/proc/meminfo: memFree=32128792/32770624 swapFree=5796/110480
[pid=4117] ppid=4114 vsize=26488 CPUtime=222.26 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 3322 0 0 0 21955 271 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 26488
[startup+282.3 s]
/proc/loadavg: 2.03 1.81 3.93 3/183 4205
/proc/meminfo: memFree=32128764/32770624 swapFree=5796/110508
[pid=4117] ppid=4114 vsize=26488 CPUtime=282.25 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 3536 0 0 0 27881 344 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109624 5435353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 26488
[startup+342.3 s]
/proc/loadavg: 2.01 1.84 3.81 3/182 4206
/proc/meminfo: memFree=32128888/32770624 swapFree=5796/110536
[pid=4117] ppid=4114 vsize=26488 CPUtime=342.24 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 3754 0 0 0 33805 419 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 26488
[startup+402.3 s]
/proc/loadavg: 2.00 1.87 3.70 3/182 4208
/proc/meminfo: memFree=32128560/32770624 swapFree=5796/110568
[pid=4117] ppid=4114 vsize=26488 CPUtime=402.24 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 3969 0 0 0 39732 492 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109800 5471597 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 26488
[startup+462.3 s]
/proc/loadavg: 2.00 1.90 3.59 3/182 4209
/proc/meminfo: memFree=32128960/32770624 swapFree=5796/110596
[pid=4117] ppid=4114 vsize=26488 CPUtime=462.22 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 4197 0 0 0 45649 573 0 0 20 0 1 0 1033071 27123712 1285 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1285 690 682 0 625 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 26488
[startup+522.3 s]
/proc/loadavg: 2.00 1.91 3.50 3/182 4210
/proc/meminfo: memFree=32128900/32770624 swapFree=5796/110628
[pid=4117] ppid=4114 vsize=26488 CPUtime=522.21 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 4416 0 0 0 51574 647 0 0 20 0 1 0 1033071 27123712 1286 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1286 690 682 0 625 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 26488
[startup+582.3 s]
/proc/loadavg: 2.08 1.95 3.40 3/182 4212
/proc/meminfo: memFree=32128612/32770624 swapFree=5796/110656
[pid=4117] ppid=4114 vsize=26488 CPUtime=582.2 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 4635 0 0 0 57504 716 0 0 20 0 1 0 1033071 27123712 1286 33554432000 4194304 6986860 140736074114272 140736074109800 5284448 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1286 690 682 0 625 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 26488
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.53 3/183 4264
/proc/meminfo: memFree=32128444/32770624 swapFree=5796/111032
[pid=4117] ppid=4114 vsize=26488 CPUtime=1482.09 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 7993 0 0 0 146343 1866 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109624 5359986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 26488
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 2.50 3/183 4265
/proc/meminfo: memFree=32128288/32770624 swapFree=5796/111060
[pid=4117] ppid=4114 vsize=26488 CPUtime=1542.07 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 8217 0 0 0 152262 1945 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109624 5472704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 26488
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.47 3/182 4266
/proc/meminfo: memFree=32128304/32770624 swapFree=5796/111076
[pid=4117] ppid=4114 vsize=26488 CPUtime=1602.07 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 8443 0 0 0 158183 2024 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109624 139956415309893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 26488
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.44 3/181 4267
/proc/meminfo: memFree=32128924/32770624 swapFree=5796/110920
[pid=4117] ppid=4114 vsize=26488 CPUtime=1662.06 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 8669 0 0 0 164106 2100 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 26488
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.41 3/182 4269
/proc/meminfo: memFree=32128320/32770624 swapFree=5796/110944
[pid=4117] ppid=4114 vsize=26488 CPUtime=1722.05 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 8895 0 0 0 170020 2185 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 26488
[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 2.39 3/182 4270
/proc/meminfo: memFree=32128256/32770624 swapFree=5796/110968
[pid=4117] ppid=4114 vsize=26488 CPUtime=1782.04 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 9122 0 0 0 175939 2265 0 0 20 0 1 0 1033071 27123712 1287 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1287 690 682 0 625 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 26488
[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 2.37 3/182 4271
/proc/meminfo: memFree=32128380/32770624 swapFree=5796/110992
[pid=4117] ppid=4114 vsize=26488 CPUtime=1842.03 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 9347 0 0 0 181865 2338 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 26488
[startup+1902.3 s]
/proc/loadavg: 2.04 2.01 2.35 3/182 4279
/proc/meminfo: memFree=32126700/32770624 swapFree=5796/111016
[pid=4117] ppid=4114 vsize=26488 CPUtime=1902.02 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 9572 0 0 0 187787 2415 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 5435747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 26488
[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 2.33 3/182 4280
/proc/meminfo: memFree=32127248/32770624 swapFree=5796/111036
[pid=4117] ppid=4114 vsize=26488 CPUtime=1962.01 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 9797 0 0 0 193714 2487 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 26488
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 2.31 3/182 4281
/proc/meminfo: memFree=32127248/32770624 swapFree=5796/111068
[pid=4117] ppid=4114 vsize=26488 CPUtime=2022.01 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 10024 0 0 0 199641 2560 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 26488
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/182 4282
/proc/meminfo: memFree=32127372/32770624 swapFree=5796/111092
[pid=4117] ppid=4114 vsize=26488 CPUtime=2082 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 10248 0 0 0 205566 2634 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 26488
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.28 3/182 4283
/proc/meminfo: memFree=32128044/32770624 swapFree=5796/111116
[pid=4117] ppid=4114 vsize=26488 CPUtime=2141.99 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 10474 0 0 0 211490 2709 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 26488
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.26 3/182 4285
/proc/meminfo: memFree=32128284/32770624 swapFree=5796/111144
[pid=4117] ppid=4114 vsize=26488 CPUtime=2201.99 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 10699 0 0 0 217416 2783 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 26488
[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 2.25 3/182 4286
/proc/meminfo: memFree=32127792/32770624 swapFree=5796/111168
[pid=4117] ppid=4114 vsize=26488 CPUtime=2261.97 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 10923 0 0 0 223346 2851 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109624 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 26488
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.23 3/182 4287
/proc/meminfo: memFree=32127640/32770624 swapFree=5796/111192
[pid=4117] ppid=4114 vsize=26488 CPUtime=2321.96 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 11151 0 0 0 229273 2923 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 26488
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.22 3/182 4289
/proc/meminfo: memFree=32127976/32770624 swapFree=5796/111224
[pid=4117] ppid=4114 vsize=26488 CPUtime=2381.96 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 11379 0 0 0 235196 3000 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109624 139956415308542 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 26488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.01 2.02 2.21 3/182 4289
/proc/meminfo: memFree=32127976/32770624 swapFree=5796/111224
[pid=4117] ppid=4114 vsize=26488 CPUtime=2400.05 cores=0,2,4,6
/proc/4117/stat : 4117 (naxos-xcsp3) R 4114 4117 3826 0 -1 4202496 11605 0 0 0 236982 3023 0 0 20 0 1 0 1033071 27123712 1288 33554432000 4194304 6986860 140736074114272 140736074109800 139956415574396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 10989568 140736074122510 140736074122591 140736074122591 140736074125290 0
/proc/4117/statm: 6622 1288 690 682 0 625 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 26488
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 4117 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.06
CPU user time (s): 2369.83
CPU system time (s): 30.2337
CPU usage (%): 99.9858
Max. virtual memory (cumulated for all children) (KiB): 26488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2369.83
system time used= 30.2337
maximum resident set size= 5192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11635
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= 6
involuntary context switches= 2441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42825 second user time and 8.24569 second system time
The end