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-4251814-1500919743/watcher-4251814-1500919743 -o /tmp/evaluation-result-4251814-1500919743/solver-4251814-1500919743 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3496 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251814-1500919743.xml
pid=4376
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.00 2/177 4379
/proc/meminfo: memFree=32126344/32770624 swapFree=5784/116768
[pid=4379] ppid=4376 vsize=24636 CPUtime=0 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 916 0 0 0 0 0 0 0 20 0 1 0 1527691 25227264 756 33554432000 4194304 6986860 140735745234896 140735745231592 5731747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 6159 756 658 682 0 162 0
[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 4379
/proc/meminfo: memFree=32126344/32770624 swapFree=5784/116768
[pid=4379] ppid=4376 vsize=45752 CPUtime=0.09 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 6218 0 0 0 9 0 0 0 20 0 1 0 1527691 46850048 6056 33554432000 4194304 6986860 140735745234896 140735745231592 140164929014757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 11438 6056 672 682 0 5441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45752
[startup+0.200353 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 4379
/proc/meminfo: memFree=32126344/32770624 swapFree=5784/116768
[pid=4379] ppid=4376 vsize=67956 CPUtime=0.19 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 11777 0 0 0 18 1 0 0 20 0 1 0 1527691 69586944 11575 33554432000 4194304 6986860 140735745234896 140735745231592 5731724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 16989 11575 672 682 0 10992 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67956
[startup+0.300347 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 4379
/proc/meminfo: memFree=32126344/32770624 swapFree=5784/116768
[pid=4379] ppid=4376 vsize=90192 CPUtime=0.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 17325 0 0 0 28 1 0 0 20 0 1 0 1527691 92356608 17167 33554432000 4194304 6986860 140735745234896 140735745231592 140164929014757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 22548 17167 672 682 0 16551 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90192
[startup+0.700322 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 4379
/proc/meminfo: memFree=32126344/32770624 swapFree=5784/116768
[pid=4379] ppid=4376 vsize=114100 CPUtime=0.69 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 23324 0 0 0 67 2 0 0 20 0 1 0 1527691 116838400 23143 33554432000 4194304 6986860 140735745234896 140735745231592 140164929278332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23143 672 682 0 22528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114100
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32003004/32770624 swapFree=5784/116940
[pid=4379] ppid=4376 vsize=114100 CPUtime=1.49 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 23326 0 0 0 147 2 0 0 20 0 1 0 1527691 116838400 23143 33554432000 4194304 6986860 140735745234896 140735745230248 5438476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23143 672 682 0 22528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114100
[startup+3.10034 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32002100/32770624 swapFree=5784/116952
[pid=4379] ppid=4376 vsize=114100 CPUtime=3.09 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 44885 0 0 0 306 3 0 0 20 0 1 0 1527691 116838400 23172 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23172 687 682 0 22528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114100
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32000892/32770624 swapFree=5784/116952
[pid=4379] ppid=4376 vsize=114100 CPUtime=6.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 63636 0 0 0 625 4 0 0 20 0 1 0 1527691 116838400 23172 33554432000 4194304 6986860 140735745234896 140735745230248 5438881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23172 687 682 0 22528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114100
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32001380/32770624 swapFree=5784/116960
[pid=4379] ppid=4376 vsize=114100 CPUtime=12.69 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 80171 0 0 0 1264 5 0 0 20 0 1 0 1527691 116838400 23173 33554432000 4194304 6986860 140735745234896 140735745230424 5438250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23173 687 682 0 22528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114100
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32000976/32770624 swapFree=5784/116976
[pid=4379] ppid=4376 vsize=114100 CPUtime=25.49 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 109817 0 0 0 2542 7 0 0 20 0 1 0 1527691 116838400 23173 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23173 687 682 0 22528 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 114100
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4391
/proc/meminfo: memFree=32001012/32770624 swapFree=5784/116988
[pid=4379] ppid=4376 vsize=114100 CPUtime=51.09 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 116049 0 0 0 5100 9 0 0 20 0 1 0 1527691 116838400 23173 33554432000 4194304 6986860 140735745234896 140735745230248 5453888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23173 687 682 0 22528 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114100
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4400
/proc/meminfo: memFree=31999608/32770624 swapFree=5784/117024
[pid=4379] ppid=4376 vsize=114100 CPUtime=102.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 116956 0 0 0 10219 10 0 0 20 0 1 0 1527691 116838400 23173 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23173 687 682 0 22528 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 114100
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4401
/proc/meminfo: memFree=31999824/32770624 swapFree=5784/117044
[pid=4379] ppid=4376 vsize=114100 CPUtime=162.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 117864 0 0 0 16217 12 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 114100
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4402
/proc/meminfo: memFree=31999992/32770624 swapFree=5784/117064
[pid=4379] ppid=4376 vsize=114100 CPUtime=222.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 118774 0 0 0 22216 14 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 114100
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 4403
/proc/meminfo: memFree=31999816/32770624 swapFree=5784/117088
[pid=4379] ppid=4376 vsize=114100 CPUtime=282.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 119682 0 0 0 28214 15 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5453966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 114100
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 4404
/proc/meminfo: memFree=31999560/32770624 swapFree=5784/117108
[pid=4379] ppid=4376 vsize=114100 CPUtime=342.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 120590 0 0 0 34210 19 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5454000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 114100
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/182 4405
/proc/meminfo: memFree=31999860/32770624 swapFree=5784/117132
[pid=4379] ppid=4376 vsize=114100 CPUtime=402.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 121498 0 0 0 40207 22 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 114100
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/182 4406
/proc/meminfo: memFree=31999800/32770624 swapFree=5784/117156
[pid=4379] ppid=4376 vsize=114100 CPUtime=462.29 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 122406 0 0 0 46205 24 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 114100
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/182 4407
/proc/meminfo: memFree=31999792/32770624 swapFree=5784/117176
[pid=4379] ppid=4376 vsize=114100 CPUtime=522.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 123314 0 0 0 52203 27 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 114100
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/182 4408
/proc/meminfo: memFree=31999708/32770624 swapFree=5784/117196
[pid=4379] ppid=4376 vsize=114100 CPUtime=582.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 124222 0 0 0 58201 29 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 140164929278332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 114100
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 4439
/proc/meminfo: memFree=31998088/32770624 swapFree=5784/117544
[pid=4379] ppid=4376 vsize=114100 CPUtime=1482.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 137405 0 0 0 148165 65 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 114100
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.02 3/182 4440
/proc/meminfo: memFree=31998248/32770624 swapFree=5784/117560
[pid=4379] ppid=4376 vsize=114100 CPUtime=1542.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 138313 0 0 0 154164 67 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 114100
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/182 4441
/proc/meminfo: memFree=31998124/32770624 swapFree=5784/117600
[pid=4379] ppid=4376 vsize=114100 CPUtime=1602.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 139221 0 0 0 160160 70 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 114100
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 4442
/proc/meminfo: memFree=31998408/32770624 swapFree=5784/117624
[pid=4379] ppid=4376 vsize=114100 CPUtime=1662.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 140129 0 0 0 166157 73 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 114100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 4443
/proc/meminfo: memFree=31998632/32770624 swapFree=5784/117644
[pid=4379] ppid=4376 vsize=114100 CPUtime=1722.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 141037 0 0 0 172155 75 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438923 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 114100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 4444
/proc/meminfo: memFree=31998564/32770624 swapFree=5784/117664
[pid=4379] ppid=4376 vsize=114100 CPUtime=1782.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 141726 0 0 0 178154 77 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 114100
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/182 4445
/proc/meminfo: memFree=31998356/32770624 swapFree=5784/117684
[pid=4379] ppid=4376 vsize=114100 CPUtime=1842.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 142634 0 0 0 184152 79 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 114100
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/182 4453
/proc/meminfo: memFree=31998060/32770624 swapFree=5784/117716
[pid=4379] ppid=4376 vsize=114100 CPUtime=1902.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 143542 0 0 0 190149 81 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 114100
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 4454
/proc/meminfo: memFree=31998356/32770624 swapFree=5784/117736
[pid=4379] ppid=4376 vsize=114100 CPUtime=1962.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 144450 0 0 0 196148 83 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 114100
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 4455
/proc/meminfo: memFree=31998404/32770624 swapFree=5784/117756
[pid=4379] ppid=4376 vsize=114100 CPUtime=2022.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 145358 0 0 0 202145 86 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438185 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 114100
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/182 4520
/proc/meminfo: memFree=32027828/32770624 swapFree=5784/117804
[pid=4379] ppid=4376 vsize=114100 CPUtime=2082.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 146266 0 0 0 208143 88 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 114100
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/182 4521
/proc/meminfo: memFree=32026992/32770624 swapFree=5784/117852
[pid=4379] ppid=4376 vsize=114100 CPUtime=2142.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 147174 0 0 0 214140 91 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 140164929278332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 114100
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/182 4522
/proc/meminfo: memFree=32027040/32770624 swapFree=5784/117888
[pid=4379] ppid=4376 vsize=114100 CPUtime=2202.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 148082 0 0 0 220137 94 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 114100
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 4523
/proc/meminfo: memFree=32027216/32770624 swapFree=5784/117920
[pid=4379] ppid=4376 vsize=114100 CPUtime=2262.3 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 148990 0 0 0 226133 97 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438897 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 114100
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/182 4524
/proc/meminfo: memFree=32027288/32770624 swapFree=5784/117948
[pid=4379] ppid=4376 vsize=114100 CPUtime=2322.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 149898 0 0 0 232130 101 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 114100
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/182 4525
/proc/meminfo: memFree=32026964/32770624 swapFree=5784/117976
[pid=4379] ppid=4376 vsize=114100 CPUtime=2382.31 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 150806 0 0 0 238127 104 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230248 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 114100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.02 2.02 2.04 3/182 4525
/proc/meminfo: memFree=32027264/32770624 swapFree=5784/117984
[pid=4379] ppid=4376 vsize=114100 CPUtime=2400.01 cores=1,3,5,7
/proc/4379/stat : 4379 (naxos-xcsp3) R 4376 4379 3464 0 -1 4202496 151495 0 0 0 239896 105 0 0 20 0 1 0 1527691 116838400 23174 33554432000 4194304 6986860 140735745234896 140735745230424 5438093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 27897856 140735745238286 140735745238367 140735745238367 140735745241066 0
/proc/4379/statm: 28525 23174 687 682 0 22528 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 114100
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 4379 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.02
CPU user time (s): 2398.96
CPU system time (s): 1.05501
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 114100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.96
system time used= 1.05501
maximum resident set size= 92736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151526
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= 11
involuntary context switches= 608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.502 second user time and 10.1961 second system time
The end