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-4261613-1502367883/watcher-4261613-1502367883 -o /tmp/evaluation-result-4261613-1502367883/solver-4261613-1502367883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 537208186 HOME/instance-4261613-1502367883.xml
pid=29191
running on 4 cores: 0,2,4,6
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.07 2.05 2.05 3/188 29194
/proc/meminfo: memFree=31110456/32770624 swapFree=0/408696
[pid=29194] ppid=29191 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29194/stat : 29194 (runsolver) D 29191 29194 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 84603685 24240128 107 18446744073709551615 4194304 4338465 140733103899024 140733103896664 140026104197847 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25358336 140733103902859 140733103903305 140733103903305 140733103906762 0
/proc/29194/statm: 5918 107 54 36 0 2156 0
[startup+0.10079 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 29194
/proc/meminfo: memFree=31110456/32770624 swapFree=0/408696
[pid=29194] ppid=29191 vsize=30024 CPUtime=0.01 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 1264 0 0 0 1 0 0 0 20 0 1 0 84603685 30744576 1092 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787166904915 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 7506 1092 614 782 0 522 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30024
[startup+0.200786 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 29194
/proc/meminfo: memFree=31110456/32770624 swapFree=0/408696
[pid=29194] ppid=29191 vsize=32012 CPUtime=0.11 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 1749 0 0 0 11 0 0 0 20 0 1 0 84603685 32780288 1554 18446744073709551615 4194304 7396336 140734872625200 140734872616344 5928476 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 8003 1554 614 782 0 1019 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32012
[startup+0.300786 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 29194
/proc/meminfo: memFree=31110456/32770624 swapFree=0/408696
[pid=29194] ppid=29191 vsize=33916 CPUtime=0.21 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 2316 0 0 0 21 0 0 0 20 0 1 0 84603685 34729984 2021 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787173690133 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 8479 2021 614 782 0 1495 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 33916
[startup+0.700285 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 29194
/proc/meminfo: memFree=31110456/32770624 swapFree=0/408696
[pid=29194] ppid=29191 vsize=42436 CPUtime=0.6 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 4719 0 0 0 60 0 0 0 20 0 1 0 84603685 43454464 3965 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787166907365 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 10609 3965 614 782 0 3625 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 42436
[startup+1.50028 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 29195
/proc/meminfo: memFree=31087780/32770624 swapFree=0/408640
[pid=29194] ppid=29191 vsize=58196 CPUtime=1.41 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 8768 0 0 0 140 1 0 0 20 0 1 0 84603685 59592704 7858 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787167345664 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 14549 7858 614 782 0 7565 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 58196
[startup+3.1002 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 29195
/proc/meminfo: memFree=31067132/32770624 swapFree=0/408640
[pid=29194] ppid=29191 vsize=89584 CPUtime=3.01 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 16103 0 0 0 299 2 0 0 20 0 1 0 84603685 91734016 15423 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787166907365 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 22396 15423 614 782 0 15412 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 89584
[startup+6.30017 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 29195
/proc/meminfo: memFree=31002452/32770624 swapFree=0/408644
[pid=29194] ppid=29191 vsize=152360 CPUtime=6.21 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 30344 0 0 0 616 5 0 0 20 0 1 0 84603685 156016640 30944 18446744073709551615 4194304 7396336 140734872625200 140734872618440 139787166907365 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 38090 30944 614 782 0 31106 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 152360
[startup+12.7002 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 29195
/proc/meminfo: memFree=30875076/32770624 swapFree=0/408644
[pid=29194] ppid=29191 vsize=277780 CPUtime=12.6 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 58913 0 0 0 1250 10 0 0 20 0 1 0 84603685 284446720 61553 18446744073709551615 4194304 7396336 140734872625200 140734872618440 5942977 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 69445 61553 614 782 0 62461 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 277780
[startup+25.5002 s]
/proc/loadavg: 2.05 2.05 2.05 3/189 29195
/proc/meminfo: memFree=30810096/32770624 swapFree=0/408644
[pid=29194] ppid=29191 vsize=328988 CPUtime=25.39 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 73156 0 0 0 2526 13 0 0 20 0 1 0 84603685 336883712 75594 18446744073709551615 4194304 7396336 140734872625200 140734872615848 6189992 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 82247 75594 712 782 0 75263 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 328988
[startup+51.1002 s]
/proc/loadavg: 2.10 2.06 2.05 3/188 29257
/proc/meminfo: memFree=30722848/32770624 swapFree=0/408676
[pid=29194] ppid=29191 vsize=380412 CPUtime=50.99 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 88500 0 0 0 5084 15 0 0 20 0 1 0 84603685 389541888 88398 18446744073709551615 4194304 7396336 140734872625200 140734872615944 139787173106588 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 95103 88398 712 782 0 88119 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 380412
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/186 29321
/proc/meminfo: memFree=30553160/32770624 swapFree=0/408800
[pid=29194] ppid=29191 vsize=468272 CPUtime=102.19 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 125101 0 0 0 10202 17 0 0 20 0 1 0 84603685 479510528 110394 18446744073709551615 4194304 7396336 140734872625200 140734872615848 139787173111690 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 117068 110394 712 782 0 110084 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 468272
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 29323
/proc/meminfo: memFree=30232660/32770624 swapFree=0/408804
[pid=29194] ppid=29191 vsize=562844 CPUtime=162.18 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 148042 0 0 0 16198 20 0 0 20 0 1 0 84603685 576352256 134006 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566053 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 140711 134006 712 782 0 133727 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 562844
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 29325
/proc/meminfo: memFree=30157972/32770624 swapFree=0/408812
[pid=29194] ppid=29191 vsize=618588 CPUtime=222.18 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 164281 0 0 0 22196 22 0 0 20 0 1 0 84603685 633434112 147946 18446744073709551615 4194304 7396336 140734872625200 140734872615944 139787166991728 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 154647 147946 712 782 0 147663 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 618588
[startup+282.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/186 29327
/proc/meminfo: memFree=30030408/32770624 swapFree=0/408820
[pid=29194] ppid=29191 vsize=743820 CPUtime=282.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 207424 0 0 0 28190 27 0 0 20 0 1 0 84603685 761671680 179294 18446744073709551615 4194304 7396336 140734872625200 140734872616232 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 185955 179294 712 782 0 178971 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 743820
[startup+342.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/186 29329
/proc/meminfo: memFree=30000000/32770624 swapFree=0/408828
[pid=29194] ppid=29191 vsize=774564 CPUtime=342.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 215546 0 0 0 34189 28 0 0 20 0 1 0 84603685 793153536 186958 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4566032 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 193641 186958 712 782 0 186657 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 774564
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 29331
/proc/meminfo: memFree=29944276/32770624 swapFree=0/408840
[pid=29194] ppid=29191 vsize=828624 CPUtime=402.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 229107 0 0 0 40188 29 0 0 20 0 1 0 84603685 848510976 200445 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 207156 200445 712 782 0 200172 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 828624
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29333
/proc/meminfo: memFree=29885820/32770624 swapFree=0/408840
[pid=29194] ppid=29191 vsize=888656 CPUtime=462.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 241148 0 0 0 46186 31 0 0 20 0 1 0 84603685 909983744 215497 18446744073709551615 4194304 7396336 140734872625200 140734872615944 6180918 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 222164 215497 712 782 0 215180 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 888656
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29337
/proc/meminfo: memFree=29848332/32770624 swapFree=0/408856
[pid=29194] ppid=29191 vsize=925984 CPUtime=522.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 252506 0 0 0 52185 32 0 0 20 0 1 0 84603685 948207616 224835 18446744073709551615 4194304 7396336 140734872625200 140734872615944 6207596 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 231496 224835 712 782 0 224512 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 925984
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29353
/proc/meminfo: memFree=29782564/32770624 swapFree=0/408860
[pid=29194] ppid=29191 vsize=989744 CPUtime=582.17 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 265129 0 0 0 58184 33 0 0 20 0 1 0 84603685 1013497856 240736 18446744073709551615 4194304 7396336 140734872625200 140734872616104 6163771 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 247436 240736 712 782 0 240452 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 989744
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29409
/proc/meminfo: memFree=29108324/32770624 swapFree=0/409072
[pid=29194] ppid=29191 vsize=1664488 CPUtime=1602.22 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 652683 0 0 0 160148 74 0 0 20 0 1 0 84603685 1704435712 408954 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566036 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 416122 408954 712 782 0 409138 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 1664488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29411
/proc/meminfo: memFree=29090668/32770624 swapFree=0/409088
[pid=29194] ppid=29191 vsize=1681920 CPUtime=1662.23 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 655364 0 0 0 166148 75 0 0 20 0 1 0 84603685 1722286080 413325 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 420480 413325 712 782 0 413496 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 1681920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29413
/proc/meminfo: memFree=29057744/32770624 swapFree=0/409096
[pid=29194] ppid=29191 vsize=1715748 CPUtime=1722.23 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 661045 0 0 0 172147 76 0 0 20 0 1 0 84603685 1756925952 421754 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4566048 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 428937 421754 712 782 0 421953 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 1715748
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29430
/proc/meminfo: memFree=29038268/32770624 swapFree=0/409108
[pid=29194] ppid=29191 vsize=1729440 CPUtime=1782.23 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 664880 0 0 0 178147 76 0 0 20 0 1 0 84603685 1770946560 425162 18446744073709551615 4194304 7396336 140734872625200 140734872615848 6181517 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 432360 425162 712 782 0 425376 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 1729440
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29433
/proc/meminfo: memFree=29020684/32770624 swapFree=0/409124
[pid=29194] ppid=29191 vsize=1747712 CPUtime=1842.23 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 669334 0 0 0 184147 76 0 0 20 0 1 0 84603685 1789657088 429777 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566053 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 436928 429777 712 782 0 429944 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 1747712
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 29435
/proc/meminfo: memFree=29005248/32770624 swapFree=0/409140
[pid=29194] ppid=29191 vsize=1766060 CPUtime=1902.24 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 674225 0 0 0 190147 77 0 0 20 0 1 0 84603685 1808445440 434342 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4566053 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 441515 434342 712 782 0 434531 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 1766060
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29437
/proc/meminfo: memFree=28983060/32770624 swapFree=0/409168
[pid=29194] ppid=29191 vsize=1788784 CPUtime=1962.24 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 678010 0 0 0 196147 77 0 0 20 0 1 0 84603685 1831714816 439994 18446744073709551615 4194304 7396336 140734872625200 140734872615944 6195363 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 447196 439994 712 782 0 440212 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 1788784
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29439
/proc/meminfo: memFree=28967388/32770624 swapFree=0/409192
[pid=29194] ppid=29191 vsize=1808564 CPUtime=2022.25 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 682597 0 0 0 202147 78 0 0 20 0 1 0 84603685 1851969536 444961 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 452141 444961 712 782 0 445157 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 1808564
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 29441
/proc/meminfo: memFree=28946628/32770624 swapFree=0/409196
[pid=29194] ppid=29191 vsize=1822880 CPUtime=2082.26 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 685993 0 0 0 208147 79 0 0 20 0 1 0 84603685 1866629120 449076 18446744073709551615 4194304 7396336 140734872625200 140734872615848 6024376 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 455720 449076 712 782 0 448736 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 1822880
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29444
/proc/meminfo: memFree=28926808/32770624 swapFree=0/409208
[pid=29194] ppid=29191 vsize=1842812 CPUtime=2142.25 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 689697 0 0 0 214146 79 0 0 20 0 1 0 84603685 1887039488 454030 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566032 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 460703 454030 712 782 0 453719 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 1842812
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 29446
/proc/meminfo: memFree=28897044/32770624 swapFree=0/409208
[pid=29194] ppid=29191 vsize=1872920 CPUtime=2202.26 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 694859 0 0 0 220146 80 0 0 20 0 1 0 84603685 1917870080 461527 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4565876 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 468230 461527 712 782 0 461246 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 1872920
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29449
/proc/meminfo: memFree=28881168/32770624 swapFree=0/409216
[pid=29194] ppid=29191 vsize=1888660 CPUtime=2262.26 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 699179 0 0 0 226145 81 0 0 20 0 1 0 84603685 1933987840 465509 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 472165 465509 712 782 0 465181 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 1888660
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29451
/proc/meminfo: memFree=28860536/32770624 swapFree=0/409220
[pid=29194] ppid=29191 vsize=1909188 CPUtime=2322.27 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 703249 0 0 0 232145 82 0 0 20 0 1 0 84603685 1955008512 470636 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 477297 470636 712 782 0 470313 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 1909188
[startup+2382.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/189 29467
/proc/meminfo: memFree=28840772/32770624 swapFree=0/409224
[pid=29194] ppid=29191 vsize=1999320 CPUtime=2382.27 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 710595 0 0 0 238143 84 0 0 20 0 1 0 84603685 2047303680 493170 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566053 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 499830 493170 712 782 0 492846 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 1999320
[startup+2442.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 29469
/proc/meminfo: memFree=28761000/32770624 swapFree=0/409240
[pid=29194] ppid=29191 vsize=2004712 CPUtime=2442.28 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 714782 0 0 0 244143 85 0 0 20 0 1 0 84603685 2052825088 494544 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4566039 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 501178 494544 712 782 0 494194 0
Current children cumulated CPU time (s) 2442.28
Current children cumulated vsize (KiB) 2004712
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 29471
/proc/meminfo: memFree=28747300/32770624 swapFree=0/409244
[pid=29194] ppid=29191 vsize=2021504 CPUtime=2502.28 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 718204 0 0 0 250143 85 0 0 20 0 1 0 84603685 2070020096 498743 18446744073709551615 4194304 7396336 140734872625200 140734872615944 4565884 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 505376 498743 712 782 0 498392 0
Current children cumulated CPU time (s) 2502.28
Current children cumulated vsize (KiB) 2021504
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 29473
/proc/meminfo: memFree=28747184/32770624 swapFree=0/409236
[pid=29194] ppid=29191 vsize=2026852 CPUtime=2519.98 cores=0,2,4,6
/proc/29194/stat : 29194 (MistralXCSP) R 29191 29194 1774 0 -1 4202496 720732 0 0 0 251913 85 0 0 20 0 1 0 84603685 2075496448 499993 18446744073709551615 4194304 7396336 140734872625200 140734872615848 4565884 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 20914176 140734872633779 140734872633928 140734872633928 140734872637385 0
/proc/29194/statm: 506713 499993 712 782 0 499729 0
Current children cumulated CPU time (s) 2519.98
Current children cumulated vsize (KiB) 2026852
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 29194 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2520
CPU user time (s): 2519.13
CPU system time (s): 0.874043
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 2026852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.13
system time used= 0.874043
maximum resident set size= 2000208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720732
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= 96
involuntary context switches= 1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67498 second user time and 10.4884 second system time
The end