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-4240141-1500638321/watcher-4240141-1500638321 -o /tmp/evaluation-result-4240141-1500638321/solver-4240141-1500638321 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500623778-4881 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1991629275 HOME/instance-4240141-1500638321.xml
pid=7340
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.05 4/187 7344
/proc/meminfo: memFree=31585736/32770624 swapFree=6452/422212
[pid=7344] ppid=7340 vsize=28800 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 17273974 29491200 737 33554432000 4194304 7402444 140730683866192 140730683865696 140288844623378 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 7200 737 581 784 0 214 0
[startup+0.100114 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7344
/proc/meminfo: memFree=31585736/32770624 swapFree=6452/422212
[pid=7344] ppid=7340 vsize=32252 CPUtime=0.09 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 1864 0 0 0 9 0 0 0 20 0 1 0 17273974 33026048 1614 33554432000 4194304 7402444 140730683866192 140730683859432 5881880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 8063 1614 619 784 0 1077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32252
[startup+0.20027 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7344
/proc/meminfo: memFree=31585736/32770624 swapFree=6452/422212
[pid=7344] ppid=7340 vsize=32640 CPUtime=0.19 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 1980 0 0 0 19 0 0 0 20 0 1 0 17273974 33423360 1702 33554432000 4194304 7402444 140730683866192 140730683859432 6138151 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 8160 1702 632 784 0 1174 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32640
[startup+0.300253 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7344
/proc/meminfo: memFree=31585736/32770624 swapFree=6452/422212
[pid=7344] ppid=7340 vsize=33156 CPUtime=0.29 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 2191 0 0 0 29 0 0 0 20 0 1 0 17273974 33951744 1787 33554432000 4194304 7402444 140730683866192 140730683859432 5889191 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 8289 1787 632 784 0 1303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33156
[startup+0.700204 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7344
/proc/meminfo: memFree=31585736/32770624 swapFree=6452/422212
[pid=7344] ppid=7340 vsize=35112 CPUtime=0.69 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 2858 0 0 0 69 0 0 0 20 0 1 0 17273974 35954688 2274 33554432000 4194304 7402444 140730683866192 140730683859432 5887838 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 8778 2274 632 784 0 1792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35112
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7436
/proc/meminfo: memFree=31578580/32770624 swapFree=6452/422220
[pid=7344] ppid=7340 vsize=38760 CPUtime=1.49 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 3713 0 0 0 148 1 0 0 20 0 1 0 17273974 39690240 3247 33554432000 4194304 7402444 140730683866192 140730683859432 6047234 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 9690 3247 642 784 0 2704 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38760
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7456
/proc/meminfo: memFree=31572904/32770624 swapFree=6452/422208
[pid=7344] ppid=7340 vsize=40400 CPUtime=3.09 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 4745 0 0 0 308 1 0 0 20 0 1 0 17273974 41369600 3686 33554432000 4194304 7402444 140730683866192 140730683856920 6077166 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 10100 3686 681 784 0 3114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40400
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7456
/proc/meminfo: memFree=31568784/32770624 swapFree=6452/422216
[pid=7344] ppid=7340 vsize=43768 CPUtime=6.29 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 6486 0 0 0 628 1 0 0 20 0 1 0 17273974 44818432 4531 33554432000 4194304 7402444 140730683866192 140730683856920 6048386 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 10942 4531 681 784 0 3956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43768
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7456
/proc/meminfo: memFree=31560648/32770624 swapFree=6452/422228
[pid=7344] ppid=7340 vsize=50228 CPUtime=12.68 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 9000 0 0 0 1267 1 0 0 20 0 1 0 17273974 51433472 6097 33554432000 4194304 7402444 140730683866192 140730683856936 6047478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 12557 6097 681 784 0 5571 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50228
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 7456
/proc/meminfo: memFree=31545868/32770624 swapFree=6452/422236
[pid=7344] ppid=7340 vsize=64484 CPUtime=25.48 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 13198 0 0 0 2546 2 0 0 20 0 1 0 17273974 66031616 9687 33554432000 4194304 7402444 140730683866192 140730683856936 6030502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 16121 9687 681 784 0 9135 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64484
[startup+51.1003 s]
/proc/loadavg: 2.18 2.06 2.06 3/190 7456
/proc/meminfo: memFree=31521996/32770624 swapFree=6452/422244
[pid=7344] ppid=7340 vsize=88652 CPUtime=51.07 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 20554 0 0 0 5104 3 0 0 20 0 1 0 17273974 90779648 15701 33554432000 4194304 7402444 140730683866192 140730683856936 140288850822320 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 22163 15701 681 784 0 15177 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88652
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 7464
/proc/meminfo: memFree=31461096/32770624 swapFree=6452/422280
[pid=7344] ppid=7340 vsize=147744 CPUtime=102.26 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 41847 0 0 0 10221 5 0 0 20 0 1 0 17273974 151289856 30610 33554432000 4194304 7402444 140730683866192 140730683860680 5877644 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30610 726 784 0 29950 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 147744
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 7489
/proc/meminfo: memFree=31460476/32770624 swapFree=6452/422316
[pid=7344] ppid=7340 vsize=147744 CPUtime=162.2 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 48470 0 0 0 16214 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 5877832 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 147744
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 7490
/proc/meminfo: memFree=31461752/32770624 swapFree=6452/422344
[pid=7344] ppid=7340 vsize=147744 CPUtime=222.18 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 48904 0 0 0 22212 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 5758736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 147744
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 7491
/proc/meminfo: memFree=31461944/32770624 swapFree=6452/422364
[pid=7344] ppid=7340 vsize=147744 CPUtime=282.14 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 49338 0 0 0 28208 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 4238610 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 147744
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 7493
/proc/meminfo: memFree=31461500/32770624 swapFree=6452/422396
[pid=7344] ppid=7340 vsize=147744 CPUtime=342.11 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 49772 0 0 0 34205 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 4709394 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 147744
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 7494
/proc/meminfo: memFree=31461280/32770624 swapFree=6452/422416
[pid=7344] ppid=7340 vsize=147744 CPUtime=402.07 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 50205 0 0 0 40201 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 4747338 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 147744
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7496
/proc/meminfo: memFree=31461200/32770624 swapFree=6428/422456
[pid=7344] ppid=7340 vsize=147744 CPUtime=462.04 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 50640 0 0 0 46198 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 5758736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 147744
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7497
/proc/meminfo: memFree=31461388/32770624 swapFree=6428/422476
[pid=7344] ppid=7340 vsize=147744 CPUtime=522.01 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 51074 0 0 0 52195 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 4238508 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 147744
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 7498
/proc/meminfo: memFree=31461400/32770624 swapFree=6428/422500
[pid=7344] ppid=7340 vsize=147744 CPUtime=581.98 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 51508 0 0 0 58192 6 0 0 20 0 1 0 17273974 151289856 30663 33554432000 4194304 7402444 140730683866192 140730683860680 4239142 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36936 30663 732 784 0 29950 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 147744
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.15 2.05 2.06 3/191 7534
/proc/meminfo: memFree=31461488/32770624 swapFree=6428/422908
[pid=7344] ppid=7340 vsize=147880 CPUtime=1541.46 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 58464 0 0 0 154140 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5877690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 147880
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 7536
/proc/meminfo: memFree=31461496/32770624 swapFree=6428/422936
[pid=7344] ppid=7340 vsize=147880 CPUtime=1601.43 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 58898 0 0 0 160137 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758830 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 147880
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 7537
/proc/meminfo: memFree=31461260/32770624 swapFree=6428/422968
[pid=7344] ppid=7340 vsize=147880 CPUtime=1661.41 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 59331 0 0 0 166135 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 4708318 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 147880
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 7538
/proc/meminfo: memFree=31461176/32770624 swapFree=6428/422988
[pid=7344] ppid=7340 vsize=147880 CPUtime=1721.39 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 59632 0 0 0 172133 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 4248926 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 147880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7541
/proc/meminfo: memFree=31461188/32770624 swapFree=6428/423020
[pid=7344] ppid=7340 vsize=147880 CPUtime=1781.36 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 60200 0 0 0 178130 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5877690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 147880
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7542
/proc/meminfo: memFree=31461112/32770624 swapFree=6428/423040
[pid=7344] ppid=7340 vsize=147880 CPUtime=1841.33 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 60635 0 0 0 184127 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758830 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1841.33
Current children cumulated vsize (KiB) 147880
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7551
/proc/meminfo: memFree=31460492/32770624 swapFree=6428/423080
[pid=7344] ppid=7340 vsize=147880 CPUtime=1901.29 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 61070 0 0 0 190123 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1901.29
Current children cumulated vsize (KiB) 147880
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7552
/proc/meminfo: memFree=31460628/32770624 swapFree=6428/423108
[pid=7344] ppid=7340 vsize=147880 CPUtime=1961.26 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 61505 0 0 0 196120 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 4708318 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 1961.26
Current children cumulated vsize (KiB) 147880
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 7553
/proc/meminfo: memFree=31460524/32770624 swapFree=6428/423128
[pid=7344] ppid=7340 vsize=147880 CPUtime=2021.23 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 61940 0 0 0 202117 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2021.23
Current children cumulated vsize (KiB) 147880
[startup+2082.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/191 7554
/proc/meminfo: memFree=31460660/32770624 swapFree=6428/423152
[pid=7344] ppid=7340 vsize=147880 CPUtime=2081.21 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 62375 0 0 0 208115 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5877676 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2081.21
Current children cumulated vsize (KiB) 147880
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 7555
/proc/meminfo: memFree=31460644/32770624 swapFree=6428/423172
[pid=7344] ppid=7340 vsize=147880 CPUtime=2141.17 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 62810 0 0 0 214111 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2141.17
Current children cumulated vsize (KiB) 147880
[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 7557
/proc/meminfo: memFree=31460796/32770624 swapFree=6428/423196
[pid=7344] ppid=7340 vsize=147880 CPUtime=2201.15 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 63245 0 0 0 220109 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 4239238 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2201.15
Current children cumulated vsize (KiB) 147880
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 7558
/proc/meminfo: memFree=31460620/32770624 swapFree=6428/423224
[pid=7344] ppid=7340 vsize=147880 CPUtime=2261.11 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 63680 0 0 0 226105 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5327250 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2261.11
Current children cumulated vsize (KiB) 147880
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7559
/proc/meminfo: memFree=31460536/32770624 swapFree=6428/423248
[pid=7344] ppid=7340 vsize=147880 CPUtime=2321.08 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 64115 0 0 0 232102 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2321.08
Current children cumulated vsize (KiB) 147880
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7560
/proc/meminfo: memFree=31460356/32770624 swapFree=6428/423272
[pid=7344] ppid=7340 vsize=147880 CPUtime=2381.04 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 64550 0 0 0 238098 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5877659 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2381.04
Current children cumulated vsize (KiB) 147880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7560
/proc/meminfo: memFree=31460480/32770624 swapFree=6428/423276
[pid=7344] ppid=7340 vsize=147880 CPUtime=2400.04 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 64921 0 0 0 239998 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 147880
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 7344 sig 9
??? kill -7344 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7560
/proc/meminfo: memFree=31460480/32770624 swapFree=6428/423276
[pid=7344] ppid=7340 vsize=147880 CPUtime=2400.04 cores=1,3,5,7
/proc/7344/stat : 7344 (MistralXCSP) R 7340 7344 4849 0 -1 4202496 64921 0 0 0 239998 6 0 0 20 0 1 0 17273974 151429120 30665 33554432000 4194304 7402444 140730683866192 140730683860824 5758807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24805376 140730683872424 140730683872574 140730683872574 140730683875273 0
/proc/7344/statm: 36970 30665 732 784 0 29984 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 147880
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.05
CPU user time (s): 2399.99
CPU system time (s): 0.069964
CPU usage (%): 99.9478
Max. virtual memory (cumulated for all children) (KiB): 147880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.069964
maximum resident set size= 122692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64960
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= 45
involuntary context switches= 120152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68992 second user time and 10.0451 second system time
The end