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-4261734-1502403290/watcher-4261734-1502403290 -o /tmp/evaluation-result-4261734-1502403290/solver-4261734-1502403290 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27115 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 187361507 HOME/instance-4261734-1502403290.xml
pid=6192
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 3/183 6195
/proc/meminfo: memFree=31502080/32770624 swapFree=0/381712
[pid=6195] ppid=6192 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6195/stat : 6195 (runsolver) D 6192 6195 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 28669671 24240128 106 18446744073709551615 4194304 4338465 140724802366112 140724802363752 140084732003031 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 19046400 140724802371724 140724802372170 140724802372170 140724802375626 0
/proc/6195/statm: 5918 106 53 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6195
/proc/meminfo: memFree=31502080/32770624 swapFree=0/381712
[pid=6195] ppid=6192 vsize=29352 CPUtime=0 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 1108 0 0 0 0 0 0 0 20 0 1 0 28669671 30056448 934 18446744073709551615 4194304 7396336 140729450034480 140729450031480 5917398 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 7338 934 607 782 0 354 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29352
[startup+0.200268 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6195
/proc/meminfo: memFree=31502080/32770624 swapFree=0/381712
[pid=6195] ppid=6192 vsize=29872 CPUtime=0.1 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 1203 0 0 0 10 0 0 0 20 0 1 0 28669671 30588928 1000 18446744073709551615 4194304 7396336 140729450034480 140729450031480 5932276 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 7468 1000 613 782 0 484 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29872
[startup+0.300252 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6195
/proc/meminfo: memFree=31502080/32770624 swapFree=0/381712
[pid=6195] ppid=6192 vsize=30196 CPUtime=0.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 1318 0 0 0 20 0 0 0 20 0 1 0 28669671 30920704 1088 18446744073709551615 4194304 7396336 140729450034480 140729450031480 5881836 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 7549 1088 613 782 0 565 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30196
[startup+0.700226 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6195
/proc/meminfo: memFree=31502080/32770624 swapFree=0/381712
[pid=6195] ppid=6192 vsize=31504 CPUtime=0.6 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 1741 0 0 0 60 0 0 0 20 0 1 0 28669671 32260096 1429 18446744073709551615 4194304 7396336 140729450034480 140729450031480 6034747 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 7876 1429 613 782 0 892 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31504
[startup+1.50022 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 6196
/proc/meminfo: memFree=31497672/32770624 swapFree=0/381668
[pid=6195] ppid=6192 vsize=33988 CPUtime=1.4 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 2586 0 0 0 140 0 0 0 20 0 1 0 28669671 34803712 2047 18446744073709551615 4194304 7396336 140729450034480 140729450027720 140643428166629 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 8497 2047 613 782 0 1513 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 33988
[startup+3.10022 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 6196
/proc/meminfo: memFree=31493200/32770624 swapFree=0/381668
[pid=6195] ppid=6192 vsize=44352 CPUtime=3 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 5806 0 0 0 299 1 0 0 20 0 1 0 28669671 45416448 4507 18446744073709551615 4194304 7396336 140729450034480 140729450027720 140643434653850 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 11088 4507 724 782 0 4104 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 44352
[startup+6.30022 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 6196
/proc/meminfo: memFree=31469900/32770624 swapFree=0/381668
[pid=6195] ppid=6192 vsize=65464 CPUtime=6.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 12053 0 0 0 618 2 0 0 20 0 1 0 28669671 67035136 9813 18446744073709551615 4194304 7396336 140729450034480 140729450025032 140643434367911 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 16366 9813 724 782 0 9382 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 65464
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 6196
/proc/meminfo: memFree=31425812/32770624 swapFree=0/381684
[pid=6195] ppid=6192 vsize=110192 CPUtime=12.6 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 32371 0 0 0 1257 3 0 0 20 0 1 0 28669671 112836608 20984 18446744073709551615 4194304 7396336 140729450034480 140729450025176 140643428159144 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 27548 20984 724 782 0 20564 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 110192
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 6196
/proc/meminfo: memFree=31341848/32770624 swapFree=0/381688
[pid=6195] ppid=6192 vsize=189508 CPUtime=25.4 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 72644 0 0 0 2532 8 0 0 20 0 1 0 28669671 194056192 40835 18446744073709551615 4194304 7396336 140729450034480 140729450025080 5647818 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 47377 40835 724 782 0 40393 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 189508
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 6223
/proc/meminfo: memFree=31234536/32770624 swapFree=0/381720
[pid=6195] ppid=6192 vsize=296316 CPUtime=51 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 103279 0 0 0 5089 11 0 0 20 0 1 0 28669671 303427584 67532 18446744073709551615 4194304 7396336 140729450034480 140729450025032 6181659 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 74079 67532 724 782 0 67095 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 296316
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 6225
/proc/meminfo: memFree=31024684/32770624 swapFree=0/381736
[pid=6195] ppid=6192 vsize=503812 CPUtime=102.21 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 207644 0 0 0 10201 20 0 0 20 0 1 0 28669671 515903488 119399 18446744073709551615 4194304 7396336 140729450034480 140729450025032 140643434358002 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 125953 119399 724 782 0 118969 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 503812
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6228
/proc/meminfo: memFree=30864664/32770624 swapFree=0/381760
[pid=6195] ppid=6192 vsize=667456 CPUtime=162.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 248983 0 0 0 16195 25 0 0 20 0 1 0 28669671 683474944 160326 18446744073709551615 4194304 7396336 140729450034480 140729450025032 4565872 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 166864 160326 724 782 0 159880 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 667456
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6230
/proc/meminfo: memFree=30745288/32770624 swapFree=0/381772
[pid=6195] ppid=6192 vsize=786724 CPUtime=222.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 281518 0 0 0 22190 30 0 0 20 0 1 0 28669671 805605376 190105 18446744073709551615 4194304 7396336 140729450034480 140729450025032 140643434370196 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 196681 190105 724 782 0 189697 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 786724
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6232
/proc/meminfo: memFree=30573892/32770624 swapFree=0/381792
[pid=6195] ppid=6192 vsize=957948 CPUtime=282.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 310884 0 0 0 28183 37 0 0 20 0 1 0 28669671 980938752 232928 18446744073709551615 4194304 7396336 140729450034480 140729450025032 4565872 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 239487 232928 724 782 0 232503 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 957948
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6234
/proc/meminfo: memFree=30483320/32770624 swapFree=0/381820
[pid=6195] ppid=6192 vsize=1048556 CPUtime=342.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 333306 0 0 0 34180 39 0 0 20 0 1 0 28669671 1073721344 255592 18446744073709551615 4194304 7396336 140729450034480 140729450025032 5929806 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 262139 255592 724 782 0 255155 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1048556
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6236
/proc/meminfo: memFree=30148096/32770624 swapFree=0/381824
[pid=6195] ppid=6192 vsize=1382860 CPUtime=402.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 486704 0 0 0 40165 54 0 0 20 0 1 0 28669671 1416048640 339173 18446744073709551615 4194304 7396336 140729450034480 140729450025144 140643428159283 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 345715 339173 724 782 0 338731 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1382860
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6239
/proc/meminfo: memFree=30147816/32770624 swapFree=0/381828
[pid=6195] ppid=6192 vsize=1382860 CPUtime=462.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 517108 0 0 0 46161 58 0 0 20 0 1 0 28669671 1416048640 339173 18446744073709551615 4194304 7396336 140729450034480 140729450025144 140643428166107 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 345715 339173 724 782 0 338731 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1382860
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 6241
/proc/meminfo: memFree=30040632/32770624 swapFree=0/381856
[pid=6195] ppid=6192 vsize=1489140 CPUtime=522.17 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 709399 0 0 0 52149 68 0 0 20 0 1 0 28669671 1524879360 366035 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5586214 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366035 775 782 0 365301 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1489140
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 6258
/proc/meminfo: memFree=30036444/32770624 swapFree=0/381884
[pid=6195] ppid=6192 vsize=1489140 CPUtime=582.17 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 787354 0 0 0 58145 72 0 0 20 0 1 0 28669671 1524879360 366035 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366035 775 782 0 365301 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1489140
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6308
/proc/meminfo: memFree=30039736/32770624 swapFree=0/382184
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1602.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 836205 0 0 0 160143 75 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5610037 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 1489140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6311
/proc/meminfo: memFree=30039604/32770624 swapFree=0/382212
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1662.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 837334 0 0 0 166143 75 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 1489140
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 6313
/proc/meminfo: memFree=30039976/32770624 swapFree=0/382232
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1722.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 838597 0 0 0 172143 75 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1722.18
Current children cumulated vsize (KiB) 1489140
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 6330
/proc/meminfo: memFree=30036232/32770624 swapFree=0/382252
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1782.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 839891 0 0 0 178142 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165796 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 1489140
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 6332
/proc/meminfo: memFree=30036136/32770624 swapFree=0/382284
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1842.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 840714 0 0 0 184143 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 4252465 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 1489140
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6334
/proc/meminfo: memFree=30039776/32770624 swapFree=0/382312
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1902.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 842235 0 0 0 190142 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 1489140
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6336
/proc/meminfo: memFree=30039884/32770624 swapFree=0/382324
[pid=6195] ppid=6192 vsize=1489140 CPUtime=1962.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 843547 0 0 0 196142 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 1489140
[startup+2022.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/182 6338
/proc/meminfo: memFree=30039776/32770624 swapFree=0/382332
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2022.18 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 844858 0 0 0 202142 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 1489140
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 6340
/proc/meminfo: memFree=30039792/32770624 swapFree=0/382340
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2082.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 846111 0 0 0 208143 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 1489140
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6342
/proc/meminfo: memFree=30039784/32770624 swapFree=0/382356
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2142.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 847466 0 0 0 214143 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165796 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 1489140
[startup+2202.31 s]
/proc/loadavg: 2.16 2.08 2.06 3/181 6404
/proc/meminfo: memFree=30176880/32770624 swapFree=0/382368
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2202.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 848811 0 0 0 220143 76 0 0 20 0 1 0 28669671 1524879360 366037 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5586259 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366037 777 782 0 365301 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 1489140
[startup+2262.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/181 6406
/proc/meminfo: memFree=30177184/32770624 swapFree=0/382392
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2262.2 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 850661 0 0 0 226143 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 1489140
[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/181 6408
/proc/meminfo: memFree=30176544/32770624 swapFree=0/382416
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2322.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 851970 0 0 0 232142 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 4246577 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2322.19
Current children cumulated vsize (KiB) 1489140
[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 6424
/proc/meminfo: memFree=30172600/32770624 swapFree=0/382448
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2382.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 853154 0 0 0 238142 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2382.19
Current children cumulated vsize (KiB) 1489140
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 6426
/proc/meminfo: memFree=30172296/32770624 swapFree=0/382476
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2442.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 854378 0 0 0 244142 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2442.19
Current children cumulated vsize (KiB) 1489140
[startup+2502.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 6428
/proc/meminfo: memFree=30175968/32770624 swapFree=0/382504
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2502.19 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 855527 0 0 0 250142 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 4252544 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2502.19
Current children cumulated vsize (KiB) 1489140
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 6429
/proc/meminfo: memFree=30175648/32770624 swapFree=0/382512
[pid=6195] ppid=6192 vsize=1489140 CPUtime=2519.89 cores=1,3,5,7
/proc/6195/stat : 6195 (MistralXCSP) R 6192 6195 6971 0 -1 4202496 856139 0 0 0 251912 77 0 0 20 0 1 0 28669671 1524879360 366038 18446744073709551615 4194304 7396336 140729450034480 140729450029832 4264607 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 37785600 140729450037684 140729450037833 140729450037833 140729450041289 0
/proc/6195/statm: 372285 366038 778 782 0 365301 0
Current children cumulated CPU time (s) 2519.89
Current children cumulated vsize (KiB) 1489140
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 6195 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.13
CPU system time (s): 0.782011
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 1489140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.13
system time used= 0.782011
maximum resident set size= 1464172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 856176
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= 114
involuntary context switches= 872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47184 second user time and 10.6394 second system time
The end