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-4241754-1500652990/watcher-4241754-1500652990 -o /tmp/evaluation-result-4241754-1500652990/solver-4241754-1500652990 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2479 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 528513569 HOME/instance-4241754-1500652990.xml
pid=3348
running on 8 cores: 1,3,5,7,9,11,13,15
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.02 2.04 2.01 1/237 3352
/proc/meminfo: memFree=32040896/32770624 swapFree=5800/212604
[pid=3352] ppid=3348 vsize=28804 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 1022 0 0 0 1 0 0 0 20 0 1 0 566714 29495296 802 33554432000 4194304 7402444 140725930454064 140725930451112 6048038 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 7201 802 618 784 0 215 0
[startup+0.100172 s]
/proc/loadavg: 2.02 2.04 2.01 1/237 3352
/proc/meminfo: memFree=32040896/32770624 swapFree=5800/212604
[pid=3352] ppid=3348 vsize=28928 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 1089 0 0 0 9 0 0 0 20 0 1 0 566714 29622272 921 33554432000 4194304 7402444 140725930454064 140725930442872 6069320 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 7232 921 716 784 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28928
[startup+0.200263 s]
/proc/loadavg: 2.02 2.04 2.01 1/237 3352
/proc/meminfo: memFree=32040896/32770624 swapFree=5800/212604
[pid=3352] ppid=3348 vsize=28928 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 1117 0 0 0 19 0 0 0 20 0 1 0 566714 29622272 921 33554432000 4194304 7402444 140725930454064 140725930444760 140251648408150 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 7232 921 716 784 0 246 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28928
[startup+0.300213 s]
/proc/loadavg: 2.02 2.04 2.01 1/237 3352
/proc/meminfo: memFree=32040896/32770624 swapFree=5800/212604
[pid=3352] ppid=3348 vsize=29052 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 1148 0 0 0 29 0 0 0 20 0 1 0 566714 29749248 952 33554432000 4194304 7402444 140725930454064 140725930444760 4222704 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 7263 952 716 784 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29052
[startup+0.700201 s]
/proc/loadavg: 2.02 2.04 2.01 1/237 3352
/proc/meminfo: memFree=32040896/32770624 swapFree=5800/212604
[pid=3352] ppid=3348 vsize=55800 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 8231 0 0 0 68 1 0 0 20 0 1 0 566714 57139200 7639 33554432000 4194304 7402444 140725930454064 140725930444664 4731653 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 13950 7639 740 784 0 6964 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55800
[startup+1.50021 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 3367
/proc/meminfo: memFree=31947064/32770624 swapFree=5800/212584
[pid=3352] ppid=3348 vsize=84156 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 15015 0 0 0 147 2 0 0 20 0 1 0 566714 86175744 14717 33554432000 4194304 7402444 140725930454064 140725930444664 4731648 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 21039 14717 740 784 0 14053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84156
[startup+3.10021 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 3367
/proc/meminfo: memFree=31898424/32770624 swapFree=5800/212848
[pid=3352] ppid=3348 vsize=109068 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 22242 0 0 0 306 3 0 0 20 0 1 0 566714 111685632 20945 33554432000 4194304 7402444 140725930454064 140725930444664 4731639 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 27267 20945 740 784 0 20281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109068
[startup+6.30022 s]
/proc/loadavg: 1.94 2.02 2.00 3/243 3367
/proc/meminfo: memFree=31777708/32770624 swapFree=5800/212852
[pid=3352] ppid=3348 vsize=161404 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 48700 0 0 0 623 5 0 0 20 0 1 0 566714 165277696 34010 33554432000 4194304 7402444 140725930454064 140725930444664 4731648 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 40351 34010 740 784 0 33365 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 161404
[startup+12.7002 s]
/proc/loadavg: 1.94 2.02 2.00 3/243 3367
/proc/meminfo: memFree=31671752/32770624 swapFree=5800/212868
[pid=3352] ppid=3348 vsize=210796 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 62843 0 0 0 1261 7 0 0 20 0 1 0 566714 215855104 46387 33554432000 4194304 7402444 140725930454064 140725930444664 4731632 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 52699 46387 741 784 0 45713 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 210796
[startup+25.5004 s]
/proc/loadavg: 1.96 2.02 2.00 3/243 3367
/proc/meminfo: memFree=31479708/32770624 swapFree=5800/212868
[pid=3352] ppid=3348 vsize=294984 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 132635 0 0 0 2536 11 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 294984
[startup+51.1005 s]
/proc/loadavg: 1.97 2.02 2.00 3/243 3367
/proc/meminfo: memFree=31479228/32770624 swapFree=5800/212640
[pid=3352] ppid=3348 vsize=294984 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 151234 0 0 0 5092 12 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 5818571 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 294984
[startup+102.3 s]
/proc/loadavg: 2.12 2.04 2.02 3/243 3368
/proc/meminfo: memFree=31478804/32770624 swapFree=5800/212728
[pid=3352] ppid=3348 vsize=294984 CPUtime=102.18 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 155337 0 0 0 10206 12 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4320072 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 294984
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.02 3/243 3369
/proc/meminfo: memFree=31476544/32770624 swapFree=5800/212728
[pid=3352] ppid=3348 vsize=294984 CPUtime=162.13 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 156402 0 0 0 16201 12 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 5818571 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 294984
[startup+222.308 s]
/proc/loadavg: 2.11 2.06 2.03 3/243 3370
/proc/meminfo: memFree=31475832/32770624 swapFree=5796/212808
[pid=3352] ppid=3348 vsize=294984 CPUtime=222.1 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 157461 0 0 0 22198 12 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 294984
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.03 3/243 3371
/proc/meminfo: memFree=31475180/32770624 swapFree=5796/212808
[pid=3352] ppid=3348 vsize=294984 CPUtime=282.06 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 158519 0 0 0 28193 13 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4239193 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 294984
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/242 3372
/proc/meminfo: memFree=31477728/32770624 swapFree=5800/212856
[pid=3352] ppid=3348 vsize=294984 CPUtime=342.02 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 159574 0 0 0 34189 13 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4237728 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 294984
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/243 3374
/proc/meminfo: memFree=31476548/32770624 swapFree=5800/212856
[pid=3352] ppid=3348 vsize=294984 CPUtime=401.98 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 160636 0 0 0 40185 13 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4248926 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 294984
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/243 3382
/proc/meminfo: memFree=31477108/32770624 swapFree=5800/212900
[pid=3352] ppid=3348 vsize=294984 CPUtime=461.94 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 161689 0 0 0 46181 13 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342315 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 294984
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.03 4/243 3383
/proc/meminfo: memFree=31476956/32770624 swapFree=5800/212900
[pid=3352] ppid=3348 vsize=294984 CPUtime=521.91 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 162742 0 0 0 52177 14 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 294984
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.03 3/243 3384
/proc/meminfo: memFree=31477232/32770624 swapFree=5800/212900
[pid=3352] ppid=3348 vsize=294984 CPUtime=581.87 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 163800 0 0 0 58173 14 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 294984
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3408
/proc/meminfo: memFree=31476944/32770624 swapFree=5800/213340
[pid=3352] ppid=3348 vsize=294984 CPUtime=1481.3 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 179617 0 0 0 148113 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342315 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 294984
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3410
/proc/meminfo: memFree=31475344/32770624 swapFree=5800/213452
[pid=3352] ppid=3348 vsize=294984 CPUtime=1541.27 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 180666 0 0 0 154110 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342254 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1541.27
Current children cumulated vsize (KiB) 294984
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 3411
/proc/meminfo: memFree=31476036/32770624 swapFree=5800/213480
[pid=3352] ppid=3348 vsize=294984 CPUtime=1601.22 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 181723 0 0 0 160105 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342315 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 294984
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 3419
/proc/meminfo: memFree=31475736/32770624 swapFree=5800/213492
[pid=3352] ppid=3348 vsize=294984 CPUtime=1661.18 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 182774 0 0 0 166101 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4341748 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 294984
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 3420
/proc/meminfo: memFree=31475632/32770624 swapFree=5800/213492
[pid=3352] ppid=3348 vsize=294984 CPUtime=1721.14 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 183833 0 0 0 172097 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 294984
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 3421
/proc/meminfo: memFree=31475852/32770624 swapFree=5800/213492
[pid=3352] ppid=3348 vsize=294984 CPUtime=1781.1 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 184885 0 0 0 178093 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 5327204 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1781.1
Current children cumulated vsize (KiB) 294984
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 3422
/proc/meminfo: memFree=31476236/32770624 swapFree=5800/213604
[pid=3352] ppid=3348 vsize=294984 CPUtime=1841.06 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 185944 0 0 0 184089 17 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1841.06
Current children cumulated vsize (KiB) 294984
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 3423
/proc/meminfo: memFree=31474744/32770624 swapFree=5800/213604
[pid=3352] ppid=3348 vsize=294984 CPUtime=1901.03 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 186997 0 0 0 190085 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 5871456 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1901.03
Current children cumulated vsize (KiB) 294984
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3424
/proc/meminfo: memFree=31474856/32770624 swapFree=5800/213604
[pid=3352] ppid=3348 vsize=294984 CPUtime=1960.99 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 188050 0 0 0 196081 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4537271 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 1960.99
Current children cumulated vsize (KiB) 294984
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3425
/proc/meminfo: memFree=31474696/32770624 swapFree=5800/213604
[pid=3352] ppid=3348 vsize=294984 CPUtime=2020.95 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 189105 0 0 0 202077 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2020.95
Current children cumulated vsize (KiB) 294984
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 3426
/proc/meminfo: memFree=31474600/32770624 swapFree=5800/213604
[pid=3352] ppid=3348 vsize=294984 CPUtime=2080.92 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 190156 0 0 0 208074 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2080.92
Current children cumulated vsize (KiB) 294984
[startup+2142.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 3427
/proc/meminfo: memFree=31475292/32770624 swapFree=5800/213744
[pid=3352] ppid=3348 vsize=294984 CPUtime=2140.87 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 191209 0 0 0 214069 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342254 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2140.87
Current children cumulated vsize (KiB) 294984
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 3428
/proc/meminfo: memFree=31475616/32770624 swapFree=5800/213744
[pid=3352] ppid=3348 vsize=294984 CPUtime=2200.84 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 192262 0 0 0 220066 18 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4248978 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2200.84
Current children cumulated vsize (KiB) 294984
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 3437
/proc/meminfo: memFree=31476184/32770624 swapFree=5800/213780
[pid=3352] ppid=3348 vsize=294984 CPUtime=2260.8 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 193315 0 0 0 226061 19 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4320048 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2260.8
Current children cumulated vsize (KiB) 294984
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/244 3438
/proc/meminfo: memFree=31475280/32770624 swapFree=5800/213780
[pid=3352] ppid=3348 vsize=294984 CPUtime=2320.76 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 194366 0 0 0 232057 19 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4342315 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2320.76
Current children cumulated vsize (KiB) 294984
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 3439
/proc/meminfo: memFree=31475048/32770624 swapFree=5800/213780
[pid=3352] ppid=3348 vsize=294984 CPUtime=2380.73 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 195420 0 0 0 238054 19 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2380.73
Current children cumulated vsize (KiB) 294984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 3439
/proc/meminfo: memFree=31475048/32770624 swapFree=5800/213780
[pid=3352] ppid=3348 vsize=294984 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/3352/stat : 3352 (MistralXCSP) R 3348 3352 2447 0 -1 4202496 195420 0 0 0 239982 19 0 0 20 0 1 0 566714 302063616 67499 33554432000 4194304 7402444 140725930454064 140725930449080 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 29577216 140725930460329 140725930460478 140725930460478 140725930463177 0
/proc/3352/statm: 73746 67499 779 784 0 66760 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 294984
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 3352 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.6
CPU time (s): 2400.02
CPU user time (s): 2399.83
CPU system time (s): 0.193877
CPU usage (%): 99.9343
Max. virtual memory (cumulated for all children) (KiB): 305428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.83
system time used= 0.193877
maximum resident set size= 280452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195458
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= 82
involuntary context switches= 120781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54359 second user time and 16.4512 second system time
The end