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-4260896-1502354885/watcher-4260896-1502354885 -o /tmp/evaluation-result-4260896-1502354885/solver-4260896-1502354885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 46537124 HOME/instance-4260896-1502354885.xml
pid=28366
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.00 2.03 3/185 28369
/proc/meminfo: memFree=30644632/32770624 swapFree=0/424584
[pid=28369] ppid=28366 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28369/stat : 28369 (runsolver) D 28366 28369 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 135141475 24240128 106 18446744073709551615 4194304 4338465 140725736707952 140725736705592 139960863498967 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9400320 140725736710284 140725736710729 140725736710729 140725736714186 0
/proc/28369/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28369
/proc/meminfo: memFree=30644632/32770624 swapFree=0/424584
[pid=28369] ppid=28366 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28369/stat : 28369 (runsolver) D 28366 28369 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 135141475 24240128 106 18446744073709551615 4194304 4338465 140725736707952 140725736705592 139960863498967 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9400320 140725736710284 140725736710729 140725736710729 140725736714186 0
/proc/28369/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200331 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28369
/proc/meminfo: memFree=30644632/32770624 swapFree=0/424584
[pid=28369] ppid=28366 vsize=37176 CPUtime=0.06 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 3158 0 0 0 6 0 0 0 20 0 1 0 135141475 38068224 2913 18446744073709551615 4194304 7396336 140732987734944 140732987731944 140078208539621 0 0 1 0 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 9294 2913 667 782 0 2310 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 37176
[startup+0.300312 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28369
/proc/meminfo: memFree=30644632/32770624 swapFree=0/424584
[pid=28369] ppid=28366 vsize=49536 CPUtime=0.16 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 6519 0 0 0 16 0 0 0 20 0 1 0 135141475 50724864 6019 18446744073709551615 4194304 7396336 140732987734944 140732987731944 4565880 0 0 1 0 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 12384 6019 680 782 0 5400 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 49536
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28369
/proc/meminfo: memFree=30644632/32770624 swapFree=0/424584
[pid=28369] ppid=28366 vsize=67416 CPUtime=0.56 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 10868 0 0 0 55 1 0 0 20 0 1 0 135141475 69033984 10490 18446744073709551615 4194304 7396336 140732987734944 140732987731944 4566039 0 0 1 0 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 16854 10490 680 782 0 9870 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 67416
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28370
/proc/meminfo: memFree=30593416/32770624 swapFree=0/424588
[pid=28369] ppid=28366 vsize=84868 CPUtime=1.36 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 15082 0 0 0 135 1 0 0 20 0 1 0 135141475 86904832 14839 18446744073709551615 4194304 7396336 140732987734944 140732987726216 4566032 0 0 1 0 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 21217 14839 680 782 0 14233 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 84868
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28370
/proc/meminfo: memFree=30581036/32770624 swapFree=0/424588
[pid=28369] ppid=28366 vsize=91856 CPUtime=2.96 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 28377 0 0 0 294 2 0 0 20 0 1 0 135141475 94060544 16628 18446744073709551615 4194304 7396336 140732987734944 140732987729416 5165805 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 22964 16628 718 782 0 15980 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 91856
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28370
/proc/meminfo: memFree=30580336/32770624 swapFree=0/424592
[pid=28369] ppid=28366 vsize=92008 CPUtime=6.16 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 39904 0 0 0 613 3 0 0 20 0 1 0 135141475 94216192 16645 18446744073709551615 4194304 7396336 140732987734944 140732987729576 5165796 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23002 16645 718 782 0 16018 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 92008
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28370
/proc/meminfo: memFree=30580148/32770624 swapFree=0/424592
[pid=28369] ppid=28366 vsize=92008 CPUtime=12.56 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 51415 0 0 0 1253 3 0 0 20 0 1 0 135141475 94216192 16645 18446744073709551615 4194304 7396336 140732987734944 140732987729576 5165796 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23002 16645 718 782 0 16018 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 92008
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28370
/proc/meminfo: memFree=30580032/32770624 swapFree=0/424592
[pid=28369] ppid=28366 vsize=92008 CPUtime=25.36 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 74243 0 0 0 2532 4 0 0 20 0 1 0 135141475 94216192 16677 18446744073709551615 4194304 7396336 140732987734944 140732987729576 4246560 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23002 16677 718 782 0 16018 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 92008
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 28371
/proc/meminfo: memFree=30579696/32770624 swapFree=0/424588
[pid=28369] ppid=28366 vsize=92008 CPUtime=50.95 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 84265 0 0 0 5091 4 0 0 20 0 1 0 135141475 94216192 16679 18446744073709551615 4194304 7396336 140732987734944 140732987729576 5649755 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23002 16679 718 782 0 16018 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 92008
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28373
/proc/meminfo: memFree=30579724/32770624 swapFree=0/424604
[pid=28369] ppid=28366 vsize=92568 CPUtime=102.14 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 86379 0 0 0 10210 4 0 0 20 0 1 0 135141475 94789632 16811 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5165800 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16811 718 782 0 16158 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 92568
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 28375
/proc/meminfo: memFree=30579432/32770624 swapFree=0/424608
[pid=28369] ppid=28366 vsize=92568 CPUtime=162.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 87187 0 0 0 16209 4 0 0 20 0 1 0 135141475 94789632 16811 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5576718 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16811 718 782 0 16158 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 92568
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.04 3/185 28377
/proc/meminfo: memFree=30579392/32770624 swapFree=0/424628
[pid=28369] ppid=28366 vsize=92568 CPUtime=222.14 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 88001 0 0 0 22210 4 0 0 20 0 1 0 135141475 94789632 16813 18446744073709551615 4194304 7396336 140732987734944 140732987729400 4317615 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16813 718 782 0 16158 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 92568
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/184 28379
/proc/meminfo: memFree=30579408/32770624 swapFree=0/424640
[pid=28369] ppid=28366 vsize=92568 CPUtime=282.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 88812 0 0 0 28209 4 0 0 20 0 1 0 135141475 94789632 16815 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5165945 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16815 720 782 0 16158 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 92568
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 28381
/proc/meminfo: memFree=30579036/32770624 swapFree=0/424652
[pid=28369] ppid=28366 vsize=92568 CPUtime=342.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 89614 0 0 0 34209 4 0 0 20 0 1 0 135141475 94789632 16816 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5576739 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16816 720 782 0 16158 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 92568
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28397
/proc/meminfo: memFree=30576084/32770624 swapFree=0/424676
[pid=28369] ppid=28366 vsize=92568 CPUtime=402.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 90405 0 0 0 40209 4 0 0 20 0 1 0 135141475 94789632 16816 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5165805 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16816 720 782 0 16158 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 92568
[startup+462.3 s]
/proc/loadavg: 1.95 2.00 2.03 3/188 28400
/proc/meminfo: memFree=30575668/32770624 swapFree=0/424704
[pid=28369] ppid=28366 vsize=92568 CPUtime=462.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 91207 0 0 0 46209 4 0 0 20 0 1 0 135141475 94789632 16816 18446744073709551615 4194304 7396336 140732987734944 140732987729400 4252480 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16816 720 782 0 16158 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 92568
[startup+522.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/185 28402
/proc/meminfo: memFree=30578688/32770624 swapFree=0/424708
[pid=28369] ppid=28366 vsize=92568 CPUtime=522.13 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 92005 0 0 0 52209 4 0 0 20 0 1 0 135141475 94789632 16819 18446744073709551615 4194304 7396336 140732987734944 140732987729400 5165805 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16819 720 782 0 16158 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 92568
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 28404
/proc/meminfo: memFree=30578784/32770624 swapFree=0/424716
[pid=28369] ppid=28366 vsize=92568 CPUtime=582.12 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 92833 0 0 0 58208 4 0 0 20 0 1 0 135141475 94789632 16819 18446744073709551615 4194304 7396336 140732987734944 140732987729400 4252448 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23142 16819 720 782 0 16158 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 92568
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 28472
/proc/meminfo: memFree=30574620/32770624 swapFree=0/424976
[pid=28369] ppid=28366 vsize=92832 CPUtime=1602.11 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 107373 0 0 0 160205 6 0 0 20 0 1 0 135141475 95059968 16895 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5165805 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16895 720 782 0 16224 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 92832
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 28499
/proc/meminfo: memFree=30573100/32770624 swapFree=0/424988
[pid=28369] ppid=28366 vsize=92832 CPUtime=1662.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 108267 0 0 0 166204 6 0 0 20 0 1 0 135141475 95059968 16898 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5576082 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16898 720 782 0 16224 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 92832
[startup+1722.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/190 28501
/proc/meminfo: memFree=30573716/32770624 swapFree=0/425020
[pid=28369] ppid=28366 vsize=92832 CPUtime=1722.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 109151 0 0 0 172204 6 0 0 20 0 1 0 135141475 95059968 16899 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4246597 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16899 720 782 0 16224 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 92832
[startup+1782.3 s]
/proc/loadavg: 1.94 1.98 2.03 3/186 28503
/proc/meminfo: memFree=30577044/32770624 swapFree=0/425036
[pid=28369] ppid=28366 vsize=92832 CPUtime=1782.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 110042 0 0 0 178204 6 0 0 20 0 1 0 135141475 95059968 16900 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4581817 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16900 720 782 0 16224 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 92832
[startup+1842.3 s]
/proc/loadavg: 1.95 1.97 2.02 3/186 28505
/proc/meminfo: memFree=30577812/32770624 swapFree=0/425052
[pid=28369] ppid=28366 vsize=92832 CPUtime=1842.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 110933 0 0 0 184204 6 0 0 20 0 1 0 135141475 95059968 16903 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4581726 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16903 720 782 0 16224 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 92832
[startup+1902.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/185 28507
/proc/meminfo: memFree=30577912/32770624 swapFree=0/425056
[pid=28369] ppid=28366 vsize=92832 CPUtime=1902.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 111750 0 0 0 190204 6 0 0 20 0 1 0 135141475 95059968 16903 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4246577 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16903 720 782 0 16224 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 92832
[startup+1962.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/184 28509
/proc/meminfo: memFree=30577932/32770624 swapFree=0/425068
[pid=28369] ppid=28366 vsize=92832 CPUtime=1962.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 112646 0 0 0 196203 6 0 0 20 0 1 0 135141475 95059968 16903 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5165945 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16903 720 782 0 16224 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 92832
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28512
/proc/meminfo: memFree=30577760/32770624 swapFree=0/425088
[pid=28369] ppid=28366 vsize=92832 CPUtime=2022.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 113546 0 0 0 202203 6 0 0 20 0 1 0 135141475 95059968 16903 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4582262 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16903 720 782 0 16224 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 92832
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28514
/proc/meminfo: memFree=30578180/32770624 swapFree=0/425092
[pid=28369] ppid=28366 vsize=92832 CPUtime=2082.1 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 114444 0 0 0 208204 6 0 0 20 0 1 0 135141475 95059968 16905 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5165928 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16905 720 782 0 16224 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 92832
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 28516
/proc/meminfo: memFree=30578144/32770624 swapFree=0/425100
[pid=28369] ppid=28366 vsize=92832 CPUtime=2142.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 115329 0 0 0 214203 6 0 0 20 0 1 0 135141475 95059968 16908 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4246597 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16908 720 782 0 16224 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 92832
[startup+2202.31 s]
/proc/loadavg: 2.01 1.99 2.03 3/188 28593
/proc/meminfo: memFree=31137916/32770624 swapFree=0/425104
[pid=28369] ppid=28366 vsize=92832 CPUtime=2202.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 116234 0 0 0 220203 6 0 0 20 0 1 0 135141475 95059968 16908 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5165805 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16908 720 782 0 16224 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 92832
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 28595
/proc/meminfo: memFree=31137796/32770624 swapFree=0/425124
[pid=28369] ppid=28366 vsize=92832 CPUtime=2262.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 117139 0 0 0 226203 6 0 0 20 0 1 0 135141475 95059968 16909 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4245088 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16909 720 782 0 16224 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 92832
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 28597
/proc/meminfo: memFree=31141532/32770624 swapFree=0/425132
[pid=28369] ppid=28366 vsize=92832 CPUtime=2322.08 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 118045 0 0 0 232202 6 0 0 20 0 1 0 135141475 95059968 16910 18446744073709551615 4194304 7396336 140732987734944 140732987729432 5586494 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16910 720 782 0 16224 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 92832
[startup+2382.3 s]
/proc/loadavg: 2.04 2.01 2.03 3/184 28599
/proc/meminfo: memFree=31141288/32770624 swapFree=0/425140
[pid=28369] ppid=28366 vsize=92832 CPUtime=2382.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 118925 0 0 0 238202 7 0 0 20 0 1 0 135141475 95059968 16911 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4249767 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16911 720 782 0 16224 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 92832
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/184 28601
/proc/meminfo: memFree=31141548/32770624 swapFree=0/425156
[pid=28369] ppid=28366 vsize=92832 CPUtime=2442.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 119849 0 0 0 244202 7 0 0 20 0 1 0 135141475 95059968 16911 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4581664 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16911 720 782 0 16224 0
Current children cumulated CPU time (s) 2442.09
Current children cumulated vsize (KiB) 92832
[startup+2502.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 28604
/proc/meminfo: memFree=31140884/32770624 swapFree=0/425168
[pid=28369] ppid=28366 vsize=92832 CPUtime=2502.09 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 120755 0 0 0 250202 7 0 0 20 0 1 0 135141475 95059968 16911 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4246597 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16911 720 782 0 16224 0
Current children cumulated CPU time (s) 2502.09
Current children cumulated vsize (KiB) 92832
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 28604
/proc/meminfo: memFree=31140884/32770624 swapFree=0/425160
[pid=28369] ppid=28366 vsize=92832 CPUtime=2519.79 cores=1,3,5,7
/proc/28369/stat : 28369 (MistralXCSP) R 28366 28369 4525 0 -1 4202496 121656 0 0 0 251972 7 0 0 20 0 1 0 135141475 95059968 16911 18446744073709551615 4194304 7396336 140732987734944 140732987729432 4582093 0 0 1 16386 0 0 0 17 3 0 0 12 0 0 9496464 9501696 17920000 140732987740596 140732987740744 140732987740744 140732987744201 0
/proc/28369/statm: 23208 16911 720 782 0 16224 0
Current children cumulated CPU time (s) 2519.79
Current children cumulated vsize (KiB) 92832
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 28369 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.8
CPU user time (s): 2519.72
CPU system time (s): 0.072998
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 92832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.72
system time used= 0.072998
maximum resident set size= 67672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121688
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= 31
involuntary context switches= 750
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77803 second user time and 11.5964 second system time
The end