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-4261546-1502373472/watcher-4261546-1502373472 -o /tmp/evaluation-result-4261546-1502373472/solver-4261546-1502373472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 535918258 HOME/instance-4261546-1502373472.xml
pid=27626
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.00 2.01 2.05 2/185 27629
/proc/meminfo: memFree=31076388/32770624 swapFree=0/544688
[pid=27629] ppid=27626 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27629/stat : 27629 (runsolver) D 27626 27629 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 84853472 24240128 106 18446744073709551615 4194304 4338465 140721223715248 140721223712888 140513983832791 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 13168640 140721223717003 140721223717449 140721223717449 140721223720906 0
/proc/27629/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 27629
/proc/meminfo: memFree=31076388/32770624 swapFree=0/544688
[pid=27629] ppid=27626 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27629/stat : 27629 (runsolver) D 27626 27629 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 84853472 24240128 106 18446744073709551615 4194304 4338465 140721223715248 140721223712888 140513983832791 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 13168640 140721223717003 140721223717449 140721223717449 140721223720906 0
/proc/27629/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200312 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 27629
/proc/meminfo: memFree=31076388/32770624 swapFree=0/544688
[pid=27629] ppid=27626 vsize=28924 CPUtime=0.07 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 1043 0 0 0 7 0 0 0 20 0 1 0 84853472 29618176 876 18446744073709551615 4194304 7396336 140734154492640 140734154489640 140718804581349 0 0 1 0 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 7231 876 671 782 0 247 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28924
[startup+0.300255 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 27629
/proc/meminfo: memFree=31076388/32770624 swapFree=0/544688
[pid=27629] ppid=27626 vsize=28924 CPUtime=0.17 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 1064 0 0 0 17 0 0 0 20 0 1 0 84853472 29618176 876 18446744073709551615 4194304 7396336 140734154492640 140734154483336 140718810772710 0 0 1 0 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 7231 876 671 782 0 247 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 28924
[startup+0.700215 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 27629
/proc/meminfo: memFree=31076388/32770624 swapFree=0/544688
[pid=27629] ppid=27626 vsize=29328 CPUtime=0.57 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 1157 0 0 0 57 0 0 0 20 0 1 0 84853472 30031872 979 18446744073709551615 4194304 7396336 140734154492640 140734154483336 6036718 0 0 1 0 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 7332 979 672 782 0 348 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 29328
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27630
/proc/meminfo: memFree=31074748/32770624 swapFree=0/544608
[pid=27629] ppid=27626 vsize=30124 CPUtime=1.37 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 1364 0 0 0 137 0 0 0 20 0 1 0 84853472 30846976 1150 18446744073709551615 4194304 7396336 140734154492640 140734154483608 6190013 0 0 1 0 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 7531 1150 672 782 0 547 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 30124
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27630
/proc/meminfo: memFree=31070284/32770624 swapFree=0/544608
[pid=27629] ppid=27626 vsize=33856 CPUtime=2.97 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 3488 0 0 0 297 0 0 0 20 0 1 0 84853472 34668544 2185 18446744073709551615 4194304 7396336 140734154492640 140734154486888 5649694 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8464 2185 770 782 0 1480 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 33856
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27630
/proc/meminfo: memFree=31069736/32770624 swapFree=0/544608
[pid=27629] ppid=27626 vsize=33856 CPUtime=6.17 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 4602 0 0 0 617 0 0 0 20 0 1 0 84853472 34668544 2216 18446744073709551615 4194304 7396336 140734154492640 140734154486888 4249696 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8464 2216 770 782 0 1480 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 33856
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27630
/proc/meminfo: memFree=31069400/32770624 swapFree=0/544608
[pid=27629] ppid=27626 vsize=33856 CPUtime=12.57 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 5739 0 0 0 1257 0 0 0 20 0 1 0 84853472 34668544 2232 18446744073709551615 4194304 7396336 140734154492640 140734154486888 5162920 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8464 2232 770 782 0 1480 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 33856
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27630
/proc/meminfo: memFree=31069680/32770624 swapFree=0/544600
[pid=27629] ppid=27626 vsize=33988 CPUtime=25.37 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 7027 0 0 0 2537 0 0 0 20 0 1 0 84853472 34803712 2249 18446744073709551615 4194304 7396336 140734154492640 140734154486904 4379197 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8497 2249 770 782 0 1513 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 33988
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27632
/proc/meminfo: memFree=31069540/32770624 swapFree=0/544608
[pid=27629] ppid=27626 vsize=33988 CPUtime=50.97 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 7693 0 0 0 5097 0 0 0 20 0 1 0 84853472 34803712 2259 18446744073709551615 4194304 7396336 140734154492640 140734154486904 140718804574004 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8497 2259 770 782 0 1513 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 33988
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 27634
/proc/meminfo: memFree=31069432/32770624 swapFree=0/544616
[pid=27629] ppid=27626 vsize=34120 CPUtime=102.17 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 8403 0 0 0 10217 0 0 0 20 0 1 0 84853472 34938880 2271 18446744073709551615 4194304 7396336 140734154492640 140734154486904 4246639 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8530 2271 770 782 0 1546 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 34120
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 27636
/proc/meminfo: memFree=31069448/32770624 swapFree=0/544628
[pid=27629] ppid=27626 vsize=34120 CPUtime=162.17 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 9085 0 0 0 16217 0 0 0 20 0 1 0 84853472 34938880 2277 18446744073709551615 4194304 7396336 140734154492640 140734154486904 4407057 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8530 2277 770 782 0 1546 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 34120
[startup+222.306 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 27638
/proc/meminfo: memFree=31069068/32770624 swapFree=0/544640
[pid=27629] ppid=27626 vsize=34120 CPUtime=222.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 9769 0 0 0 22218 0 0 0 20 0 1 0 84853472 34938880 2282 18446744073709551615 4194304 7396336 140734154492640 140734154486904 4334218 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8530 2282 770 782 0 1546 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 34120
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 27641
/proc/meminfo: memFree=31069736/32770624 swapFree=0/544660
[pid=27629] ppid=27626 vsize=34120 CPUtime=282.17 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 10438 0 0 0 28217 0 0 0 20 0 1 0 84853472 34938880 2285 18446744073709551615 4194304 7396336 140734154492640 140734154486904 5575964 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8530 2285 770 782 0 1546 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 34120
[startup+342.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/185 27643
/proc/meminfo: memFree=31069100/32770624 swapFree=0/544664
[pid=27629] ppid=27626 vsize=34120 CPUtime=342.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 11149 0 0 0 34218 0 0 0 20 0 1 0 84853472 34938880 2286 18446744073709551615 4194304 7396336 140734154492640 140734154486904 5861589 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8530 2286 770 782 0 1546 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 34120
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 27660
/proc/meminfo: memFree=31064944/32770624 swapFree=0/544668
[pid=27629] ppid=27626 vsize=34276 CPUtime=402.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 11865 0 0 0 40218 0 0 0 20 0 1 0 84853472 35098624 2300 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5669523 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2300 770 782 0 1585 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 34276
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 27662
/proc/meminfo: memFree=31064788/32770624 swapFree=0/544684
[pid=27629] ppid=27626 vsize=34276 CPUtime=462.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 12569 0 0 0 46218 0 0 0 20 0 1 0 84853472 35098624 2315 18446744073709551615 4194304 7396336 140734154492640 140734154486744 140718804578943 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2315 770 782 0 1585 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 34276
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 27664
/proc/meminfo: memFree=31068708/32770624 swapFree=0/544696
[pid=27629] ppid=27626 vsize=34276 CPUtime=522.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 13266 0 0 0 52218 0 0 0 20 0 1 0 84853472 35098624 2316 18446744073709551615 4194304 7396336 140734154492640 140734154486744 140718804580421 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2316 770 782 0 1585 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 34276
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 27666
/proc/meminfo: memFree=31068956/32770624 swapFree=0/544704
[pid=27629] ppid=27626 vsize=34276 CPUtime=582.18 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 13971 0 0 0 58218 0 0 0 20 0 1 0 84853472 35098624 2317 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5858897 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2317 770 782 0 1585 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 34276
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 27823
/proc/meminfo: memFree=31080936/32770624 swapFree=0/545040
[pid=27629] ppid=27626 vsize=34276 CPUtime=1602.21 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 25216 0 0 0 160221 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5861636 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 34276
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 27825
/proc/meminfo: memFree=31081208/32770624 swapFree=0/545036
[pid=27629] ppid=27626 vsize=34276 CPUtime=1662.21 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 25920 0 0 0 166221 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4334218 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 34276
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 27827
/proc/meminfo: memFree=31084932/32770624 swapFree=0/545052
[pid=27629] ppid=27626 vsize=34276 CPUtime=1722.21 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 26624 0 0 0 172221 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5871968 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 34276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27830
/proc/meminfo: memFree=31084776/32770624 swapFree=0/545068
[pid=27629] ppid=27626 vsize=34276 CPUtime=1782.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 27329 0 0 0 178222 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4547237 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 34276
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 27833
/proc/meminfo: memFree=31084388/32770624 swapFree=0/545072
[pid=27629] ppid=27626 vsize=34276 CPUtime=1842.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 28033 0 0 0 184222 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 140718804578943 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 34276
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 27835
/proc/meminfo: memFree=31084608/32770624 swapFree=0/545096
[pid=27629] ppid=27626 vsize=34276 CPUtime=1902.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 28738 0 0 0 190222 0 0 0 20 0 1 0 84853472 35098624 2326 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5575964 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2326 770 782 0 1585 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 34276
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27837
/proc/meminfo: memFree=31084484/32770624 swapFree=0/545104
[pid=27629] ppid=27626 vsize=34276 CPUtime=1962.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 29444 0 0 0 196222 0 0 0 20 0 1 0 84853472 35098624 2327 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5798648 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2327 770 782 0 1585 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 34276
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 27839
/proc/meminfo: memFree=31084700/32770624 swapFree=0/545112
[pid=27629] ppid=27626 vsize=34276 CPUtime=2022.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 30150 0 0 0 202222 0 0 0 20 0 1 0 84853472 35098624 2327 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4249504 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2327 770 782 0 1585 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 34276
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 27841
/proc/meminfo: memFree=31084344/32770624 swapFree=0/545128
[pid=27629] ppid=27626 vsize=34276 CPUtime=2082.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 30855 0 0 0 208223 0 0 0 20 0 1 0 84853472 35098624 2327 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5861619 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2327 770 782 0 1585 0
Current children cumulated CPU time (s) 2082.23
Current children cumulated vsize (KiB) 34276
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27843
/proc/meminfo: memFree=31084700/32770624 swapFree=0/545140
[pid=27629] ppid=27626 vsize=34276 CPUtime=2142.22 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 31571 0 0 0 214222 0 0 0 20 0 1 0 84853472 35098624 2327 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4406761 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2327 770 782 0 1585 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 34276
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 27860
/proc/meminfo: memFree=31079536/32770624 swapFree=0/545140
[pid=27629] ppid=27626 vsize=34276 CPUtime=2202.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 32278 0 0 0 220223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5649755 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 34276
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 27863
/proc/meminfo: memFree=31080388/32770624 swapFree=0/545168
[pid=27629] ppid=27626 vsize=34276 CPUtime=2262.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 32982 0 0 0 226223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5668890 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 34276
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27865
/proc/meminfo: memFree=31083916/32770624 swapFree=0/545180
[pid=27629] ppid=27626 vsize=34276 CPUtime=2322.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 33649 0 0 0 232223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4581822 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 34276
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27868
/proc/meminfo: memFree=31084824/32770624 swapFree=0/545192
[pid=27629] ppid=27626 vsize=34276 CPUtime=2382.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 34345 0 0 0 238223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 140718804573820 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 34276
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27870
/proc/meminfo: memFree=31084420/32770624 swapFree=0/545204
[pid=27629] ppid=27626 vsize=34276 CPUtime=2442.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 34971 0 0 0 244223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5798020 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2442.23
Current children cumulated vsize (KiB) 34276
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27873
/proc/meminfo: memFree=31084844/32770624 swapFree=0/545224
[pid=27629] ppid=27626 vsize=34276 CPUtime=2502.23 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 35678 0 0 0 250223 0 0 0 20 0 1 0 84853472 35098624 2328 18446744073709551615 4194304 7396336 140734154492640 140734154486744 4542704 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2328 770 782 0 1585 0
Current children cumulated CPU time (s) 2502.23
Current children cumulated vsize (KiB) 34276
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 27873
/proc/meminfo: memFree=31084852/32770624 swapFree=0/545224
[pid=27629] ppid=27626 vsize=34276 CPUtime=2519.93 cores=1,3,5,7
/proc/27629/stat : 27629 (MistralXCSP) R 27626 27629 31388 0 -1 4202496 36384 0 0 0 251993 0 0 0 20 0 1 0 84853472 35098624 2329 18446744073709551615 4194304 7396336 140734154492640 140734154486744 5575964 0 0 1 16386 0 0 0 17 5 0 0 12 0 0 9496464 9501696 10964992 140734154494387 140734154494536 140734154494536 140734154497993 0
/proc/27629/statm: 8569 2329 770 782 0 1585 0
Current children cumulated CPU time (s) 2519.93
Current children cumulated vsize (KiB) 34276
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 27629 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.95
CPU user time (s): 2519.94
CPU system time (s): 0.01
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 34276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.01
maximum resident set size= 9336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36414
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= 9
involuntary context switches= 856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81895 second user time and 8.63774 second system time
The end