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-4261381-1502357401/watcher-4261381-1502357401 -o /tmp/evaluation-result-4261381-1502357401/solver-4261381-1502357401 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1341924536 HOME/instance-4261381-1502357401.xml
pid=4324
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.07 2.06 2.05 4/185 4327
/proc/meminfo: memFree=31248804/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4327/stat : 4327 (runsolver) D 4324 4327 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 77651191 24240128 106 18446744073709551615 4194304 4338465 140733457566048 140733457563688 139837568176855 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 6860800 140733457571978 140733457572425 140733457572425 140733457575882 0
/proc/4327/statm: 5918 106 53 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 2.07 2.06 2.05 4/185 4327
/proc/meminfo: memFree=31248804/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4327/stat : 4327 (runsolver) D 4324 4327 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 77651191 24240128 106 18446744073709551615 4194304 4338465 140733457566048 140733457563688 139837568176855 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 6860800 140733457571978 140733457572425 140733457572425 140733457575882 0
/proc/4327/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200361 s]
/proc/loadavg: 2.07 2.06 2.05 4/185 4327
/proc/meminfo: memFree=31248804/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=31404 CPUtime=0.09 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 1787 0 0 0 9 0 0 0 20 0 1 0 77651191 32157696 1573 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4582531 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1573 756 782 0 867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31404
[startup+0.300336 s]
/proc/loadavg: 2.07 2.06 2.05 4/185 4327
/proc/meminfo: memFree=31248804/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=31404 CPUtime=0.19 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 1787 0 0 0 19 0 0 0 20 0 1 0 77651191 32157696 1573 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5576291 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1573 756 782 0 867 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31404
[startup+0.700276 s]
/proc/loadavg: 2.07 2.06 2.05 4/185 4327
/proc/meminfo: memFree=31248804/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=31404 CPUtime=0.59 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 1788 0 0 0 59 0 0 0 20 0 1 0 77651191 32157696 1573 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4406560 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1573 756 782 0 867 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 31404
[startup+1.50028 s]
/proc/loadavg: 2.07 2.06 2.05 3/186 4328
/proc/meminfo: memFree=31245196/32770624 swapFree=0/440224
[pid=4327] ppid=4324 vsize=31404 CPUtime=1.39 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 1788 0 0 0 139 0 0 0 20 0 1 0 77651191 32157696 1573 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581813 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1573 756 782 0 867 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 31404
[startup+3.10028 s]
/proc/loadavg: 2.07 2.06 2.05 3/186 4328
/proc/meminfo: memFree=31244816/32770624 swapFree=0/440232
[pid=4327] ppid=4324 vsize=31404 CPUtime=2.99 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 2281 0 0 0 299 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4582098 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 31404
[startup+6.30028 s]
/proc/loadavg: 1.99 2.05 2.05 3/186 4329
/proc/meminfo: memFree=31244816/32770624 swapFree=0/440232
[pid=4327] ppid=4324 vsize=31404 CPUtime=6.19 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 2784 0 0 0 619 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5839021 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 31404
[startup+12.7003 s]
/proc/loadavg: 1.99 2.04 2.05 3/186 4329
/proc/meminfo: memFree=31244700/32770624 swapFree=0/440232
[pid=4327] ppid=4324 vsize=31404 CPUtime=12.59 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 3283 0 0 0 1259 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4322256 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 31404
[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.05 3/186 4329
/proc/meminfo: memFree=31244824/32770624 swapFree=0/440232
[pid=4327] ppid=4324 vsize=31404 CPUtime=25.39 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 4275 0 0 0 2539 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5578142 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 31404
[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 2.05 3/186 4329
/proc/meminfo: memFree=31244824/32770624 swapFree=0/440244
[pid=4327] ppid=4324 vsize=31404 CPUtime=50.99 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 4769 0 0 0 5099 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4582669 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 31404
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 4331
/proc/meminfo: memFree=31244824/32770624 swapFree=0/440248
[pid=4327] ppid=4324 vsize=31404 CPUtime=102.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 5270 0 0 0 10220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4543814 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 31404
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 4333
/proc/meminfo: memFree=31244840/32770624 swapFree=0/440252
[pid=4327] ppid=4324 vsize=31404 CPUtime=162.19 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 5769 0 0 0 16219 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4388501 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 31404
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 4335
/proc/meminfo: memFree=31244736/32770624 swapFree=0/440268
[pid=4327] ppid=4324 vsize=31404 CPUtime=222.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 6263 0 0 0 22220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581760 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 31404
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 4351
/proc/meminfo: memFree=31241108/32770624 swapFree=0/440288
[pid=4327] ppid=4324 vsize=31404 CPUtime=282.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 6757 0 0 0 28220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4582767 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31404
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 4354
/proc/meminfo: memFree=31244024/32770624 swapFree=0/440304
[pid=4327] ppid=4324 vsize=31404 CPUtime=342.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 7252 0 0 0 34220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5839012 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 31404
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4356
/proc/meminfo: memFree=31244508/32770624 swapFree=0/440324
[pid=4327] ppid=4324 vsize=31404 CPUtime=402.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 7747 0 0 0 40220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4387766 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 31404
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4358
/proc/meminfo: memFree=31244996/32770624 swapFree=0/440340
[pid=4327] ppid=4324 vsize=31404 CPUtime=462.2 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 8241 0 0 0 46220 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4266568 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 31404
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 4361
/proc/meminfo: memFree=31244732/32770624 swapFree=0/440348
[pid=4327] ppid=4324 vsize=31404 CPUtime=522.21 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 8735 0 0 0 52221 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4388501 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31404
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 4364
/proc/meminfo: memFree=31244512/32770624 swapFree=0/440352
[pid=4327] ppid=4324 vsize=31404 CPUtime=582.21 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 9230 0 0 0 58221 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581576 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 31404
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4433
/proc/meminfo: memFree=31243384/32770624 swapFree=0/440548
[pid=4327] ppid=4324 vsize=31404 CPUtime=1602.24 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 17602 0 0 0 160224 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5603515 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 31404
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4435
/proc/meminfo: memFree=31243936/32770624 swapFree=0/440564
[pid=4327] ppid=4324 vsize=31404 CPUtime=1662.24 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 18096 0 0 0 166224 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4399472 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 31404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4437
/proc/meminfo: memFree=31243464/32770624 swapFree=0/440572
[pid=4327] ppid=4324 vsize=31404 CPUtime=1722.24 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 18591 0 0 0 172224 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4582752 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 31404
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4439
/proc/meminfo: memFree=31243836/32770624 swapFree=0/440576
[pid=4327] ppid=4324 vsize=31404 CPUtime=1782.25 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 19085 0 0 0 178225 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4402784 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 31404
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4441
/proc/meminfo: memFree=31243960/32770624 swapFree=0/440596
[pid=4327] ppid=4324 vsize=31404 CPUtime=1842.25 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 19580 0 0 0 184225 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4542489 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 31404
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4443
/proc/meminfo: memFree=31244084/32770624 swapFree=0/440596
[pid=4327] ppid=4324 vsize=31404 CPUtime=1902.25 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 20075 0 0 0 190225 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4543771 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 31404
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4446
/proc/meminfo: memFree=31243572/32770624 swapFree=0/440608
[pid=4327] ppid=4324 vsize=31404 CPUtime=1962.25 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 20570 0 0 0 196225 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581634 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 31404
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 4448
/proc/meminfo: memFree=31243556/32770624 swapFree=0/440616
[pid=4327] ppid=4324 vsize=31404 CPUtime=2022.25 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 21065 0 0 0 202225 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4543758 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 31404
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/190 4465
/proc/meminfo: memFree=31239496/32770624 swapFree=0/440628
[pid=4327] ppid=4324 vsize=31404 CPUtime=2082.26 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 21560 0 0 0 208226 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4542459 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 31404
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4528
/proc/meminfo: memFree=31209364/32770624 swapFree=0/440656
[pid=4327] ppid=4324 vsize=31404 CPUtime=2142.26 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 22054 0 0 0 214226 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4257822 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 31404
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4530
/proc/meminfo: memFree=31210052/32770624 swapFree=0/440648
[pid=4327] ppid=4324 vsize=31404 CPUtime=2202.27 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 22548 0 0 0 220227 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581365 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 31404
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 4533
/proc/meminfo: memFree=31209916/32770624 swapFree=0/440652
[pid=4327] ppid=4324 vsize=31404 CPUtime=2262.26 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 23043 0 0 0 226226 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4406471 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 31404
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4536
/proc/meminfo: memFree=31210148/32770624 swapFree=0/440676
[pid=4327] ppid=4324 vsize=31404 CPUtime=2322.26 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 23537 0 0 0 232226 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5839021 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 31404
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4539
/proc/meminfo: memFree=31209420/32770624 swapFree=0/440676
[pid=4327] ppid=4324 vsize=31404 CPUtime=2382.27 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 24030 0 0 0 238227 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 5616104 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 31404
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4543
/proc/meminfo: memFree=31209908/32770624 swapFree=0/440684
[pid=4327] ppid=4324 vsize=31404 CPUtime=2442.27 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 24523 0 0 0 244227 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4379209 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2442.27
Current children cumulated vsize (KiB) 31404
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4545
/proc/meminfo: memFree=31210032/32770624 swapFree=0/440688
[pid=4327] ppid=4324 vsize=31404 CPUtime=2502.27 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 25018 0 0 0 250227 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4406492 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2502.27
Current children cumulated vsize (KiB) 31404
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4546
/proc/meminfo: memFree=31209536/32770624 swapFree=0/440684
[pid=4327] ppid=4324 vsize=31404 CPUtime=2519.97 cores=0,2,4,6
/proc/4327/stat : 4327 (MistralXCSP) R 4324 4327 9153 0 -1 4202496 25511 0 0 0 251997 0 0 0 20 0 1 0 77651191 32157696 1589 18446744073709551615 4194304 7396336 140727594581408 140727594575848 4581459 0 0 1 16386 0 0 0 17 2 0 0 10 0 0 9496464 9501696 35012608 140727594582450 140727594582600 140727594582600 140727594586057 0
/proc/4327/statm: 7851 1589 759 782 0 867 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 31404
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 4327 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.98
CPU user time (s): 2519.98
CPU system time (s): 0.006
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 31404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.006
maximum resident set size= 6376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25546
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= 3155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94759 second user time and 9.10323 second system time
The end