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-4242847-1500662647/watcher-4242847-1500662647 -o /tmp/evaluation-result-4242847-1500662647/solver-4242847-1500662647 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500648178-9872 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2103734610 HOME/instance-4242847-1500662647.xml
pid=11600
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.00 2.01 2.05 3/242 11603
/proc/meminfo: memFree=25486072/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=28928 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1016 0 0 0 1 0 0 0 20 0 1 0 1534735 29622272 820 33554432000 4194304 7402444 140721985617248 140721985612632 139649263373285 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 7232 820 617 784 0 246 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11603
/proc/meminfo: memFree=25486072/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=40348 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 3946 0 0 0 9 0 0 0 20 0 1 0 1534735 41316352 3708 33554432000 4194304 7402444 140721985617248 140721985607784 5924296 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 10087 3708 676 784 0 3101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40348
[startup+0.200411 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11603
/proc/meminfo: memFree=25486072/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=51380 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 6981 0 0 0 18 1 0 0 20 0 1 0 1534735 52613120 6479 33554432000 4194304 7402444 140721985617248 140721985608392 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 12845 6479 689 784 0 5859 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51380
[startup+0.300332 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11603
/proc/meminfo: memFree=25486072/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=57800 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 8627 0 0 0 28 1 0 0 20 0 1 0 1534735 59187200 8068 33554432000 4194304 7402444 140721985617248 140721985608008 139649263373285 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 14508 8134 689 784 0 7522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57800
[startup+0.700294 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11603
/proc/meminfo: memFree=25486072/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=80272 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 13423 0 0 0 67 2 0 0 20 0 1 0 1534735 82198528 13680 33554432000 4194304 7402444 140721985617248 140721985607992 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 20068 13680 689 784 0 13082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80272
[startup+1.50026 s]
/proc/loadavg: 1.84 1.98 2.03 3/243 11604
/proc/meminfo: memFree=25425864/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=98152 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 18038 0 0 0 147 2 0 0 20 0 1 0 1534735 100507648 18166 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 24538 18166 689 784 0 17552 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98152
[startup+3.10024 s]
/proc/loadavg: 1.84 1.98 2.03 3/243 11604
/proc/meminfo: memFree=25404240/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=120468 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 27579 0 0 0 306 3 0 0 20 0 1 0 1534735 123359232 23710 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 30117 23710 689 784 0 23131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120468
[startup+6.30022 s]
/proc/loadavg: 1.84 1.98 2.03 3/243 11604
/proc/meminfo: memFree=25345564/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=171864 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 56263 0 0 0 623 6 0 0 20 0 1 0 1534735 175988736 36616 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 42966 36616 689 784 0 35980 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171864
[startup+12.7002 s]
/proc/loadavg: 1.87 1.98 2.03 4/243 11604
/proc/meminfo: memFree=25293976/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=221832 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 73758 0 0 0 1262 7 0 0 20 0 1 0 1534735 227155968 49106 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 55458 49106 689 784 0 48472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221832
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/243 11604
/proc/meminfo: memFree=25228060/32770624 swapFree=5912/217004
[pid=11603] ppid=11600 vsize=284364 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 99368 0 0 0 2539 9 0 0 20 0 1 0 1534735 291188736 64772 33554432000 4194304 7402444 140721985617248 140721985608008 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 71091 64772 689 784 0 64105 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 284364
[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 2.03 3/243 11604
/proc/meminfo: memFree=25083816/32770624 swapFree=5912/217092
[pid=11603] ppid=11600 vsize=430572 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 170482 0 0 0 5092 16 0 0 20 0 1 0 1534735 440905728 101282 33554432000 4194304 7402444 140721985617248 140721985608008 4731642 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 107643 101282 689 784 0 100657 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 430572
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/243 11605
/proc/meminfo: memFree=24932824/32770624 swapFree=5912/217092
[pid=11603] ppid=11600 vsize=577604 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 209805 0 0 0 10206 21 0 0 20 0 1 0 1534735 591466496 138004 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 144401 138004 689 784 0 137415 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 577604
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/243 11606
/proc/meminfo: memFree=24822996/32770624 swapFree=5912/217092
[pid=11603] ppid=11600 vsize=692896 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 241981 0 0 0 16200 25 0 0 20 0 1 0 1534735 709525504 166853 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 173224 166853 689 784 0 166238 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 692896
[startup+222.308 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11607
/proc/meminfo: memFree=24741716/32770624 swapFree=5912/217168
[pid=11603] ppid=11600 vsize=769300 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 268723 0 0 0 22196 28 0 0 20 0 1 0 1534735 787763200 185980 33554432000 4194304 7402444 140721985617248 140721985608008 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 192325 185980 689 784 0 185339 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 769300
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11608
/proc/meminfo: memFree=24550556/32770624 swapFree=5912/217232
[pid=11603] ppid=11600 vsize=959772 CPUtime=282.21 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 446927 0 0 0 28183 38 0 0 20 0 1 0 1534735 982806528 233660 33554432000 4194304 7402444 140721985617248 140721985612344 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 239943 233660 755 784 0 232957 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 959772
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11609
/proc/meminfo: memFree=24544012/32770624 swapFree=5912/217244
[pid=11603] ppid=11600 vsize=966968 CPUtime=342.18 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 511552 0 0 0 34177 41 0 0 20 0 1 0 1534735 990175232 235467 33554432000 4194304 7402444 140721985617248 140721985611816 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241742 235467 763 784 0 234756 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 966968
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11617
/proc/meminfo: memFree=24542680/32770624 swapFree=5912/217244
[pid=11603] ppid=11600 vsize=966968 CPUtime=402.15 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 600836 0 0 0 40168 47 0 0 20 0 1 0 1534735 990175232 235467 33554432000 4194304 7402444 140721985617248 140721985611816 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241742 235467 763 784 0 234756 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 966968
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11618
/proc/meminfo: memFree=24543508/32770624 swapFree=5912/217352
[pid=11603] ppid=11600 vsize=966836 CPUtime=462.11 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 688423 0 0 0 46160 51 0 0 20 0 1 0 1534735 990040064 235434 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235434 763 784 0 234723 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 966836
[startup+522.3 s]
/proc/loadavg: 2.10 2.02 2.05 3/243 11619
/proc/meminfo: memFree=24543160/32770624 swapFree=5912/217352
[pid=11603] ppid=11600 vsize=966836 CPUtime=522.07 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 804444 0 0 0 52151 56 0 0 20 0 1 0 1534735 990040064 235435 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235435 764 784 0 234723 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 966836
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/243 11620
/proc/meminfo: memFree=24543472/32770624 swapFree=5912/217420
[pid=11603] ppid=11600 vsize=966836 CPUtime=582.04 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 912680 0 0 0 58143 61 0 0 20 0 1 0 1534735 990040064 235435 33554432000 4194304 7402444 140721985617248 140721985612424 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235435 764 784 0 234723 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 966836
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11732
/proc/meminfo: memFree=31039000/32770624 swapFree=5912/218024
[pid=11603] ppid=11600 vsize=966836 CPUtime=1481.25 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1705209 0 0 0 148019 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5747568 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1481.25
Current children cumulated vsize (KiB) 966836
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11733
/proc/meminfo: memFree=31039400/32770624 swapFree=5912/218060
[pid=11603] ppid=11600 vsize=966836 CPUtime=1541.22 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1706358 0 0 0 154016 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 4239179 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1541.22
Current children cumulated vsize (KiB) 966836
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/244 11742
/proc/meminfo: memFree=31039516/32770624 swapFree=5912/218060
[pid=11603] ppid=11600 vsize=966836 CPUtime=1601.16 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1706986 0 0 0 160010 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 966836
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 11743
/proc/meminfo: memFree=31039640/32770624 swapFree=5912/218140
[pid=11603] ppid=11600 vsize=966836 CPUtime=1661.12 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1708145 0 0 0 166006 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1661.12
Current children cumulated vsize (KiB) 966836
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 11744
/proc/meminfo: memFree=31039804/32770624 swapFree=5912/218140
[pid=11603] ppid=11600 vsize=966836 CPUtime=1721.07 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1709284 0 0 0 172001 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5747610 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1721.07
Current children cumulated vsize (KiB) 966836
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 11745
/proc/meminfo: memFree=31040328/32770624 swapFree=5912/218216
[pid=11603] ppid=11600 vsize=966836 CPUtime=1781.03 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1710420 0 0 0 177997 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5746100 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1781.03
Current children cumulated vsize (KiB) 966836
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 11746
/proc/meminfo: memFree=31040400/32770624 swapFree=5912/218216
[pid=11603] ppid=11600 vsize=966836 CPUtime=1840.99 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1711524 0 0 0 183993 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1840.99
Current children cumulated vsize (KiB) 966836
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11747
/proc/meminfo: memFree=31040148/32770624 swapFree=5912/218296
[pid=11603] ppid=11600 vsize=966836 CPUtime=1900.94 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1713705 0 0 0 189988 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 4748090 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1900.94
Current children cumulated vsize (KiB) 966836
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11748
/proc/meminfo: memFree=31040376/32770624 swapFree=5912/218296
[pid=11603] ppid=11600 vsize=966836 CPUtime=1960.9 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1714350 0 0 0 195984 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 1960.9
Current children cumulated vsize (KiB) 966836
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11749
/proc/meminfo: memFree=31039996/32770624 swapFree=5912/218372
[pid=11603] ppid=11600 vsize=966836 CPUtime=2020.86 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1716581 0 0 0 201980 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2020.86
Current children cumulated vsize (KiB) 966836
[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 11750
/proc/meminfo: memFree=31039996/32770624 swapFree=5912/218436
[pid=11603] ppid=11600 vsize=966836 CPUtime=2080.82 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1717239 0 0 0 207976 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5747600 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2080.82
Current children cumulated vsize (KiB) 966836
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11751
/proc/meminfo: memFree=31039784/32770624 swapFree=5912/218448
[pid=11603] ppid=11600 vsize=966836 CPUtime=2140.77 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1718699 0 0 0 213971 106 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2140.77
Current children cumulated vsize (KiB) 966836
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11759
/proc/meminfo: memFree=31039592/32770624 swapFree=5912/218448
[pid=11603] ppid=11600 vsize=966836 CPUtime=2200.74 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1720189 0 0 0 219967 107 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2200.74
Current children cumulated vsize (KiB) 966836
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11760
/proc/meminfo: memFree=31039600/32770624 swapFree=5912/218492
[pid=11603] ppid=11600 vsize=966836 CPUtime=2260.69 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1721616 0 0 0 225962 107 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2260.69
Current children cumulated vsize (KiB) 966836
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11761
/proc/meminfo: memFree=31040248/32770624 swapFree=5912/218492
[pid=11603] ppid=11600 vsize=966836 CPUtime=2320.64 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1722754 0 0 0 231957 107 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2320.64
Current children cumulated vsize (KiB) 966836
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11762
/proc/meminfo: memFree=31040236/32770624 swapFree=5912/218568
[pid=11603] ppid=11600 vsize=966836 CPUtime=2380.6 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1723823 0 0 0 237953 107 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2380.6
Current children cumulated vsize (KiB) 966836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11762
/proc/meminfo: memFree=31040236/32770624 swapFree=5912/218568
[pid=11603] ppid=11600 vsize=966836 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (MistralXCSP) R 11600 11603 9838 0 -1 4202496 1723946 0 0 0 239902 107 0 0 20 0 1 0 1534735 990040064 235437 33554432000 4194304 7402444 140721985617248 140721985612424 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 10809344 140721985619112 140721985619262 140721985619262 140721985621961 0
/proc/11603/statm: 241709 235437 765 784 0 234723 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 966836
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 11603 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.8
CPU time (s): 2400.1
CPU user time (s): 2399.02
CPU system time (s): 1.07831
CPU usage (%): 99.929
Max. virtual memory (cumulated for all children) (KiB): 966968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.02
system time used= 1.07831
maximum resident set size= 972008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1723984
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= 257
involuntary context switches= 122061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37839 second user time and 12.3958 second system time
The end