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-4242730-1502063480/watcher-4242730-1502063480 -o /tmp/evaluation-result-4242730-1502063480/solver-4242730-1502063480 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1302254152 HOME/instance-4242730-1502063480.xml
pid=31479
running on 4 cores: 0,2,4,6
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: 1.92 2.00 2.04 3/180 31482
/proc/meminfo: memFree=31156872/32770624 swapFree=0/347648
[pid=31482] ppid=31479 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31482/stat : 31482 (runsolver) D 31479 31482 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8541777 24240128 108 18446744073709551615 4194304 4338465 140726172233488 140726172231128 140470836466391 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25923584 140726172237963 140726172238410 140726172238410 140726172241866 0
/proc/31482/statm: 5918 108 54 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 31482
/proc/meminfo: memFree=31156872/32770624 swapFree=0/347648
[pid=31482] ppid=31479 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31482/stat : 31482 (runsolver) D 31479 31482 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8541777 24240128 108 18446744073709551615 4194304 4338465 140726172233488 140726172231128 140470836466391 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25923584 140726172237963 140726172238410 140726172238410 140726172241866 0
/proc/31482/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200365 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 31482
/proc/meminfo: memFree=31156872/32770624 swapFree=0/347648
[pid=31482] ppid=31479 vsize=29684 CPUtime=0.08 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1185 0 0 0 8 0 0 0 20 0 1 0 8541777 30396416 1000 18446744073709551615 4194304 7402444 140734521719616 140734521716664 139946463677440 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 7421 1000 631 784 0 435 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29684
[startup+0.300319 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 31482
/proc/meminfo: memFree=31156872/32770624 swapFree=0/347648
[pid=31482] ppid=31479 vsize=30204 CPUtime=0.18 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1316 0 0 0 18 0 0 0 20 0 1 0 8541777 30928896 1105 18446744073709551615 4194304 7402444 140734521719616 140734521716664 139946463239141 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 7551 1105 631 784 0 565 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 30204
[startup+0.70028 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 31482
/proc/meminfo: memFree=31156872/32770624 swapFree=0/347648
[pid=31482] ppid=31479 vsize=31380 CPUtime=0.57 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1746 0 0 0 57 0 0 0 20 0 1 0 8541777 32133120 1380 18446744073709551615 4194304 7402444 140734521719616 140734521716664 5886490 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 7845 1380 631 784 0 859 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 31380
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31483
/proc/meminfo: memFree=31151968/32770624 swapFree=0/347412
[pid=31482] ppid=31479 vsize=33996 CPUtime=1.38 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 2602 0 0 0 137 1 0 0 20 0 1 0 8541777 34811904 2064 18446744073709551615 4194304 7402444 140734521719616 140734521716664 5934762 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 8499 2064 631 784 0 1513 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 33996
[startup+3.10033 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31483
/proc/meminfo: memFree=31148496/32770624 swapFree=0/347412
[pid=31482] ppid=31479 vsize=44360 CPUtime=2.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 5799 0 0 0 296 1 0 0 20 0 1 0 8541777 45424640 4520 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4223360 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 11090 4520 732 784 0 4104 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 44360
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 31483
/proc/meminfo: memFree=31124180/32770624 swapFree=0/347412
[pid=31482] ppid=31479 vsize=65100 CPUtime=6.18 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 11962 0 0 0 616 2 0 0 20 0 1 0 8541777 66662400 9702 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4529232 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 16275 9702 732 784 0 9289 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 65100
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 31483
/proc/meminfo: memFree=31081164/32770624 swapFree=0/347596
[pid=31482] ppid=31479 vsize=107604 CPUtime=12.57 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 31930 0 0 0 1254 3 0 0 20 0 1 0 8541777 110186496 20340 18446744073709551615 4194304 7402444 140734521719616 140734521710168 139946466717808 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 26901 20340 732 784 0 19915 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 107604
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 31483
/proc/meminfo: memFree=30997636/32770624 swapFree=0/347596
[pid=31482] ppid=31479 vsize=188048 CPUtime=25.38 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 74460 0 0 0 2531 7 0 0 20 0 1 0 8541777 192561152 40428 18446744073709551615 4194304 7402444 140734521719616 140734521710104 4731487 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 47012 40428 732 784 0 40026 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 188048
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 31484
/proc/meminfo: memFree=30890612/32770624 swapFree=0/347612
[pid=31482] ppid=31479 vsize=293636 CPUtime=50.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 103688 0 0 0 5087 10 0 0 20 0 1 0 8541777 300683264 66874 18446744073709551615 4194304 7402444 140734521719616 140734521710168 5930497 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 73409 66874 732 784 0 66423 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 293636
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 31486
/proc/meminfo: memFree=30684608/32770624 swapFree=0/347652
[pid=31482] ppid=31479 vsize=499112 CPUtime=102.18 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 205969 0 0 0 10198 20 0 0 20 0 1 0 8541777 511090688 118237 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4731476 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 124778 118237 732 784 0 117792 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 499112
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31488
/proc/meminfo: memFree=30512608/32770624 swapFree=0/347684
[pid=31482] ppid=31479 vsize=664968 CPUtime=162.16 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 246783 0 0 0 16190 26 0 0 20 0 1 0 8541777 680927232 159654 18446744073709551615 4194304 7402444 140734521719616 140734521710168 6076641 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 166242 159654 732 784 0 159256 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 664968
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 31505
/proc/meminfo: memFree=30385440/32770624 swapFree=0/347744
[pid=31482] ppid=31479 vsize=785068 CPUtime=222.17 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 279491 0 0 0 22186 31 0 0 20 0 1 0 8541777 803909632 189730 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4733066 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 196267 189730 732 784 0 189281 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 785068
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 31507
/proc/meminfo: memFree=30219128/32770624 swapFree=0/347780
[pid=31482] ppid=31479 vsize=954448 CPUtime=282.16 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 309023 0 0 0 28180 36 0 0 20 0 1 0 8541777 977354752 232050 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4731632 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 238612 232050 732 784 0 231626 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 954448
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31509
/proc/meminfo: memFree=30127148/32770624 swapFree=0/347804
[pid=31482] ppid=31479 vsize=1048428 CPUtime=342.15 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 333445 0 0 0 34176 39 0 0 20 0 1 0 8541777 1073590272 255535 18446744073709551615 4194304 7402444 140734521719616 140734521710168 4731632 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 262107 255535 732 784 0 255121 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1048428
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31511
/proc/meminfo: memFree=29786312/32770624 swapFree=0/347836
[pid=31482] ppid=31479 vsize=1382868 CPUtime=402.14 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 584300 0 0 0 40157 57 0 0 20 0 1 0 8541777 1416056832 339182 18446744073709551615 4194304 7402444 140734521719616 140734521710280 6057513 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 345717 339182 732 784 0 338731 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1382868
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31513
/proc/meminfo: memFree=29786836/32770624 swapFree=0/347876
[pid=31482] ppid=31479 vsize=1382868 CPUtime=462.13 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 641452 0 0 0 46151 62 0 0 20 0 1 0 8541777 1416056832 339182 18446744073709551615 4194304 7402444 140734521719616 140734521710280 139946463238619 0 0 1 0 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 345717 339182 732 784 0 338731 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1382868
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31515
/proc/meminfo: memFree=29680420/32770624 swapFree=0/347904
[pid=31482] ppid=31479 vsize=1489148 CPUtime=522.12 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 894855 0 0 0 52137 75 0 0 20 0 1 0 8541777 1524887552 366036 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5753494 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366036 775 784 0 365301 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1489148
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 31517
/proc/meminfo: memFree=29680936/32770624 swapFree=0/347932
[pid=31482] ppid=31479 vsize=1489148 CPUtime=582.1 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1030580 0 0 0 58129 81 0 0 20 0 1 0 8541777 1524887552 366036 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5753494 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366036 775 784 0 365301 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1489148
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 31667
/proc/meminfo: memFree=28496012/32770624 swapFree=0/348580
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1481.99 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1202307 0 0 0 148109 90 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5753494 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1489148
[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/183 31669
/proc/meminfo: memFree=28460096/32770624 swapFree=0/348608
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1541.99 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1203117 0 0 0 154109 90 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4238492 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1489148
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 31671
/proc/meminfo: memFree=28409456/32770624 swapFree=0/348620
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1601.98 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1204673 0 0 0 160108 90 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5753494 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1489148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 31673
/proc/meminfo: memFree=28364512/32770624 swapFree=0/348676
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1661.99 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1205321 0 0 0 166108 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4238492 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1489148
[startup+1722.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/182 31675
/proc/meminfo: memFree=28324888/32770624 swapFree=0/348704
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1721.98 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1206879 0 0 0 172107 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4248770 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1489148
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 31677
/proc/meminfo: memFree=28238272/32770624 swapFree=0/348732
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1781.98 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1208007 0 0 0 178107 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1489148
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 31679
/proc/meminfo: memFree=28200364/32770624 swapFree=0/348768
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1841.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1209403 0 0 0 184106 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4238492 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 1489148
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31681
/proc/meminfo: memFree=28129728/32770624 swapFree=0/348792
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1901.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1211377 0 0 0 190106 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5750704 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 1489148
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31683
/proc/meminfo: memFree=28099116/32770624 swapFree=0/348820
[pid=31482] ppid=31479 vsize=1489148 CPUtime=1961.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1212886 0 0 0 196106 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 1961.97
Current children cumulated vsize (KiB) 1489148
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 31702
/proc/meminfo: memFree=28054004/32770624 swapFree=0/348860
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2021.96 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1214421 0 0 0 202105 91 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 1489148
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31704
/proc/meminfo: memFree=28015400/32770624 swapFree=0/348888
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2081.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1215386 0 0 0 208105 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4238492 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 1489148
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31706
/proc/meminfo: memFree=27982408/32770624 swapFree=0/348916
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2141.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1217187 0 0 0 214105 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5747608 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2141.97
Current children cumulated vsize (KiB) 1489148
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31708
/proc/meminfo: memFree=27943312/32770624 swapFree=0/348928
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2201.97 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1218710 0 0 0 220105 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2201.97
Current children cumulated vsize (KiB) 1489148
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 31710
/proc/meminfo: memFree=27913364/32770624 swapFree=0/348984
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2261.96 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1220456 0 0 0 226104 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 4238492 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 1489148
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31712
/proc/meminfo: memFree=27873128/32770624 swapFree=0/349012
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2321.96 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1221950 0 0 0 232104 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 1489148
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31714
/proc/meminfo: memFree=27842804/32770624 swapFree=0/349044
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2381.95 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1223262 0 0 0 238103 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5327213 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 1489148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31715
/proc/meminfo: memFree=27832072/32770624 swapFree=0/349048
[pid=31482] ppid=31479 vsize=1489148 CPUtime=2400.05 cores=0,2,4,6
/proc/31482/stat : 31482 (MistralXCSP) R 31479 31482 20633 0 -1 4202496 1223610 0 0 0 239913 92 0 0 20 0 1 0 8541777 1524887552 366041 18446744073709551615 4194304 7402444 140734521719616 140734521714968 5747568 0 0 1 16386 0 0 0 17 4 0 0 11 0 0 9500608 9505824 13815808 140734521725363 140734521725513 140734521725513 140734521728969 0
/proc/31482/statm: 372287 366041 780 784 0 365301 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 1489148
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 31482 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.41
CPU time (s): 2400.07
CPU user time (s): 2399.14
CPU system time (s): 0.932955
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 1489148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.14
system time used= 0.932955
maximum resident set size= 1464188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1223642
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= 177
involuntary context switches= 821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95475 second user time and 10.1649 second system time
The end