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-4242844-1500662623/watcher-4242844-1500662623 -o /tmp/evaluation-result-4242844-1500662623/solver-4242844-1500662623 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1576342619 HOME/instance-4242844-1500662623.xml
pid=11830
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.06 2.03 2.05 3/243 11833
/proc/meminfo: memFree=31946172/32770624 swapFree=5920/192360
[pid=11833] ppid=11830 vsize=29196 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 1068 0 0 0 1 0 0 0 20 0 1 0 1531251 29896704 868 33554432000 4194304 7402444 140735944709152 140735944708344 140111974550501 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 7299 868 621 784 0 313 0
[startup+0.100172 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11833
/proc/meminfo: memFree=31946172/32770624 swapFree=5920/192360
[pid=11833] ppid=11830 vsize=39876 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 3897 0 0 0 9 0 0 0 20 0 1 0 1531251 40833024 3621 33554432000 4194304 7402444 140735944709152 140735944700168 4731653 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 9969 3621 689 784 0 2983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39876
[startup+0.200395 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11833
/proc/meminfo: memFree=31946172/32770624 swapFree=5920/192360
[pid=11833] ppid=11830 vsize=48816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 6365 0 0 0 18 1 0 0 20 0 1 0 1531251 49987584 5803 33554432000 4194304 7402444 140735944709152 140735944699912 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 12204 5803 689 784 0 5218 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 48816
[startup+0.300341 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11833
/proc/meminfo: memFree=31946172/32770624 swapFree=5920/192360
[pid=11833] ppid=11830 vsize=53676 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 7645 0 0 0 28 1 0 0 20 0 1 0 1531251 54964224 7042 33554432000 4194304 7402444 140735944709152 140735944699912 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 13419 7042 689 784 0 6433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53676
[startup+0.700277 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11833
/proc/meminfo: memFree=31946172/32770624 swapFree=5920/192360
[pid=11833] ppid=11830 vsize=75200 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 12719 0 0 0 67 2 0 0 20 0 1 0 1531251 77004800 12427 33554432000 4194304 7402444 140735944709152 140735944699896 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 18800 12427 689 784 0 11814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75200
[startup+1.50022 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31874728/32770624 swapFree=5920/192416
[pid=11833] ppid=11830 vsize=92828 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 17271 0 0 0 147 2 0 0 20 0 1 0 1531251 95055872 16814 33554432000 4194304 7402444 140735944709152 140735944699912 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 23207 16814 689 784 0 16221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92828
[startup+3.10022 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31804388/32770624 swapFree=5920/192416
[pid=11833] ppid=11830 vsize=115956 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 25260 0 0 0 306 3 0 0 20 0 1 0 1531251 118738944 22606 33554432000 4194304 7402444 140735944709152 140735944699912 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 28989 22606 689 784 0 22003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115956
[startup+6.30021 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31738924/32770624 swapFree=5920/192368
[pid=11833] ppid=11830 vsize=165560 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 52401 0 0 0 624 5 0 0 20 0 1 0 1531251 169533440 35006 33554432000 4194304 7402444 140735944709152 140735944699912 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 41390 35006 689 784 0 34404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165560
[startup+12.7002 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11834
/proc/meminfo: memFree=31639060/32770624 swapFree=5920/192372
[pid=11833] ppid=11830 vsize=215048 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 68294 0 0 0 1262 7 0 0 20 0 1 0 1531251 220209152 47374 33554432000 4194304 7402444 140735944709152 140735944699912 4731472 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 53762 47374 689 784 0 46776 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 215048
[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 2.05 3/244 11834
/proc/meminfo: memFree=31499468/32770624 swapFree=5920/192384
[pid=11833] ppid=11830 vsize=287584 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 139291 0 0 0 2537 11 0 0 20 0 1 0 1531251 294486016 65626 33554432000 4194304 7402444 140735944709152 140735944704504 5327353 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 71896 65626 755 784 0 64910 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 287584
[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.05 3/244 11834
/proc/meminfo: memFree=31330148/32770624 swapFree=5920/192404
[pid=11833] ppid=11830 vsize=314896 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 189088 0 0 0 5093 14 0 0 20 0 1 0 1531251 322453504 72464 33554432000 4194304 7402444 140735944709152 140735944703720 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78724 72464 765 784 0 71738 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 314896
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 11835
/proc/meminfo: memFree=31187044/32770624 swapFree=5920/192428
[pid=11833] ppid=11830 vsize=315508 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 225209 0 0 0 10209 16 0 0 20 0 1 0 1531251 323080192 72617 33554432000 4194304 7402444 140735944709152 140735944703816 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78877 72617 765 784 0 71891 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 315508
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11836
/proc/meminfo: memFree=31097548/32770624 swapFree=5920/192452
[pid=11833] ppid=11830 vsize=315508 CPUtime=162.2 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 263355 0 0 0 16202 18 0 0 20 0 1 0 1531251 323080192 72617 33554432000 4194304 7402444 140735944709152 140735944703816 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78877 72617 765 784 0 71891 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 315508
[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11837
/proc/meminfo: memFree=31022012/32770624 swapFree=5920/192480
[pid=11833] ppid=11830 vsize=315508 CPUtime=222.17 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 302407 0 0 0 22197 20 0 0 20 0 1 0 1531251 323080192 72617 33554432000 4194304 7402444 140735944709152 140735944703816 4239179 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78877 72617 765 784 0 71891 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 315508
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11838
/proc/meminfo: memFree=30567464/32770624 swapFree=5920/192504
[pid=11833] ppid=11830 vsize=315508 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 339875 0 0 0 28191 22 0 0 20 0 1 0 1531251 323080192 72617 33554432000 4194304 7402444 140735944709152 140735944703816 4248926 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78877 72617 765 784 0 71891 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 315508
[startup+342.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 11839
/proc/meminfo: memFree=30567520/32770624 swapFree=5920/192540
[pid=11833] ppid=11830 vsize=315508 CPUtime=342.09 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 377543 0 0 0 34186 23 0 0 20 0 1 0 1531251 323080192 72617 33554432000 4194304 7402444 140735944709152 140735944703816 4537271 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78877 72617 765 784 0 71891 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 315508
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 11848
/proc/meminfo: memFree=30566748/32770624 swapFree=5920/192576
[pid=11833] ppid=11830 vsize=315772 CPUtime=402.06 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 415171 0 0 0 40181 25 0 0 20 0 1 0 1531251 323350528 72691 33554432000 4194304 7402444 140735944709152 140735944703656 4709606 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78943 72691 765 784 0 71957 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 315772
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 11849
/proc/meminfo: memFree=30550292/32770624 swapFree=5920/192608
[pid=11833] ppid=11830 vsize=315772 CPUtime=462.02 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 452880 0 0 0 46175 27 0 0 20 0 1 0 1531251 323350528 72691 33554432000 4194304 7402444 140735944709152 140735944703656 5747585 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78943 72691 765 784 0 71957 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 315772
[startup+522.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/244 11850
/proc/meminfo: memFree=30503808/32770624 swapFree=5920/192628
[pid=11833] ppid=11830 vsize=315772 CPUtime=521.99 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 490382 0 0 0 52170 29 0 0 20 0 1 0 1531251 323350528 72691 33554432000 4194304 7402444 140735944709152 140735944703656 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78943 72691 765 784 0 71957 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 315772
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 11851
/proc/meminfo: memFree=30460684/32770624 swapFree=5920/192656
[pid=11833] ppid=11830 vsize=315772 CPUtime=581.96 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 527779 0 0 0 58165 31 0 0 20 0 1 0 1531251 323350528 72691 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78943 72691 765 784 0 71957 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 315772
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11897
/proc/meminfo: memFree=29941268/32770624 swapFree=5920/193100
[pid=11833] ppid=11830 vsize=315904 CPUtime=1481.38 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 728105 0 0 0 148095 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 4248978 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1481.38
Current children cumulated vsize (KiB) 315904
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11898
/proc/meminfo: memFree=29941640/32770624 swapFree=5920/193128
[pid=11833] ppid=11830 vsize=315904 CPUtime=1541.35 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 729212 0 0 0 154092 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 4239260 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 315904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11908
/proc/meminfo: memFree=29941204/32770624 swapFree=5920/193164
[pid=11833] ppid=11830 vsize=315904 CPUtime=1601.31 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 730378 0 0 0 160088 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 4248948 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1601.31
Current children cumulated vsize (KiB) 315904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11909
/proc/meminfo: memFree=29941136/32770624 swapFree=5920/193188
[pid=11833] ppid=11830 vsize=315904 CPUtime=1661.27 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 731508 0 0 0 166084 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1661.27
Current children cumulated vsize (KiB) 315904
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/245 11910
/proc/meminfo: memFree=29929012/32770624 swapFree=5920/193216
[pid=11833] ppid=11830 vsize=315904 CPUtime=1721.24 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 732639 0 0 0 172081 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1721.24
Current children cumulated vsize (KiB) 315904
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11911
/proc/meminfo: memFree=29928776/32770624 swapFree=5920/193240
[pid=11833] ppid=11830 vsize=315904 CPUtime=1781.21 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 733764 0 0 0 178078 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 315904
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/245 11912
/proc/meminfo: memFree=29928716/32770624 swapFree=5920/193276
[pid=11833] ppid=11830 vsize=315904 CPUtime=1841.18 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 734885 0 0 0 184075 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1841.18
Current children cumulated vsize (KiB) 315904
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11913
/proc/meminfo: memFree=29929096/32770624 swapFree=5920/193300
[pid=11833] ppid=11830 vsize=315904 CPUtime=1901.14 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 736027 0 0 0 190071 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1901.14
Current children cumulated vsize (KiB) 315904
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11914
/proc/meminfo: memFree=29929800/32770624 swapFree=5920/193324
[pid=11833] ppid=11830 vsize=315904 CPUtime=1961.11 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 737150 0 0 0 196068 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5695885 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 1961.11
Current children cumulated vsize (KiB) 315904
[startup+2022.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/243 11915
/proc/meminfo: memFree=29929404/32770624 swapFree=5920/193352
[pid=11833] ppid=11830 vsize=315904 CPUtime=2021.08 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 738293 0 0 0 202065 43 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 2021.08
Current children cumulated vsize (KiB) 315904
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 11916
/proc/meminfo: memFree=29929156/32770624 swapFree=5920/193376
[pid=11833] ppid=11830 vsize=315904 CPUtime=2081.07 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 739406 0 0 0 208063 44 0 0 20 0 1 0 1531251 323485696 72738 33554432000 4194304 7402444 140735944709152 140735944703656 4238480 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 78976 72738 765 784 0 71990 0
Current children cumulated CPU time (s) 2081.07
Current children cumulated vsize (KiB) 315904
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11917
/proc/meminfo: memFree=29919732/32770624 swapFree=5920/193412
[pid=11833] ppid=11830 vsize=316036 CPUtime=2141.03 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 740567 0 0 0 214059 44 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 4319863 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2141.03
Current children cumulated vsize (KiB) 316036
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11925
/proc/meminfo: memFree=29919084/32770624 swapFree=5920/193444
[pid=11833] ppid=11830 vsize=316036 CPUtime=2201 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 741720 0 0 0 220056 44 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 5747600 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 316036
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11926
/proc/meminfo: memFree=29919828/32770624 swapFree=5920/193472
[pid=11833] ppid=11830 vsize=316036 CPUtime=2260.96 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 742850 0 0 0 226052 44 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 316036
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11927
/proc/meminfo: memFree=29919908/32770624 swapFree=5920/193496
[pid=11833] ppid=11830 vsize=316036 CPUtime=2320.93 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 744015 0 0 0 232049 44 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 316036
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11928
/proc/meminfo: memFree=29918812/32770624 swapFree=5920/193520
[pid=11833] ppid=11830 vsize=316036 CPUtime=2380.9 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 745151 0 0 0 238045 45 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 4248926 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2380.9
Current children cumulated vsize (KiB) 316036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 1.94 2.01 2.04 3/243 12126
/proc/meminfo: memFree=31721952/32770624 swapFree=5920/193648
[pid=11833] ppid=11830 vsize=316036 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/11833/stat : 11833 (MistralXCSP) R 11830 11833 9824 0 -1 4202496 745979 0 0 0 239955 45 0 0 20 0 1 0 1531251 323620864 72752 33554432000 4194304 7402444 140735944709152 140735944703640 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 12120064 140735944713384 140735944713534 140735944713534 140735944716233 0
/proc/11833/statm: 79009 72752 765 784 0 72023 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 316036
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 11833 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.41
CPU time (s): 2400.01
CPU user time (s): 2399.55
CPU system time (s): 0.455749
CPU usage (%): 99.9417
Max. virtual memory (cumulated for all children) (KiB): 316036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 0.455749
maximum resident set size= 299872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746017
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= 94
involuntary context switches= 120722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.33865 second user time and 11.6739 second system time
The end