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-3463206-1307177868/watcher-3463206-1307177868 -o /tmp/evaluation-result-3463206-1307177868/solver-3463206-1307177868 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463206-1307177868.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.00 2.03 2.00 2/527 20095
/proc/meminfo: memFree=24762948/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=14008 CPUtime=0.01 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 599 0 0 0 1 0 0 0 25 0 1 0 908017479 14344192 553 33554432000 134512640 137138936 4287643856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 3502 553 228 642 0 2296 0
[startup+0.0577691 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20095
/proc/meminfo: memFree=24762948/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=16756 CPUtime=0.05 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 1430 0 0 0 5 0 0 0 25 0 1 0 908017479 17158144 1384 33554432000 134512640 137138936 4287643856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 4189 1385 390 642 0 2983 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16756
[startup+0.100757 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20095
/proc/meminfo: memFree=24762948/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=19508 CPUtime=0.09 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 2301 0 0 0 9 0 0 0 25 0 1 0 908017479 19976192 2255 33554432000 134512640 137138936 4287643856 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 4877 2256 561 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19508
[startup+0.300727 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20095
/proc/meminfo: memFree=24762948/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=27544 CPUtime=0.29 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 5041 0 0 0 28 1 0 0 25 0 1 0 908017479 28205056 4433 33554432000 134512640 137138936 4287643856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 6886 4433 185 642 0 6242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27544
[startup+0.700657 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20095
/proc/meminfo: memFree=24762948/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=27544 CPUtime=0.69 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 5041 0 0 0 63 6 0 0 25 0 1 0 908017479 28205056 4433 33554432000 134512640 137138936 4287643856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 6886 4433 185 642 0 6242 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27544
[startup+1.50051 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20096
/proc/meminfo: memFree=24745952/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=32844 CPUtime=1.49 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 7814 0 0 0 141 8 0 0 25 0 1 0 908017479 33632256 5788 33554432000 134512640 137138936 4287643856 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 8211 5788 192 642 0 7567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32844
[startup+3.10023 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20096
/proc/meminfo: memFree=24731204/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=52956 CPUtime=3.09 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 12841 0 0 0 300 9 0 0 25 0 1 0 908017479 54226944 10815 33554432000 134512640 137138936 4287643856 18446744073709551615 134607581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 13239 10815 192 642 0 12595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52956
[startup+6.30067 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20096
/proc/meminfo: memFree=24693276/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=87384 CPUtime=6.29 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 21432 0 0 0 619 10 0 0 25 0 1 0 908017479 89481216 19406 33554432000 134512640 137138936 4287643856 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 21846 19406 192 642 0 21202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87384
[startup+12.7006 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20096
/proc/meminfo: memFree=24625952/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=150832 CPUtime=12.69 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 37300 0 0 0 1256 13 0 0 25 0 1 0 908017479 154451968 35274 33554432000 134512640 137138936 4287643856 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 37708 35274 192 642 0 37064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150832
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20097
/proc/meminfo: memFree=24519036/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=253628 CPUtime=25.49 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 62981 0 0 0 2532 17 0 0 25 0 1 0 908017479 259715072 60955 33554432000 134512640 137138936 4287643856 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 63407 60955 192 642 0 62763 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 253628
[startup+51.1008 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20097
/proc/meminfo: memFree=24343804/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=430460 CPUtime=51.09 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 107217 0 0 0 5084 25 0 0 25 0 1 0 908017479 440791040 105191 33554432000 134512640 137138936 4287643856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 107615 105191 192 642 0 106971 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 430460
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20099
/proc/meminfo: memFree=24130368/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=640372 CPUtime=102.32 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 159695 0 0 0 10195 37 0 0 25 0 1 0 908017479 655740928 157669 33554432000 134512640 137138936 4287643856 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 160093 157669 192 642 0 159449 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 640372
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20100
/proc/meminfo: memFree=23912472/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=858552 CPUtime=162.3 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 214239 0 0 0 16180 50 0 0 25 0 1 0 908017479 879157248 212213 33554432000 134512640 137138936 4287643856 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 214638 212213 192 642 0 213994 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 858552
[startup+222.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 20111
/proc/meminfo: memFree=23728128/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1040592 CPUtime=222.29 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 259813 0 0 0 22172 57 0 0 25 0 1 0 908017479 1065566208 257723 33554432000 134512640 137138936 4287643856 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 260148 257723 192 642 0 259504 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1040592
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 20112
/proc/meminfo: memFree=23727936/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1040592 CPUtime=282.29 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 259813 0 0 0 28169 60 0 0 25 0 1 0 908017479 1065566208 257723 33554432000 134512640 137138936 4287643856 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 260148 257723 192 642 0 259504 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1040592
[startup+342.301 s]
/proc/loadavg: 2.19 2.06 2.01 3/528 20114
/proc/meminfo: memFree=23727668/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1040592 CPUtime=342.3 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 259813 0 0 0 34168 62 0 0 25 0 1 0 908017479 1065566208 257723 33554432000 134512640 137138936 4287643856 18446744073709551615 134551781 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 260148 257723 192 642 0 259504 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1040592
[startup+402.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/528 20116
/proc/meminfo: memFree=23714496/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1040592 CPUtime=402.3 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 259813 0 0 0 40166 64 0 0 25 0 1 0 908017479 1065566208 257723 33554432000 134512640 137138936 4287643856 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 260148 257723 192 642 0 259504 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1040592
[startup+462.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/528 20117
/proc/meminfo: memFree=23710748/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1044560 CPUtime=462.3 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 260776 0 0 0 46165 65 0 0 25 0 1 0 908017479 1069629440 258686 33554432000 134512640 137138936 4287643856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 261140 258686 192 642 0 260496 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1044560
[startup+522.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/528 20119
/proc/meminfo: memFree=23710932/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1044164 CPUtime=522.3 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 260776 0 0 0 52164 66 0 0 25 0 1 0 908017479 1069223936 258619 33554432000 134512640 137138936 4287643856 18446744073709551615 134617971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 261041 258619 192 642 0 260397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1044164
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20120
/proc/meminfo: memFree=23710516/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1044164 CPUtime=582.31 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 260776 0 0 0 58162 69 0 0 25 0 1 0 908017479 1069223936 258619 33554432000 134512640 137138936 4287643856 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 261041 258619 192 642 0 260397 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1044164
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23702880/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052148 CPUtime=1122.31 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 262828 0 0 0 112145 86 0 0 25 0 1 0 908017479 1077399552 260606 33554432000 134512640 137138936 4287643856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263037 260606 192 642 0 262393 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1052148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20136
/proc/meminfo: memFree=23701480/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1053100 CPUtime=1182.32 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 118143 89 0 0 25 0 1 0 908017479 1078374400 260821 33554432000 134512640 137138936 4287643856 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263275 260821 192 642 0 262631 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1053100
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20138
/proc/meminfo: memFree=23686316/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1053100 CPUtime=1242.31 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 124141 90 0 0 25 0 1 0 908017479 1078374400 260821 33554432000 134512640 137138936 4287643856 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263275 260821 192 642 0 262631 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1053100
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20140
/proc/meminfo: memFree=23686776/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1053100 CPUtime=1302.34 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 130141 93 0 0 25 0 1 0 908017479 1078374400 260821 33554432000 134512640 137138936 4287643856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263275 260821 192 642 0 262631 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1053100
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20141
/proc/meminfo: memFree=23686628/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1053100 CPUtime=1362.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 136138 95 0 0 25 0 1 0 908017479 1078374400 260821 33554432000 134512640 137138936 4287643856 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263275 260821 192 642 0 262631 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1053100
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 20143
/proc/meminfo: memFree=23686848/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1422.34 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 142138 96 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1052368
[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/528 20144
/proc/meminfo: memFree=23685564/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1482.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 148135 98 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1052368
[startup+1542.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/528 20173
/proc/meminfo: memFree=23865416/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1542.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 154133 100 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1052368
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/528 20175
/proc/meminfo: memFree=23865632/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1602.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 160131 102 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1052368
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20176
/proc/meminfo: memFree=23864236/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1662.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 166129 104 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1052368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20178
/proc/meminfo: memFree=23865324/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1722.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 172127 106 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1052368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20206
/proc/meminfo: memFree=23801600/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1782.33 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 178126 107 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1052368
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23799116/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1785.53 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 178446 107 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1052368
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23797124/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1791.95 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 179088 107 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1052368
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23794644/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1795.14 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 179407 107 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1052368
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23793776/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1796.74 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 179566 108 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1052368
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23792784/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1797.54 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 179646 108 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1052368
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23792784/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=1052368 CPUtime=1797.94 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202496 263043 0 0 0 179686 108 0 0 25 0 1 0 908017479 1077624832 260670 33554432000 134512640 137138936 4287643856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20095/statm: 263092 260670 192 642 0 262448 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1052368
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20207
/proc/meminfo: memFree=23792784/32951124 swapFree=56241860/67111528
[pid=20095] ppid=20093 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/20095/stat : 20095 (bsolo) R 20093 20095 18760 0 -1 4202500 263044 0 0 0 179693 111 0 0 25 0 1 0 908017479 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20095/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.06
CPU user time (s): 1796.93
CPU system time (s): 1.12783
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1053100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.12783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263044
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= 4
involuntary context switches= 22702
runsolver used 9.06362 second user time and 22.1906 second system time
The end