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-4261341-1502367952/watcher-4261341-1502367952 -o /tmp/evaluation-result-4261341-1502367952/solver-4261341-1502367952 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23275 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 545121775 HOME/instance-4261341-1502367952.xml
pid=29314
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.07 2.05 2.05 3/185 29317
/proc/meminfo: memFree=30733080/32770624 swapFree=0/408968
[pid=29317] ppid=29314 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29317/stat : 29317 (runsolver) D 29314 29317 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 84610464 24240128 107 18446744073709551615 4194304 4338465 140723850720176 140723850717816 140435078165207 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8294400 140723850723467 140723850723913 140723850723913 140723850727370 0
/proc/29317/statm: 5918 107 54 36 0 2156 0
[startup+0.100109 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 29317
/proc/meminfo: memFree=30733080/32770624 swapFree=0/408968
[pid=29317] ppid=29314 vsize=32060 CPUtime=0.03 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 1796 0 0 0 3 0 0 0 20 0 1 0 84610464 32829440 1588 18446744073709551615 4194304 7396336 140723030051040 140723030048040 5882981 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 8015 1588 607 782 0 1031 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32060
[startup+0.200245 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 29317
/proc/meminfo: memFree=30733080/32770624 swapFree=0/408968
[pid=29317] ppid=29314 vsize=32388 CPUtime=0.13 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 1859 0 0 0 13 0 0 0 20 0 1 0 84610464 33165312 1653 18446744073709551615 4194304 7396336 140723030051040 140723030048040 5883299 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 8097 1653 614 782 0 1113 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 32388
[startup+0.3002 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 29317
/proc/meminfo: memFree=30733080/32770624 swapFree=0/408968
[pid=29317] ppid=29314 vsize=32580 CPUtime=0.23 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 1938 0 0 0 23 0 0 0 20 0 1 0 84610464 33361920 1668 18446744073709551615 4194304 7396336 140723030051040 140723030048040 5944370 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 8145 1668 614 782 0 1161 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 32580
[startup+0.700171 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 29317
/proc/meminfo: memFree=30733080/32770624 swapFree=0/408968
[pid=29317] ppid=29314 vsize=34028 CPUtime=0.63 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 2489 0 0 0 63 0 0 0 20 0 1 0 84610464 34844672 2097 18446744073709551615 4194304 7396336 140723030051040 140723030048040 140330462829541 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 8507 2097 719 782 0 1523 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 34028
[startup+1.50017 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 29318
/proc/meminfo: memFree=30724532/32770624 swapFree=0/408808
[pid=29317] ppid=29314 vsize=36720 CPUtime=1.43 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 3155 0 0 0 143 0 0 0 20 0 1 0 84610464 37601280 2757 18446744073709551615 4194304 7396336 140723030051040 140723030041544 6180779 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 9180 2757 719 782 0 2196 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 36720
[startup+3.10018 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 29319
/proc/meminfo: memFree=30719944/32770624 swapFree=0/408808
[pid=29317] ppid=29314 vsize=41952 CPUtime=3.03 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 5284 0 0 0 303 0 0 0 20 0 1 0 84610464 42958848 4150 18446744073709551615 4194304 7396336 140723030051040 140723030041784 6083924 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 10488 4150 719 782 0 3504 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 41952
[startup+6.30017 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 29319
/proc/meminfo: memFree=30657172/32770624 swapFree=0/408804
[pid=29317] ppid=29314 vsize=54716 CPUtime=6.23 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 11027 0 0 0 622 1 0 0 20 0 1 0 84610464 56029184 7277 18446744073709551615 4194304 7396336 140723030051040 140723030041368 6195249 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 13679 7277 719 782 0 6695 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 54716
[startup+12.7002 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 29319
/proc/meminfo: memFree=30628484/32770624 swapFree=0/408800
[pid=29317] ppid=29314 vsize=82992 CPUtime=12.63 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 24540 0 0 0 1260 3 0 0 20 0 1 0 84610464 84983808 14402 18446744073709551615 4194304 7396336 140723030051040 140723030041368 140330469020934 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 20748 14402 719 782 0 13764 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 82992
[startup+25.5002 s]
/proc/loadavg: 2.05 2.05 2.05 3/186 29319
/proc/meminfo: memFree=30591716/32770624 swapFree=0/408800
[pid=29317] ppid=29314 vsize=118860 CPUtime=25.44 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 37970 0 0 0 2539 5 0 0 20 0 1 0 84610464 121712640 23333 18446744073709551615 4194304 7396336 140723030051040 140723030041784 140330463576816 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 29715 23333 719 782 0 22731 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 118860
[startup+51.1002 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 29321
/proc/meminfo: memFree=30470432/32770624 swapFree=0/408796
[pid=29317] ppid=29314 vsize=201536 CPUtime=51.03 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 91594 0 0 0 5094 9 0 0 20 0 1 0 84610464 206372864 43913 18446744073709551615 4194304 7396336 140723030051040 140723030041784 6195558 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 50384 43913 721 782 0 43400 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 201536
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 29323
/proc/meminfo: memFree=30215308/32770624 swapFree=0/408800
[pid=29317] ppid=29314 vsize=381980 CPUtime=102.24 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 171274 0 0 0 10207 17 0 0 20 0 1 0 84610464 391147520 89114 18446744073709551615 4194304 7396336 140723030051040 140723030045336 4257837 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 95495 89114 757 782 0 88511 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 381980
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 29325
/proc/meminfo: memFree=30147924/32770624 swapFree=0/408812
[pid=29317] ppid=29314 vsize=390588 CPUtime=162.24 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 232841 0 0 0 16203 21 0 0 20 0 1 0 84610464 399962112 91308 18446744073709551615 4194304 7396336 140723030051040 140723030045496 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 97647 91308 757 782 0 90663 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 390588
[startup+222.306 s]
/proc/loadavg: 1.95 2.01 2.04 3/186 29327
/proc/meminfo: memFree=30030348/32770624 swapFree=0/408820
[pid=29317] ppid=29314 vsize=391380 CPUtime=222.25 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 248249 0 0 0 22203 22 0 0 20 0 1 0 84610464 400773120 91471 18446744073709551615 4194304 7396336 140723030051040 140723030045592 5670904 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 97845 91471 757 782 0 90861 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 391380
[startup+282.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/186 29329
/proc/meminfo: memFree=29994360/32770624 swapFree=0/408828
[pid=29317] ppid=29314 vsize=391776 CPUtime=282.26 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 323144 0 0 0 28200 26 0 0 20 0 1 0 84610464 401178624 91597 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 97944 91597 757 782 0 90960 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 391776
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 29331
/proc/meminfo: memFree=29939976/32770624 swapFree=0/408836
[pid=29317] ppid=29314 vsize=392172 CPUtime=342.26 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 382605 0 0 0 34196 30 0 0 20 0 1 0 84610464 401584128 91685 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4581555 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98043 91685 757 782 0 91059 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 392172
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29333
/proc/meminfo: memFree=29880028/32770624 swapFree=0/408844
[pid=29317] ppid=29314 vsize=392304 CPUtime=402.26 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 457563 0 0 0 40192 34 0 0 20 0 1 0 84610464 401719296 91743 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4406356 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98076 91743 757 782 0 91092 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 392304
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29337
/proc/meminfo: memFree=29824744/32770624 swapFree=0/408852
[pid=29317] ppid=29314 vsize=392436 CPUtime=462.27 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 473287 0 0 0 46192 35 0 0 20 0 1 0 84610464 401854464 91797 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4257788 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98109 91797 757 782 0 91125 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 392436
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29353
/proc/meminfo: memFree=29780496/32770624 swapFree=0/408860
[pid=29317] ppid=29314 vsize=392568 CPUtime=522.24 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 539162 0 0 0 52186 38 0 0 20 0 1 0 84610464 401989632 91894 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4406492 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98142 91894 757 782 0 91158 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 392568
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29355
/proc/meminfo: memFree=29716088/32770624 swapFree=0/408864
[pid=29317] ppid=29314 vsize=392832 CPUtime=582.23 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 581653 0 0 0 58183 40 0 0 20 0 1 0 84610464 402259968 91945 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98208 91945 757 782 0 91224 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 392832
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29412
/proc/meminfo: memFree=29086696/32770624 swapFree=0/409084
[pid=29317] ppid=29314 vsize=394152 CPUtime=1602.3 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 611328 0 0 0 160187 43 0 0 20 0 1 0 84610464 403611648 92289 18446744073709551615 4194304 7396336 140723030051040 140723030045464 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98538 92289 757 782 0 91554 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 394152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/186 29414
/proc/meminfo: memFree=29057992/32770624 swapFree=0/409092
[pid=29317] ppid=29314 vsize=394284 CPUtime=1662.3 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 612767 0 0 0 166187 43 0 0 20 0 1 0 84610464 403746816 92308 18446744073709551615 4194304 7396336 140723030051040 140723030045464 4379197 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98571 92308 757 782 0 91587 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 394284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29431
/proc/meminfo: memFree=29039012/32770624 swapFree=0/409112
[pid=29317] ppid=29314 vsize=394284 CPUtime=1722.3 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 612912 0 0 0 172187 43 0 0 20 0 1 0 84610464 403746816 92323 18446744073709551615 4194304 7396336 140723030051040 140723030045464 4406356 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98571 92323 757 782 0 91587 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 394284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29434
/proc/meminfo: memFree=29016156/32770624 swapFree=0/409132
[pid=29317] ppid=29314 vsize=394416 CPUtime=1782.31 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 614262 0 0 0 178188 43 0 0 20 0 1 0 84610464 403881984 92338 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4257728 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98604 92338 757 782 0 91620 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 394416
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 29436
/proc/meminfo: memFree=29001152/32770624 swapFree=0/409140
[pid=29317] ppid=29314 vsize=394548 CPUtime=1842.32 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 614423 0 0 0 184188 44 0 0 20 0 1 0 84610464 404017152 92377 18446744073709551615 4194304 7396336 140723030051040 140723030045464 5672343 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98637 92377 757 782 0 91653 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 394548
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29438
/proc/meminfo: memFree=28982940/32770624 swapFree=0/409176
[pid=29317] ppid=29314 vsize=394548 CPUtime=1902.32 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 615800 0 0 0 190188 44 0 0 20 0 1 0 84610464 404017152 92378 18446744073709551615 4194304 7396336 140723030051040 140723030045464 4257728 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98637 92378 757 782 0 91653 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 394548
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29440
/proc/meminfo: memFree=28960688/32770624 swapFree=0/409184
[pid=29317] ppid=29314 vsize=394548 CPUtime=1962.32 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 616803 0 0 0 196188 44 0 0 20 0 1 0 84610464 404017152 92387 18446744073709551615 4194304 7396336 140723030051040 140723030045464 5588165 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98637 92387 757 782 0 91653 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 394548
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 29442
/proc/meminfo: memFree=28941792/32770624 swapFree=0/409196
[pid=29317] ppid=29314 vsize=394548 CPUtime=2022.33 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 616940 0 0 0 202189 44 0 0 20 0 1 0 84610464 404017152 92397 18446744073709551615 4194304 7396336 140723030051040 140723030045464 4407057 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98637 92397 757 782 0 91653 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 394548
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29445
/proc/meminfo: memFree=28921776/32770624 swapFree=0/409204
[pid=29317] ppid=29314 vsize=394680 CPUtime=2082.34 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 617849 0 0 0 208190 44 0 0 20 0 1 0 84610464 404152320 92410 18446744073709551615 4194304 7396336 140723030051040 140723030045592 5672864 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98670 92410 757 782 0 91686 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 394680
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29448
/proc/meminfo: memFree=28891632/32770624 swapFree=0/409204
[pid=29317] ppid=29314 vsize=394680 CPUtime=2142.34 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 617984 0 0 0 214190 44 0 0 20 0 1 0 84610464 404152320 92419 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4406506 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98670 92419 757 782 0 91686 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 394680
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29450
/proc/meminfo: memFree=28876328/32770624 swapFree=0/409220
[pid=29317] ppid=29314 vsize=394680 CPUtime=2202.35 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 618899 0 0 0 220191 44 0 0 20 0 1 0 84610464 404152320 92426 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4406356 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98670 92426 757 782 0 91686 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 394680
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29452
/proc/meminfo: memFree=28860412/32770624 swapFree=0/409212
[pid=29317] ppid=29314 vsize=394680 CPUtime=2262.35 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 619032 0 0 0 226191 44 0 0 20 0 1 0 84610464 404152320 92431 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98670 92431 757 782 0 91686 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 394680
[startup+2322.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/189 29468
/proc/meminfo: memFree=28766456/32770624 swapFree=0/409216
[pid=29317] ppid=29314 vsize=394812 CPUtime=2322.35 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 619956 0 0 0 232191 44 0 0 20 0 1 0 84610464 404287488 92434 18446744073709551615 4194304 7396336 140723030051040 140723030045592 5672369 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98703 92434 757 782 0 91719 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 394812
[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 29470
/proc/meminfo: memFree=28760380/32770624 swapFree=0/409240
[pid=29317] ppid=29314 vsize=394812 CPUtime=2382.36 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 620091 0 0 0 238192 44 0 0 20 0 1 0 84610464 404287488 92438 18446744073709551615 4194304 7396336 140723030051040 140723030045592 5672420 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98703 92438 757 782 0 91719 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 394812
[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 29473
/proc/meminfo: memFree=28747052/32770624 swapFree=0/409236
[pid=29317] ppid=29314 vsize=394812 CPUtime=2442.37 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 621029 0 0 0 244192 45 0 0 20 0 1 0 84610464 404287488 92446 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4406356 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98703 92446 757 782 0 91719 0
Current children cumulated CPU time (s) 2442.37
Current children cumulated vsize (KiB) 394812
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 29535
/proc/meminfo: memFree=30814348/32770624 swapFree=0/409268
[pid=29317] ppid=29314 vsize=394812 CPUtime=2502.37 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 621164 0 0 0 250192 45 0 0 20 0 1 0 84610464 404287488 92456 18446744073709551615 4194304 7396336 140723030051040 140723030045592 4253024 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98703 92456 757 782 0 91719 0
Current children cumulated CPU time (s) 2502.37
Current children cumulated vsize (KiB) 394812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 29536
/proc/meminfo: memFree=30814244/32770624 swapFree=0/409284
[pid=29317] ppid=29314 vsize=394812 CPUtime=2520.07 cores=1,3,5,7
/proc/29317/stat : 29317 (MistralXCSP) R 29314 29317 1774 0 -1 4202496 622114 0 0 0 251962 45 0 0 20 0 1 0 84610464 404287488 92464 18446744073709551615 4194304 7396336 140723030051040 140723030045592 5586528 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 33546240 140723030057395 140723030057544 140723030057544 140723030061001 0
/proc/29317/statm: 98703 92464 757 782 0 91719 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 394812
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 29317 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.08
CPU user time (s): 2519.63
CPU system time (s): 0.453036
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 394812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.453036
maximum resident set size= 369884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622142
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= 124
involuntary context switches= 1051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27617 second user time and 12.6391 second system time
The end