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-4260955-1502364972/watcher-4260955-1502364972 -o /tmp/evaluation-result-4260955-1502364972/solver-4260955-1502364972 -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 233316408 HOME/instance-4260955-1502364972.xml
pid=29621
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.05 2.01 2.05 5/183 29624
/proc/meminfo: memFree=31141472/32770624 swapFree=0/426640
[pid=29624] ppid=29621 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29624/stat : 29624 (runsolver) D 29621 29624 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 136150173 24240128 106 18446744073709551615 4194304 4338465 140732707764064 140732707761704 139916537623255 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 20905984 140732707766411 140732707766857 140732707766857 140732707770314 0
/proc/29624/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.05 2.01 2.05 5/183 29624
/proc/meminfo: memFree=31141472/32770624 swapFree=0/426640
[pid=29624] ppid=29621 vsize=28812 CPUtime=0.01 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 947 0 0 0 1 0 0 0 20 0 1 0 136150173 29503488 736 18446744073709551615 4194304 7396336 140727193841952 140727193838952 5876186 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 7203 736 583 782 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28812
[startup+0.200257 s]
/proc/loadavg: 2.05 2.01 2.05 5/183 29624
/proc/meminfo: memFree=31141472/32770624 swapFree=0/426640
[pid=29624] ppid=29621 vsize=29188 CPUtime=0.11 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 1052 0 0 0 11 0 0 0 20 0 1 0 136150173 29888512 868 18446744073709551615 4194304 7396336 140727193841952 140727193838952 5950974 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 7297 868 613 782 0 313 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29188
[startup+0.300247 s]
/proc/loadavg: 2.05 2.01 2.05 5/183 29624
/proc/meminfo: memFree=31141472/32770624 swapFree=0/426640
[pid=29624] ppid=29621 vsize=29644 CPUtime=0.21 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 1208 0 0 0 21 0 0 0 20 0 1 0 136150173 30355456 984 18446744073709551615 4194304 7396336 140727193841952 140727193838952 5957415 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 7411 984 613 782 0 427 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29644
[startup+0.700218 s]
/proc/loadavg: 2.05 2.01 2.05 5/183 29624
/proc/meminfo: memFree=31141472/32770624 swapFree=0/426640
[pid=29624] ppid=29621 vsize=31588 CPUtime=0.61 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 1778 0 0 0 61 0 0 0 20 0 1 0 136150173 32346112 1512 18446744073709551615 4194304 7396336 140727193841952 140727193838952 6024286 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 7897 1512 716 782 0 913 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 31588
[startup+1.50024 s]
/proc/loadavg: 2.05 2.01 2.05 3/184 29625
/proc/meminfo: memFree=31136572/32770624 swapFree=0/426636
[pid=29624] ppid=29621 vsize=35256 CPUtime=1.41 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 2713 0 0 0 141 0 0 0 20 0 1 0 136150173 36102144 2502 18446744073709551615 4194304 7396336 140727193841952 140727193832456 140580058901003 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 8814 2502 716 782 0 1830 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 35256
[startup+3.10023 s]
/proc/loadavg: 2.05 2.01 2.05 3/184 29625
/proc/meminfo: memFree=31131024/32770624 swapFree=0/426636
[pid=29624] ppid=29621 vsize=40572 CPUtime=3.01 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 4147 0 0 0 301 0 0 0 20 0 1 0 136150173 41545728 3827 18446744073709551615 4194304 7396336 140727193841952 140727193832456 140580058614714 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 10143 3827 716 782 0 3159 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 40572
[startup+6.30022 s]
/proc/loadavg: 2.05 2.01 2.05 3/184 29625
/proc/meminfo: memFree=31117540/32770624 swapFree=0/426636
[pid=29624] ppid=29621 vsize=53692 CPUtime=6.21 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 10598 0 0 0 620 1 0 0 20 0 1 0 136150173 54980608 7083 18446744073709551615 4194304 7396336 140727193841952 140727193832392 6180585 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 13423 7083 716 782 0 6439 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 53692
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 29626
/proc/meminfo: memFree=31089300/32770624 swapFree=0/426632
[pid=29624] ppid=29621 vsize=78576 CPUtime=12.6 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 23603 0 0 0 1258 2 0 0 20 0 1 0 136150173 80461824 13255 18446744073709551615 4194304 7396336 140727193841952 140727193833000 6146254 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 19644 13255 716 782 0 12660 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 78576
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 29626
/proc/meminfo: memFree=31051696/32770624 swapFree=0/426636
[pid=29624] ppid=29621 vsize=115864 CPUtime=25.4 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 35023 0 0 0 2537 3 0 0 20 0 1 0 136150173 118644736 22631 18446744073709551615 4194304 7396336 140727193841952 140727193832456 140580058900737 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 28966 22631 716 782 0 21982 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 115864
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 29626
/proc/meminfo: memFree=30831428/32770624 swapFree=0/426632
[pid=29624] ppid=29621 vsize=335668 CPUtime=51 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 151848 0 0 0 5086 14 0 0 20 0 1 0 136150173 343724032 77540 18446744073709551615 4194304 7396336 140727193841952 140727193836232 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 83917 77540 753 782 0 76933 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 335668
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 29628
/proc/meminfo: memFree=30806144/32770624 swapFree=0/426648
[pid=29624] ppid=29621 vsize=360036 CPUtime=102.16 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 199249 0 0 0 10199 17 0 0 20 0 1 0 136150173 368676864 83735 18446744073709551615 4194304 7396336 140727193841952 140727193836488 4581738 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 90009 83735 753 782 0 83025 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 360036
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29630
/proc/meminfo: memFree=30743912/32770624 swapFree=0/426664
[pid=29624] ppid=29621 vsize=421944 CPUtime=162.13 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 237383 0 0 0 16192 21 0 0 20 0 1 0 136150173 432070656 99208 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4581576 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 105486 99208 753 782 0 98502 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 421944
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29633
/proc/meminfo: memFree=30724864/32770624 swapFree=0/426672
[pid=29624] ppid=29621 vsize=440424 CPUtime=222.09 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 268504 0 0 0 22186 23 0 0 20 0 1 0 136150173 450994176 103809 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4257788 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 110106 103809 753 782 0 103122 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 440424
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29635
/proc/meminfo: memFree=30710972/32770624 swapFree=0/426692
[pid=29624] ppid=29621 vsize=454548 CPUtime=282.06 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 280189 0 0 0 28182 24 0 0 20 0 1 0 136150173 465457152 107381 18446744073709551615 4194304 7396336 140727193841952 140727193836360 4406420 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 113637 107381 753 782 0 106653 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 454548
[startup+342.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 29637
/proc/meminfo: memFree=30697168/32770624 swapFree=0/426708
[pid=29624] ppid=29621 vsize=469332 CPUtime=342.06 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 285709 0 0 0 34181 25 0 0 20 0 1 0 136150173 480595968 111024 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4320512 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 117333 111024 753 782 0 110349 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 469332
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 29641
/proc/meminfo: memFree=30680168/32770624 swapFree=0/426728
[pid=29624] ppid=29621 vsize=485040 CPUtime=402.06 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 296334 0 0 0 40180 26 0 0 20 0 1 0 136150173 496680960 114950 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4406552 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 121260 114950 753 782 0 114276 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 485040
[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 29643
/proc/meminfo: memFree=30675548/32770624 swapFree=0/426752
[pid=29624] ppid=29621 vsize=489396 CPUtime=462.06 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 306823 0 0 0 46179 27 0 0 20 0 1 0 136150173 501141504 116054 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4399564 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 122349 116054 753 782 0 115365 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 489396
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 29659
/proc/meminfo: memFree=30671296/32770624 swapFree=0/426760
[pid=29624] ppid=29621 vsize=489924 CPUtime=522.05 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 317147 0 0 0 52178 27 0 0 20 0 1 0 136150173 501682176 116215 18446744073709551615 4194304 7396336 140727193841952 140727193836376 4406552 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 122481 116215 753 782 0 115497 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 489924
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 29661
/proc/meminfo: memFree=30668792/32770624 swapFree=0/426772
[pid=29624] ppid=29621 vsize=492432 CPUtime=582.06 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 328124 0 0 0 58178 28 0 0 20 0 1 0 136150173 504250368 116856 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4257837 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 123108 116856 753 782 0 116124 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 492432
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 29711
/proc/meminfo: memFree=30645540/32770624 swapFree=0/427024
[pid=29624] ppid=29621 vsize=519624 CPUtime=1602.01 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 381240 0 0 0 160169 32 0 0 20 0 1 0 136150173 532094976 123640 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4257703 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 129906 123640 753 782 0 122922 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 519624
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 29713
/proc/meminfo: memFree=30643776/32770624 swapFree=0/427032
[pid=29624] ppid=29621 vsize=521604 CPUtime=1662 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 384677 0 0 0 166168 32 0 0 20 0 1 0 136150173 534122496 124125 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4407283 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 130401 124125 753 782 0 123417 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 521604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29729
/proc/meminfo: memFree=30638200/32770624 swapFree=0/427064
[pid=29624] ppid=29621 vsize=522924 CPUtime=1722.01 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 388522 0 0 0 172168 33 0 0 20 0 1 0 136150173 535474176 124459 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4406867 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 130731 124459 753 782 0 123747 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 522924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29731
/proc/meminfo: memFree=30636804/32770624 swapFree=0/427072
[pid=29624] ppid=29621 vsize=523716 CPUtime=1782 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 392459 0 0 0 178167 33 0 0 20 0 1 0 136150173 536285184 124679 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4406552 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 130929 124679 753 782 0 123945 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 523716
[startup+1842.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 29733
/proc/meminfo: memFree=30639208/32770624 swapFree=0/427080
[pid=29624] ppid=29621 vsize=524244 CPUtime=1842 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 396600 0 0 0 184166 34 0 0 20 0 1 0 136150173 536825856 124802 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4249696 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131061 124802 753 782 0 124077 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 524244
[startup+1902.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 29736
/proc/meminfo: memFree=30639548/32770624 swapFree=0/427100
[pid=29624] ppid=29621 vsize=524244 CPUtime=1902 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 398143 0 0 0 190166 34 0 0 20 0 1 0 136150173 536825856 124809 18446744073709551615 4194304 7396336 140727193841952 140727193836248 5666600 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131061 124809 753 782 0 124077 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 524244
[startup+1962.3 s]
/proc/loadavg: 2.15 2.05 2.05 3/185 29738
/proc/meminfo: memFree=30639768/32770624 swapFree=0/427104
[pid=29624] ppid=29621 vsize=524772 CPUtime=1961.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 399831 0 0 0 196165 34 0 0 20 0 1 0 136150173 537366528 124899 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4257799 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131193 124899 753 782 0 124209 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 524772
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 29741
/proc/meminfo: memFree=30638652/32770624 swapFree=0/427112
[pid=29624] ppid=29621 vsize=525564 CPUtime=2021.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 401692 0 0 0 202165 34 0 0 20 0 1 0 136150173 538177536 125080 18446744073709551615 4194304 7396336 140727193841952 140727193836376 4257822 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131391 125080 753 782 0 124407 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 525564
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 29743
/proc/meminfo: memFree=30638628/32770624 swapFree=0/427128
[pid=29624] ppid=29621 vsize=525828 CPUtime=2081.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 403631 0 0 0 208165 34 0 0 20 0 1 0 136150173 538447872 125189 18446744073709551615 4194304 7396336 140727193841952 140727193836376 4406506 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131457 125189 753 782 0 124473 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 525828
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 29745
/proc/meminfo: memFree=30638188/32770624 swapFree=0/427140
[pid=29624] ppid=29621 vsize=525828 CPUtime=2141.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 405564 0 0 0 214164 35 0 0 20 0 1 0 136150173 538447872 125209 18446744073709551615 4194304 7396336 140727193841952 140727193836376 4257703 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131457 125209 753 782 0 124473 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 525828
[startup+2202.31 s]
/proc/loadavg: 1.95 2.02 2.04 3/184 29809
/proc/meminfo: memFree=30703904/32770624 swapFree=0/427156
[pid=29624] ppid=29621 vsize=525960 CPUtime=2201.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 407566 0 0 0 220164 35 0 0 20 0 1 0 136150173 538583040 125214 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4257703 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131490 125214 753 782 0 124506 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 525960
[startup+2262.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 29811
/proc/meminfo: memFree=30703616/32770624 swapFree=0/427172
[pid=29624] ppid=29621 vsize=526224 CPUtime=2261.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 409635 0 0 0 226164 35 0 0 20 0 1 0 136150173 538853376 125285 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4249440 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131556 125285 753 782 0 124572 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 526224
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 29827
/proc/meminfo: memFree=30699316/32770624 swapFree=0/427196
[pid=29624] ppid=29621 vsize=526224 CPUtime=2321.98 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 411174 0 0 0 232163 35 0 0 20 0 1 0 136150173 538853376 125317 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4581738 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131556 125317 753 782 0 124572 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 526224
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 29854
/proc/meminfo: memFree=30697680/32770624 swapFree=0/427220
[pid=29624] ppid=29621 vsize=526224 CPUtime=2381.98 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 412708 0 0 0 238163 35 0 0 20 0 1 0 136150173 538853376 125317 18446744073709551615 4194304 7396336 140727193841952 140727193836248 4257837 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131556 125317 753 782 0 124572 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 526224
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 29857
/proc/meminfo: memFree=30698144/32770624 swapFree=0/427228
[pid=29624] ppid=29621 vsize=526356 CPUtime=2441.99 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 414259 0 0 0 244163 36 0 0 20 0 1 0 136150173 538988544 125319 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4257837 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131589 125319 753 782 0 124605 0
Current children cumulated CPU time (s) 2441.99
Current children cumulated vsize (KiB) 526356
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29859
/proc/meminfo: memFree=30701048/32770624 swapFree=0/427248
[pid=29624] ppid=29621 vsize=527676 CPUtime=2501.98 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 416162 0 0 0 250162 36 0 0 20 0 1 0 136150173 540340224 125652 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4249495 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131919 125652 753 782 0 124935 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 527676
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29859
/proc/meminfo: memFree=30701236/32770624 swapFree=0/427244
[pid=29624] ppid=29621 vsize=527676 CPUtime=2519.68 cores=1,3,5,7
/proc/29624/stat : 29624 (MistralXCSP) R 29621 29624 4525 0 -1 4202496 417678 0 0 0 251932 36 0 0 20 0 1 0 136150173 540340224 125666 18446744073709551615 4194304 7396336 140727193841952 140727193836232 4406867 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 33947648 140727193850291 140727193850440 140727193850440 140727193853897 0
/proc/29624/statm: 131919 125666 753 782 0 124935 0
Current children cumulated CPU time (s) 2519.68
Current children cumulated vsize (KiB) 527676
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 29624 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.69
CPU user time (s): 2519.33
CPU system time (s): 0.366987
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 527676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.33
system time used= 0.366987
maximum resident set size= 502684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417714
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= 204
involuntary context switches= 1370
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87182 second user time and 10.9412 second system time
The end