runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463652-1307177300/watcher-3463652-1307177300 -o /tmp/evaluation-result-3463652-1307177300/solver-3463652-1307177300 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463652-1307177300.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.01 2/469 15010
/proc/meminfo: memFree=24102444/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=11060 CPUtime=0 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 907960461 11325440 305 33554432000 134512640 137138936 4286600112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 2765 305 184 642 0 2121 0
[startup+0.109238 s]
/proc/loadavg: 2.02 2.04 2.01 2/469 15010
/proc/meminfo: memFree=24102444/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13720 CPUtime=0.1 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 1879 0 0 0 10 0 0 0 18 0 1 0 907960461 14049280 643 33554432000 134512640 137138936 4286600112 18446744073709551615 135473174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3430 644 286 642 0 2786 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13720
[startup+0.200222 s]
/proc/loadavg: 2.02 2.04 2.01 2/469 15010
/proc/meminfo: memFree=24102444/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13696 CPUtime=0.19 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 7753 0 0 0 18 1 0 0 18 0 1 0 907960461 14024704 644 33554432000 134512640 137138936 4286600112 18446744073709551615 135471453 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3424 644 286 642 0 2780 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13696
[startup+0.300203 s]
/proc/loadavg: 2.02 2.04 2.01 2/469 15010
/proc/meminfo: memFree=24102444/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13828 CPUtime=0.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 14075 0 0 0 27 1 0 0 18 0 1 0 907960461 14159872 715 33554432000 134512640 137138936 4286600112 18446744073709551615 135466156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3457 715 286 642 0 2813 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13828
[startup+0.700138 s]
/proc/loadavg: 2.02 2.04 2.01 2/469 15010
/proc/meminfo: memFree=24102444/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13996 CPUtime=0.69 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 29512 0 0 0 66 3 0 0 18 0 1 0 907960461 14331904 757 33554432000 134512640 137138936 4286600112 18446744073709551615 135434243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3499 757 288 642 0 2855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13996
[startup+1.50098 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 15011
/proc/meminfo: memFree=24091764/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13836 CPUtime=1.49 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 52162 0 0 0 143 6 0 0 20 0 1 0 907960461 14168064 763 33554432000 134512640 137138936 4286600112 18446744073709551615 135443587 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3459 763 288 642 0 2815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13836
[startup+3.10068 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 15011
/proc/meminfo: memFree=24084840/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=13648 CPUtime=3.09 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 126629 0 0 0 295 14 0 0 25 0 1 0 907960461 13975552 773 33554432000 134512640 137138936 4286600112 18446744073709551615 135366519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3412 774 288 642 0 2768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13648
[startup+6.30109 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 15011
/proc/meminfo: memFree=24063476/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=14832 CPUtime=6.3 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 283083 0 0 0 600 30 0 0 25 0 1 0 907960461 15187968 984 33554432000 134512640 137138936 4286600112 18446744073709551615 135470059 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 3708 984 288 642 0 3064 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14832
[startup+12.7009 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 15012
/proc/meminfo: memFree=24023476/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=16064 CPUtime=12.69 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 570225 0 0 0 1207 62 0 0 25 0 1 0 907960461 16449536 1346 33554432000 134512640 137138936 4286600112 18446744073709551615 134840721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 4016 1346 288 642 0 3372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16064
[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.00 3/470 15012
/proc/meminfo: memFree=23982424/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=17352 CPUtime=25.49 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 931225 0 0 0 2447 102 0 0 25 0 1 0 907960461 17768448 1563 33554432000 134512640 137138936 4286600112 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 4338 1563 288 642 0 3694 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17352
[startup+51.1007 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 15013
/proc/meminfo: memFree=23908620/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=17332 CPUtime=51.1 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 1475366 0 0 0 4946 164 0 0 25 0 1 0 907960461 17747968 1615 33554432000 134512640 137138936 4286600112 18446744073709551615 135443931 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 4333 1615 288 642 0 3689 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17332
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/470 15014
/proc/meminfo: memFree=23833452/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=19856 CPUtime=102.3 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 2144187 0 0 0 9981 249 0 0 25 0 1 0 907960461 20332544 2301 33554432000 134512640 137138936 4286600112 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15010/statm: 4964 2301 288 642 0 4320 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19856
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15016
/proc/meminfo: memFree=23831556/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=21924 CPUtime=162.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 2850361 0 0 0 15881 347 0 0 25 0 1 0 907960461 22450176 2759 33554432000 134512640 137138936 4286600112 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5481 2759 288 642 0 4837 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 21924
[startup+222.318 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15017
/proc/meminfo: memFree=23832740/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=22316 CPUtime=222.29 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 3627619 0 0 0 21785 444 0 0 25 0 1 0 907960461 22851584 2893 33554432000 134512640 137138936 4286600112 18446744073709551615 134713104 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5579 2893 288 642 0 4935 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 22316
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15019
/proc/meminfo: memFree=23756796/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=22408 CPUtime=282.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 4173841 0 0 0 27701 527 0 0 25 0 1 0 907960461 22945792 2887 33554432000 134512640 137138936 4286600112 18446744073709551615 135070981 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5602 2887 288 642 0 4958 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 22408
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15020
/proc/meminfo: memFree=23705048/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=24220 CPUtime=342.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 4844243 0 0 0 33613 615 0 0 25 0 1 0 907960461 24801280 3332 33554432000 134512640 137138936 4286600112 18446744073709551615 135070981 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6055 3332 288 642 0 5411 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 24220
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15022
/proc/meminfo: memFree=23702772/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=23760 CPUtime=402.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 5478114 0 0 0 39530 698 0 0 25 0 1 0 907960461 24330240 3284 33554432000 134512640 137138936 4286600112 18446744073709551615 135443711 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5940 3284 288 642 0 5296 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 23760
[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 15024
/proc/meminfo: memFree=23702724/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=22332 CPUtime=462.28 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 6005072 0 0 0 45451 777 0 0 25 0 1 0 907960461 22867968 3255 33554432000 134512640 137138936 4286600112 18446744073709551615 134606604 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5583 3255 288 642 0 4939 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 22332
[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/470 15025
/proc/meminfo: memFree=23704408/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=23740 CPUtime=522.29 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 6475114 0 0 0 51381 848 0 0 25 0 1 0 907960461 24309760 3273 33554432000 134512640 137138936 4286600112 18446744073709551615 135251832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 5935 3273 288 642 0 5291 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 23740
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 15027
/proc/meminfo: memFree=23701752/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=25632 CPUtime=582.29 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 7031984 0 0 0 57307 922 0 0 25 0 1 0 907960461 26247168 3838 33554432000 134512640 137138936 4286600112 18446744073709551615 134851588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6408 3838 288 642 0 5764 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 25632
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23700916/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=26444 CPUtime=882.32 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 8931045 0 0 0 87026 1206 0 0 25 0 1 0 907960461 27078656 3971 33554432000 134512640 137138936 4286600112 18446744073709551615 135358713 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6611 3971 288 642 0 5967 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 26444
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15045
/proc/meminfo: memFree=23699264/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28360 CPUtime=942.31 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 9525528 0 0 0 92938 1293 0 0 25 0 1 0 907960461 29040640 4507 33554432000 134512640 137138936 4286600112 18446744073709551615 135381138 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7090 4508 288 642 0 6446 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 28360
[startup+1002.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 15047
/proc/meminfo: memFree=23691784/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=27288 CPUtime=1002.3 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 10104929 0 0 0 98851 1379 0 0 25 0 1 0 907960461 27942912 4494 33554432000 134512640 137138936 4286600112 18446744073709551615 134745045 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6822 4494 288 642 0 6178 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 27288
[startup+1062.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 15049
/proc/meminfo: memFree=23691100/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=27272 CPUtime=1062.31 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 10631626 0 0 0 104770 1461 0 0 25 0 1 0 907960461 27926528 4490 33554432000 134512640 137138936 4286600112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6818 4490 288 642 0 6174 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 27272
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/470 15050
/proc/meminfo: memFree=23691308/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28760 CPUtime=1122.31 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 11085644 0 0 0 110700 1531 0 0 25 0 1 0 907960461 29450240 4506 33554432000 134512640 137138936 4286600112 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7190 4506 288 642 0 6546 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 28760
[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/470 15052
/proc/meminfo: memFree=23690152/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=27268 CPUtime=1182.31 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 11560054 0 0 0 116624 1607 0 0 25 0 1 0 907960461 27922432 4489 33554432000 134512640 137138936 4286600112 18446744073709551615 134913031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6817 4489 288 642 0 6173 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 27268
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/470 15053
/proc/meminfo: memFree=23656504/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28804 CPUtime=1242.31 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 12037233 0 0 0 122548 1683 0 0 25 0 1 0 907960461 29495296 4522 33554432000 134512640 137138936 4286600112 18446744073709551615 135443880 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7201 4522 288 642 0 6557 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 28804
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 15055
/proc/meminfo: memFree=23656460/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=27268 CPUtime=1302.32 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 12420810 0 0 0 128485 1747 0 0 25 0 1 0 907960461 27922432 4489 33554432000 134512640 137138936 4286600112 18446744073709551615 134625598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6817 4489 288 642 0 6173 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 27268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 15057
/proc/meminfo: memFree=23598256/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28144 CPUtime=1362.32 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 12731464 0 0 0 134430 1802 0 0 25 0 1 0 907960461 28819456 4494 33554432000 134512640 137138936 4286600112 18446744073709551615 135404672 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7036 4494 288 642 0 6392 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 28144
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15058
/proc/meminfo: memFree=23631320/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28504 CPUtime=1422.32 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13083041 0 0 0 140365 1867 0 0 25 0 1 0 907960461 29188096 4518 33554432000 134512640 137138936 4286600112 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7126 4518 288 642 0 6482 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 28504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616644/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28444 CPUtime=1482.32 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13394741 0 0 0 146308 1924 0 0 25 0 1 0 907960461 29126656 4507 33554432000 134512640 137138936 4286600112 18446744073709551615 135450378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7111 4507 288 642 0 6467 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 28444
Solver just ended. Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616396/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28460 CPUtime=1484.82 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13409279 0 0 0 146556 1926 0 0 25 0 1 0 907960461 29143040 4506 33554432000 134512640 137138936 4286600112 18446744073709551615 135457642 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7115 4506 288 642 0 6471 0
Current children cumulated CPU time (s) 1484.82
Current children cumulated vsize (KiB) 28460
[startup+1497.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616628/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28452 CPUtime=1497.62 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13479226 0 0 0 147823 1939 0 0 25 0 1 0 907960461 29134848 4506 33554432000 134512640 137138936 4286600112 18446744073709551615 135457394 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7113 4506 288 642 0 6469 0
Current children cumulated CPU time (s) 1497.62
Current children cumulated vsize (KiB) 28452
[startup+1504 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616752/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28416 CPUtime=1504.02 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13515389 0 0 0 148456 1946 0 0 25 0 1 0 907960461 29097984 4510 33554432000 134512640 137138936 4286600112 18446744073709551615 135457799 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7104 4510 288 642 0 6460 0
Current children cumulated CPU time (s) 1504.02
Current children cumulated vsize (KiB) 28416
[startup+1507.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616748/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28424 CPUtime=1507.22 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13532833 0 0 0 148773 1949 0 0 25 0 1 0 907960461 29106176 4506 33554432000 134512640 137138936 4286600112 18446744073709551615 135339272 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7106 4506 288 642 0 6462 0
Current children cumulated CPU time (s) 1507.22
Current children cumulated vsize (KiB) 28424
[startup+1508.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616748/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28420 CPUtime=1508.82 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13541118 0 0 0 148931 1951 0 0 25 0 1 0 907960461 29102080 4516 33554432000 134512640 137138936 4286600112 18446744073709551615 135457926 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7105 4516 288 642 0 6461 0
Current children cumulated CPU time (s) 1508.82
Current children cumulated vsize (KiB) 28420
[startup+1509.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15060
/proc/meminfo: memFree=23616748/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28508 CPUtime=1509.62 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13545581 0 0 0 149010 1952 0 0 25 0 1 0 907960461 29192192 4503 33554432000 134512640 137138936 4286600112 18446744073709551615 135080911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7127 4503 288 642 0 6483 0
Current children cumulated CPU time (s) 1509.62
Current children cumulated vsize (KiB) 28508
[startup+1510.42 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15061
/proc/meminfo: memFree=23616748/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=28456 CPUtime=1510.44 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13550390 0 0 0 149091 1953 0 0 25 0 1 0 907960461 29138944 4516 33554432000 134512640 137138936 4286600112 18446744073709551615 135457926 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 7114 4516 288 642 0 6470 0
Current children cumulated CPU time (s) 1510.44
Current children cumulated vsize (KiB) 28456
[startup+1510.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15061
/proc/meminfo: memFree=23616748/32951124 swapFree=56297244/67111528
[pid=15010] ppid=15008 vsize=27264 CPUtime=1510.63 cores=1,3,5,7
/proc/15010/stat : 15010 (bsolo) R 15008 15010 13385 0 -1 4202496 13551436 0 0 0 149110 1953 0 0 25 0 1 0 907960461 27918336 4488 33554432000 134512640 137138936 4286600112 18446744073709551615 134828806 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15010/statm: 6816 4488 288 642 0 6172 0
Current children cumulated CPU time (s) 1510.63
Current children cumulated vsize (KiB) 27264
Child status: 0
Real time (s): 1510.63
CPU time (s): 1510.66
CPU user time (s): 1491.13
CPU system time (s): 19.533
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 29280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1491.13
system time used= 19.533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13551571
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= 6
involuntary context switches= 1048
runsolver used 6.87096 second user time and 15.4956 second system time
The end