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-4261798-1502339189/watcher-4261798-1502339189 -o /tmp/evaluation-result-4261798-1502339189/solver-4261798-1502339189 -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 726761331 HOME/instance-4261798-1502339189.xml
pid=474
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: 1.96 2.00 2.04 3/186 477
/proc/meminfo: memFree=31266764/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/477/stat : 477 (runsolver) D 474 477 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 75829966 24240128 108 18446744073709551615 4194304 4338465 140737437920768 140737437918408 140134657442519 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13803520 140737437929611 140737437930057 140737437930057 140737437933514 0
/proc/477/statm: 5918 108 54 36 0 2156 0
[startup+0.100218 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 477
/proc/meminfo: memFree=31266764/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=30828 CPUtime=0.04 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 1556 0 0 0 4 0 0 0 20 0 1 0 75829966 31567872 1393 18446744073709551615 4194304 7396336 140735066010368 140735066001064 6018509 0 0 1 0 0 0 0 17 7 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 7707 1393 713 782 0 723 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30828
[startup+0.200225 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 477
/proc/meminfo: memFree=31266764/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=68004 CPUtime=0.14 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 10884 0 0 0 13 1 0 0 20 0 1 0 75829966 69636096 10709 18446744073709551615 4194304 7396336 140735066010368 140735066001064 140271902249502 0 0 1 0 0 0 0 17 7 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 17001 10709 735 782 0 10017 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 68004
[startup+0.301217 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 477
/proc/meminfo: memFree=31266764/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=68152 CPUtime=0.24 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 10917 0 0 0 23 1 0 0 20 0 1 0 75829966 69787648 10709 18446744073709551615 4194304 7396336 140735066010368 140735066001272 6189992 0 0 1 0 0 0 0 17 7 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 17038 10709 735 782 0 10054 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 68152
[startup+0.700222 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 477
/proc/meminfo: memFree=31266764/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=68700 CPUtime=0.64 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 11050 0 0 0 63 1 0 0 20 0 1 0 75829966 70348800 10884 18446744073709551615 4194304 7396336 140735066010368 140735066001016 6190133 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 17175 10884 736 782 0 10191 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 68700
[startup+1.50026 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 478
/proc/meminfo: memFree=31208916/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=91020 CPUtime=1.44 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 16893 0 0 0 142 2 0 0 20 0 1 0 75829966 93204480 16475 18446744073709551615 4194304 7396336 140735066010368 140735066004904 4543790 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 22755 16475 788 782 0 15771 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 91020
[startup+3.10028 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 478
/proc/meminfo: memFree=31203708/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=95680 CPUtime=3.04 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 24628 0 0 0 302 2 0 0 20 0 1 0 75829966 97976320 17693 18446744073709551615 4194304 7396336 140735066010368 140735066004904 4581738 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 23920 17693 788 782 0 16936 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 95680
[startup+6.30024 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 478
/proc/meminfo: memFree=31196760/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=97528 CPUtime=6.23 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 32946 0 0 0 621 2 0 0 20 0 1 0 75829966 99868672 18159 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4222880 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24382 18159 788 782 0 17398 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 97528
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 478
/proc/meminfo: memFree=31196388/32770624 swapFree=0/422652
[pid=477] ppid=474 vsize=97792 CPUtime=12.64 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 39901 0 0 0 1261 3 0 0 20 0 1 0 75829966 100139008 18227 18446744073709551615 4194304 7396336 140735066010368 140735066004744 4407787 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24448 18227 788 782 0 17464 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 97792
[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 478
/proc/meminfo: memFree=31195676/32770624 swapFree=0/422672
[pid=477] ppid=474 vsize=98188 CPUtime=25.43 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 52441 0 0 0 2540 3 0 0 20 0 1 0 75829966 100544512 18308 18446744073709551615 4194304 7396336 140735066010368 140735066004520 4246560 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24547 18308 788 782 0 17563 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 98188
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 479
/proc/meminfo: memFree=31194800/32770624 swapFree=0/422672
[pid=477] ppid=474 vsize=98452 CPUtime=51.03 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 60241 0 0 0 5099 4 0 0 20 0 1 0 75829966 100814848 18381 18446744073709551615 4194304 7396336 140735066010368 140735066004520 4581576 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24613 18381 788 782 0 17629 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 98452
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 480
/proc/meminfo: memFree=31194360/32770624 swapFree=0/422688
[pid=477] ppid=474 vsize=98848 CPUtime=102.22 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 61788 0 0 0 10218 4 0 0 20 0 1 0 75829966 101220352 18481 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4249440 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24712 18481 788 782 0 17728 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 98848
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 482
/proc/meminfo: memFree=31193864/32770624 swapFree=0/422704
[pid=477] ppid=474 vsize=99376 CPUtime=162.22 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 62363 0 0 0 16218 4 0 0 20 0 1 0 75829966 101761024 18571 18446744073709551615 4194304 7396336 140735066010368 140735066004968 4246639 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24844 18571 788 782 0 17860 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 99376
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 484
/proc/meminfo: memFree=31193632/32770624 swapFree=0/422720
[pid=477] ppid=474 vsize=99904 CPUtime=222.23 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 63037 0 0 0 22219 4 0 0 20 0 1 0 75829966 102301696 18750 18446744073709551615 4194304 7396336 140735066010368 140735066004616 5616640 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24976 18750 788 782 0 17992 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99904
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 486
/proc/meminfo: memFree=31193260/32770624 swapFree=0/422732
[pid=477] ppid=474 vsize=99904 CPUtime=282.23 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 63038 0 0 0 28219 4 0 0 20 0 1 0 75829966 102301696 18750 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4253003 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 24976 18750 788 782 0 17992 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 99904
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 489
/proc/meminfo: memFree=31193244/32770624 swapFree=0/422752
[pid=477] ppid=474 vsize=100036 CPUtime=342.23 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 63626 0 0 0 34219 4 0 0 20 0 1 0 75829966 102436864 18763 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4249712 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25009 18763 788 782 0 18025 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 100036
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 492
/proc/meminfo: memFree=31192632/32770624 swapFree=0/422764
[pid=477] ppid=474 vsize=100036 CPUtime=402.24 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 63717 0 0 0 40220 4 0 0 20 0 1 0 75829966 102436864 18777 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4249511 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25009 18777 788 782 0 18025 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 100036
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/190 509
/proc/meminfo: memFree=31187692/32770624 swapFree=0/422776
[pid=477] ppid=474 vsize=100036 CPUtime=462.24 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 64394 0 0 0 46220 4 0 0 20 0 1 0 75829966 102436864 18787 18446744073709551615 4194304 7396336 140735066010368 140735066004616 4246639 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25009 18787 788 782 0 18025 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 100036
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/190 511
/proc/meminfo: memFree=31188180/32770624 swapFree=0/422788
[pid=477] ppid=474 vsize=100036 CPUtime=522.24 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 64403 0 0 0 52220 4 0 0 20 0 1 0 75829966 102436864 18787 18446744073709551615 4194304 7396336 140735066010368 140735066004616 5575952 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25009 18787 788 782 0 18025 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 100036
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 513
/proc/meminfo: memFree=31191808/32770624 swapFree=0/422796
[pid=477] ppid=474 vsize=100168 CPUtime=582.25 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 65131 0 0 0 58221 4 0 0 20 0 1 0 75829966 102572032 18805 18446744073709551615 4194304 7396336 140735066010368 140735066004648 5165805 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25042 18805 788 782 0 18058 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 100168
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 574
/proc/meminfo: memFree=31191344/32770624 swapFree=0/423012
[pid=477] ppid=474 vsize=100696 CPUtime=1602.32 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 69190 0 0 0 160228 4 0 0 20 0 1 0 75829966 103112704 18970 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4267504 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25174 18970 788 782 0 18190 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 100696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 593
/proc/meminfo: memFree=31186556/32770624 swapFree=0/423016
[pid=477] ppid=474 vsize=100696 CPUtime=1662.32 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 69540 0 0 0 166228 4 0 0 20 0 1 0 75829966 103112704 18970 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4257680 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25174 18970 788 782 0 18190 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 100696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 595
/proc/meminfo: memFree=31186748/32770624 swapFree=0/423040
[pid=477] ppid=474 vsize=100696 CPUtime=1722.33 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 69540 0 0 0 172229 4 0 0 20 0 1 0 75829966 103112704 18970 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4246575 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25174 18970 788 782 0 18190 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 100696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 598
/proc/meminfo: memFree=31189344/32770624 swapFree=0/423068
[pid=477] ppid=474 vsize=100696 CPUtime=1782.33 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 69887 0 0 0 178229 4 0 0 20 0 1 0 75829966 103112704 18970 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4246639 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25174 18970 788 782 0 18190 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 100696
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 603
/proc/meminfo: memFree=31189964/32770624 swapFree=0/423088
[pid=477] ppid=474 vsize=100828 CPUtime=1842.33 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 69928 0 0 0 184229 4 0 0 20 0 1 0 75829966 103247872 18977 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4581576 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25207 18977 788 782 0 18223 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 100828
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 607
/proc/meminfo: memFree=31190300/32770624 swapFree=0/423092
[pid=477] ppid=474 vsize=100828 CPUtime=1902.34 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 70313 0 0 0 190230 4 0 0 20 0 1 0 75829966 103247872 19004 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4543814 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25207 19004 788 782 0 18223 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 100828
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 609
/proc/meminfo: memFree=31190660/32770624 swapFree=0/423096
[pid=477] ppid=474 vsize=100828 CPUtime=1962.34 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 70314 0 0 0 196230 4 0 0 20 0 1 0 75829966 103247872 19004 18446744073709551615 4194304 7396336 140735066010368 140735066004648 5616729 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25207 19004 788 782 0 18223 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 100828
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 612
/proc/meminfo: memFree=31190676/32770624 swapFree=0/423120
[pid=477] ppid=474 vsize=100828 CPUtime=2022.35 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 70699 0 0 0 202231 4 0 0 20 0 1 0 75829966 103247872 19004 18446744073709551615 4194304 7396336 140735066010368 140735066004648 4267522 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25207 19004 788 782 0 18223 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 100828
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 615
/proc/meminfo: memFree=31191020/32770624 swapFree=0/423120
[pid=477] ppid=474 vsize=100828 CPUtime=2082.35 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 70699 0 0 0 208231 4 0 0 20 0 1 0 75829966 103247872 19004 18446744073709551615 4194304 7396336 140735066010368 140735066004648 5165928 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25207 19004 788 782 0 18223 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 100828
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 618
/proc/meminfo: memFree=31191140/32770624 swapFree=0/423136
[pid=477] ppid=474 vsize=100960 CPUtime=2142.35 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71080 0 0 0 214231 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 140271905687184 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 100960
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 632
/proc/meminfo: memFree=31191132/32770624 swapFree=0/423144
[pid=477] ppid=474 vsize=100960 CPUtime=2202.36 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71084 0 0 0 220232 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4581738 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 100960
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 650
/proc/meminfo: memFree=31186440/32770624 swapFree=0/423144
[pid=477] ppid=474 vsize=100960 CPUtime=2262.36 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71469 0 0 0 226232 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4547562 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 100960
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 652
/proc/meminfo: memFree=31186584/32770624 swapFree=0/423152
[pid=477] ppid=474 vsize=100960 CPUtime=2322.37 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71469 0 0 0 232233 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4246592 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 100960
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 655
/proc/meminfo: memFree=31188768/32770624 swapFree=0/423156
[pid=477] ppid=474 vsize=100960 CPUtime=2382.37 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71832 0 0 0 238233 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4582762 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 100960
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 657
/proc/meminfo: memFree=31189280/32770624 swapFree=0/423180
[pid=477] ppid=474 vsize=100960 CPUtime=2442.38 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 71853 0 0 0 244234 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4582399 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 100960
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 724
/proc/meminfo: memFree=30863692/32770624 swapFree=0/423216
[pid=477] ppid=474 vsize=100960 CPUtime=2502.38 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 72237 0 0 0 250234 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 4406506 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2502.38
Current children cumulated vsize (KiB) 100960
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 725
/proc/meminfo: memFree=30863536/32770624 swapFree=0/423220
[pid=477] ppid=474 vsize=100960 CPUtime=2520.08 cores=1,3,5,7
/proc/477/stat : 477 (MistralXCSP) R 474 477 9153 0 -1 4202496 72237 0 0 0 252004 4 0 0 20 0 1 0 75829966 103383040 19005 18446744073709551615 4194304 7396336 140735066010368 140735066004776 5165846 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 20348928 140735066014131 140735066014280 140735066014280 140735066017737 0
/proc/477/statm: 25240 19005 788 782 0 18256 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 100960
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 477 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.09
CPU user time (s): 2520.05
CPU system time (s): 0.047003
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 100960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.047003
maximum resident set size= 76040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72267
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= 39
involuntary context switches= 744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52113 second user time and 9.49205 second system time
The end