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-4261338-1502368326/watcher-4261338-1502368326 -o /tmp/evaluation-result-4261338-1502368326/solver-4261338-1502368326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1836439524 HOME/instance-4261338-1502368326.xml
pid=5863
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.03 2.03 2.05 2/184 5866
/proc/meminfo: memFree=31134736/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5866/stat : 5866 (runsolver) D 5863 5866 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 78743734 24240128 106 18446744073709551615 4194304 4338465 140727455066000 140727455063640 140027144319703 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8290304 140727455072394 140727455072841 140727455072841 140727455076298 0
/proc/5866/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.03 2.03 2.05 2/184 5866
/proc/meminfo: memFree=31134736/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=30984 CPUtime=0.04 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 1492 0 0 0 4 0 0 0 20 0 1 0 78743734 31727616 1289 18446744073709551615 4194304 7396336 140732503821584 140732503818584 140609198525413 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 7746 1289 608 782 0 762 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30984
[startup+0.20028 s]
/proc/loadavg: 2.03 2.03 2.05 2/184 5866
/proc/meminfo: memFree=31134736/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=31312 CPUtime=0.14 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 1582 0 0 0 14 0 0 0 20 0 1 0 78743734 32063488 1421 18446744073709551615 4194304 7396336 140732503821584 140732503814824 140609199445904 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 7828 1421 614 782 0 844 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 31312
[startup+0.300249 s]
/proc/loadavg: 2.03 2.03 2.05 2/184 5866
/proc/meminfo: memFree=31134736/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=31768 CPUtime=0.24 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 1722 0 0 0 24 0 0 0 20 0 1 0 78743734 32530432 1511 18446744073709551615 4194304 7396336 140732503821584 140732503814824 140609198963712 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 7942 1511 614 782 0 958 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 31768
[startup+0.70023 s]
/proc/loadavg: 2.03 2.03 2.05 2/184 5866
/proc/meminfo: memFree=31134736/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=34124 CPUtime=0.63 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 2520 0 0 0 63 0 0 0 20 0 1 0 78743734 34942976 2171 18446744073709551615 4194304 7396336 140732503821584 140732503814824 6146225 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 8531 2171 719 782 0 1547 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 34124
[startup+1.50023 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 5867
/proc/meminfo: memFree=31128428/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=36548 CPUtime=1.43 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 3117 0 0 0 143 0 0 0 20 0 1 0 78743734 37425152 2764 18446744073709551615 4194304 7396336 140732503821584 140732503812088 6059088 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 9137 2764 719 782 0 2153 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 36548
[startup+3.10023 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 5867
/proc/meminfo: memFree=31123592/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=41784 CPUtime=3.04 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 5186 0 0 0 303 1 0 0 20 0 1 0 78743734 42786816 4056 18446744073709551615 4194304 7396336 140732503821584 140732503812088 5647635 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 10446 4056 719 782 0 3462 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 41784
[startup+6.30022 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 5867
/proc/meminfo: memFree=31110924/32770624 swapFree=0/442592
[pid=5866] ppid=5863 vsize=54396 CPUtime=6.24 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 10919 0 0 0 623 1 0 0 20 0 1 0 78743734 55701504 7209 18446744073709551615 4194304 7396336 140732503821584 140732503812088 140609198518267 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 13599 7209 719 782 0 6615 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 54396
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 5867
/proc/meminfo: memFree=31081804/32770624 swapFree=0/442432
[pid=5866] ppid=5863 vsize=83012 CPUtime=12.63 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 24446 0 0 0 1261 2 0 0 20 0 1 0 78743734 85004288 14373 18446744073709551615 4194304 7396336 140732503821584 140732503812088 6181328 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 20753 14373 719 782 0 13769 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 83012
[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 2.04 3/185 5867
/proc/meminfo: memFree=31044788/32770624 swapFree=0/442432
[pid=5866] ppid=5863 vsize=118596 CPUtime=25.44 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 37816 0 0 0 2540 4 0 0 20 0 1 0 78743734 121442304 23242 18446744073709551615 4194304 7396336 140732503821584 140732503812328 6180993 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 29649 23242 719 782 0 22665 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 118596
[startup+51.1003 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 5868
/proc/meminfo: memFree=30972024/32770624 swapFree=0/442432
[pid=5866] ppid=5863 vsize=190472 CPUtime=51.03 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 86904 0 0 0 5095 8 0 0 20 0 1 0 78743734 195043328 41233 18446744073709551615 4194304 7396336 140732503821584 140732503814824 6195321 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 47618 41233 721 782 0 40634 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 190472
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 5870
/proc/meminfo: memFree=30836280/32770624 swapFree=0/442444
[pid=5866] ppid=5863 vsize=325620 CPUtime=102.23 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 186619 0 0 0 10206 17 0 0 20 0 1 0 78743734 333434880 75083 18446744073709551615 4194304 7396336 140732503821584 140732503816008 4257822 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 81405 75083 757 782 0 74421 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 325620
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 5887
/proc/meminfo: memFree=30827056/32770624 swapFree=0/442484
[pid=5866] ppid=5863 vsize=330480 CPUtime=162.2 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 228846 0 0 0 16200 20 0 0 20 0 1 0 78743734 338411520 76358 18446744073709551615 4194304 7396336 140732503821584 140732503815880 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82620 76358 757 782 0 75636 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 330480
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 5889
/proc/meminfo: memFree=30830480/32770624 swapFree=0/442504
[pid=5866] ppid=5863 vsize=330744 CPUtime=222.18 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 249141 0 0 0 22198 20 0 0 20 0 1 0 78743734 338681856 76436 18446744073709551615 4194304 7396336 140732503821584 140732503815880 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82686 76436 757 782 0 75702 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 330744
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 5891
/proc/meminfo: memFree=30830856/32770624 swapFree=0/442520
[pid=5866] ppid=5863 vsize=330876 CPUtime=282.19 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 250012 0 0 0 28198 21 0 0 20 0 1 0 78743734 338817024 76475 18446744073709551615 4194304 7396336 140732503821584 140732503815880 5839273 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82719 76475 757 782 0 75735 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 330876
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 5893
/proc/meminfo: memFree=30830988/32770624 swapFree=0/442524
[pid=5866] ppid=5863 vsize=331008 CPUtime=342.19 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 250905 0 0 0 34198 21 0 0 20 0 1 0 78743734 338952192 76503 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82752 76503 757 782 0 75768 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 331008
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 5895
/proc/meminfo: memFree=30830684/32770624 swapFree=0/442540
[pid=5866] ppid=5863 vsize=331140 CPUtime=402.2 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 251831 0 0 0 40199 21 0 0 20 0 1 0 78743734 339087360 76538 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4543790 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82785 76538 757 782 0 75801 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 331140
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/185 5899
/proc/meminfo: memFree=30830320/32770624 swapFree=0/442560
[pid=5866] ppid=5863 vsize=331272 CPUtime=462.2 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 252528 0 0 0 46199 21 0 0 20 0 1 0 78743734 339222528 76540 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4249442 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82818 76540 757 782 0 75834 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 331272
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 5901
/proc/meminfo: memFree=30830180/32770624 swapFree=0/442576
[pid=5866] ppid=5863 vsize=331404 CPUtime=522.2 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 253515 0 0 0 52199 21 0 0 20 0 1 0 78743734 339357696 76583 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4257711 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82851 76583 757 782 0 75867 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 331404
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 5903
/proc/meminfo: memFree=30830544/32770624 swapFree=0/442596
[pid=5866] ppid=5863 vsize=331404 CPUtime=582.21 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 253775 0 0 0 58200 21 0 0 20 0 1 0 78743734 339357696 76586 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5163029 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 82851 76586 757 782 0 75867 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 331404
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 5973
/proc/meminfo: memFree=30829004/32770624 swapFree=0/442788
[pid=5866] ppid=5863 vsize=332460 CPUtime=1602.29 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 265458 0 0 0 160207 22 0 0 20 0 1 0 78743734 340439040 76863 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5576291 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83115 76863 757 782 0 76131 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 332460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 5975
/proc/meminfo: memFree=30828972/32770624 swapFree=0/442800
[pid=5866] ppid=5863 vsize=332460 CPUtime=1662.29 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 266206 0 0 0 166207 22 0 0 20 0 1 0 78743734 340439040 76879 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4249698 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83115 76879 757 782 0 76131 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 332460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5977
/proc/meminfo: memFree=30828980/32770624 swapFree=0/442824
[pid=5866] ppid=5863 vsize=332592 CPUtime=1722.29 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 266715 0 0 0 172207 22 0 0 20 0 1 0 78743734 340574208 76882 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4257796 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83148 76882 757 782 0 76164 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 332592
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 5979
/proc/meminfo: memFree=30828332/32770624 swapFree=0/442836
[pid=5866] ppid=5863 vsize=332592 CPUtime=1782.3 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 267488 0 0 0 178208 22 0 0 20 0 1 0 78743734 340574208 76898 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4406471 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83148 76898 757 782 0 76164 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 332592
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 5981
/proc/meminfo: memFree=30828472/32770624 swapFree=0/442856
[pid=5866] ppid=5863 vsize=332592 CPUtime=1842.3 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 267746 0 0 0 184208 22 0 0 20 0 1 0 78743734 340574208 76901 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83148 76901 757 782 0 76164 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 332592
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5984
/proc/meminfo: memFree=30828188/32770624 swapFree=0/442876
[pid=5866] ppid=5863 vsize=332724 CPUtime=1902.3 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 268536 0 0 0 190208 22 0 0 20 0 1 0 78743734 340709376 76922 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4257799 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83181 76922 757 782 0 76197 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 332724
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 6000
/proc/meminfo: memFree=30824664/32770624 swapFree=0/442912
[pid=5866] ppid=5863 vsize=332724 CPUtime=1962.31 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 269090 0 0 0 196208 23 0 0 20 0 1 0 78743734 340709376 76923 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5672037 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83181 76923 757 782 0 76197 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 332724
[startup+2022.3 s]
/proc/loadavg: 2.15 2.07 2.06 3/185 6002
/proc/meminfo: memFree=30827256/32770624 swapFree=0/442928
[pid=5866] ppid=5863 vsize=332724 CPUtime=2022.32 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 269895 0 0 0 202209 23 0 0 20 0 1 0 78743734 340709376 76937 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4257728 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83181 76937 757 782 0 76197 0
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 332724
[startup+2082.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/186 6005
/proc/meminfo: memFree=30827504/32770624 swapFree=0/442936
[pid=5866] ppid=5863 vsize=332724 CPUtime=2082.32 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 270153 0 0 0 208209 23 0 0 20 0 1 0 78743734 340709376 76939 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83181 76939 757 782 0 76197 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 332724
[startup+2142.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/186 6007
/proc/meminfo: memFree=30827952/32770624 swapFree=0/442940
[pid=5866] ppid=5863 vsize=332856 CPUtime=2142.32 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 270972 0 0 0 214209 23 0 0 20 0 1 0 78743734 340844544 76949 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4257671 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76949 757 782 0 76230 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 332856
[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 6009
/proc/meminfo: memFree=30828084/32770624 swapFree=0/442960
[pid=5866] ppid=5863 vsize=332856 CPUtime=2202.33 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 271542 0 0 0 220210 23 0 0 20 0 1 0 78743734 340844544 76953 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5672864 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76953 757 782 0 76230 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 332856
[startup+2262.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/186 6072
/proc/meminfo: memFree=30930600/32770624 swapFree=0/442980
[pid=5866] ppid=5863 vsize=332856 CPUtime=2262.33 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 271797 0 0 0 226210 23 0 0 20 0 1 0 78743734 340844544 76957 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76957 757 782 0 76230 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 332856
[startup+2322.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 6074
/proc/meminfo: memFree=30929544/32770624 swapFree=0/442996
[pid=5866] ppid=5863 vsize=332856 CPUtime=2322.33 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 272619 0 0 0 232210 23 0 0 20 0 1 0 78743734 340844544 76961 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4581783 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76961 757 782 0 76230 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 332856
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 6077
/proc/meminfo: memFree=30928624/32770624 swapFree=0/443008
[pid=5866] ppid=5863 vsize=332856 CPUtime=2382.34 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 273220 0 0 0 238211 23 0 0 20 0 1 0 78743734 340844544 76969 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76969 757 782 0 76230 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 332856
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 6080
/proc/meminfo: memFree=30928776/32770624 swapFree=0/443020
[pid=5866] ppid=5863 vsize=332856 CPUtime=2442.35 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 274067 0 0 0 244211 24 0 0 20 0 1 0 78743734 340844544 76977 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5673747 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83214 76977 757 782 0 76230 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 332856
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 6082
/proc/meminfo: memFree=30929156/32770624 swapFree=0/443032
[pid=5866] ppid=5863 vsize=332988 CPUtime=2502.35 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 274319 0 0 0 250211 24 0 0 20 0 1 0 78743734 340979712 76984 18446744073709551615 4194304 7396336 140732503821584 140732503816136 4334813 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83247 76984 757 782 0 76263 0
Current children cumulated CPU time (s) 2502.35
Current children cumulated vsize (KiB) 332988
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6098
/proc/meminfo: memFree=30925280/32770624 swapFree=0/443028
[pid=5866] ppid=5863 vsize=332988 CPUtime=2520.05 cores=1,3,5,7
/proc/5866/stat : 5866 (MistralXCSP) R 5863 5866 9153 0 -1 4202496 274320 0 0 0 251981 24 0 0 20 0 1 0 78743734 340979712 76984 18446744073709551615 4194304 7396336 140732503821584 140732503816136 5673591 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 19730432 140732503822770 140732503822920 140732503822920 140732503826377 0
/proc/5866/statm: 83247 76984 757 782 0 76263 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 332988
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 5866 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.06
CPU user time (s): 2519.82
CPU system time (s): 0.242017
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 332988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.242017
maximum resident set size= 307956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274354
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= 119
involuntary context switches= 945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43279 second user time and 12.6946 second system time
The end