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-3462559-1307181218/watcher-3462559-1307181218 -o /tmp/evaluation-result-3462559-1307181218/solver-3462559-1307181218 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462559-1307181218.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.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11192 CPUtime=0 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 404 0 0 0 0 0 0 0 25 0 1 0 908352476 11460608 355 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2798 355 192 642 0 2154 0
[startup+0.027201 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11316 CPUtime=0.02 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 429 0 0 0 2 0 0 0 25 0 1 0 908352476 11587584 380 33554432000 134512640 137138936 4291142400 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2829 380 192 642 0 2185 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11316
[startup+0.100246 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=11812 CPUtime=0.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 556 0 0 0 9 0 0 0 25 0 1 0 908352476 12095488 507 33554432000 134512640 137138936 4291142400 18446744073709551615 134618120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 2953 507 192 642 0 2309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11812
[startup+0.300218 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=13592 CPUtime=0.29 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 1006 0 0 0 29 0 0 0 25 0 1 0 908352476 13918208 957 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 3398 957 192 642 0 2754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13592
[startup+0.700141 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 25253
/proc/meminfo: memFree=24527584/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=17292 CPUtime=0.69 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 1927 0 0 0 69 0 0 0 25 0 1 0 908352476 17707008 1878 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 4323 1878 192 642 0 3679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17292
[startup+1.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25254
/proc/meminfo: memFree=24518028/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=22156 CPUtime=1.49 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 3149 0 0 0 149 0 0 0 25 0 1 0 908352476 22687744 3100 33554432000 134512640 137138936 4291142400 18446744073709551615 136500432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 5539 3100 192 642 0 4895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22156
[startup+3.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25254
/proc/meminfo: memFree=24510392/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=28292 CPUtime=3.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 4684 0 0 0 308 1 0 0 25 0 1 0 908352476 28971008 4635 33554432000 134512640 137138936 4291142400 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7073 4635 192 642 0 6429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28292
[startup+6.30111 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24505436/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=28940 CPUtime=6.29 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 4850 0 0 0 628 1 0 0 25 0 1 0 908352476 29634560 4801 33554432000 134512640 137138936 4291142400 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7235 4801 192 642 0 6591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28940
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24501364/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=31308 CPUtime=12.69 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 5440 0 0 0 1267 2 0 0 25 0 1 0 908352476 32059392 5391 33554432000 134512640 137138936 4291142400 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 7827 5391 192 642 0 7183 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31308
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25255
/proc/meminfo: memFree=24492320/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=37540 CPUtime=25.49 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 7003 0 0 0 2545 4 0 0 25 0 1 0 908352476 38440960 6954 33554432000 134512640 137138936 4291142400 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 9385 6954 192 642 0 8741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37540
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25256
/proc/meminfo: memFree=24485464/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=38920 CPUtime=51.09 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 7351 0 0 0 5101 8 0 0 25 0 1 0 908352476 39854080 7302 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 9730 7302 192 642 0 9086 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38920
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25257
/proc/meminfo: memFree=24466208/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=45584 CPUtime=102.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 9051 0 0 0 10216 15 0 0 25 0 1 0 908352476 46678016 8968 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 11396 8968 192 642 0 10752 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 45584
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 25259
/proc/meminfo: memFree=24446064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=52912 CPUtime=162.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 10890 0 0 0 16210 20 0 0 25 0 1 0 908352476 54181888 10772 33554432000 134512640 137138936 4291142400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 13228 10772 192 642 0 12584 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 52912
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25260
/proc/meminfo: memFree=24430144/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=56700 CPUtime=222.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 11875 0 0 0 22204 26 0 0 25 0 1 0 908352476 58060800 11719 33554432000 134512640 137138936 4291142400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 14175 11719 192 642 0 13531 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 56700
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/484 25262
/proc/meminfo: memFree=24419672/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=57632 CPUtime=282.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 12108 0 0 0 28200 30 0 0 25 0 1 0 908352476 59015168 11952 33554432000 134512640 137138936 4291142400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 14408 11952 192 642 0 13764 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57632
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25264
/proc/meminfo: memFree=24412920/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63972 CPUtime=342.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13734 0 0 0 34192 38 0 0 25 0 1 0 908352476 65507328 13537 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15993 13537 192 642 0 15349 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 63972
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25265
/proc/meminfo: memFree=24412876/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63972 CPUtime=402.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13734 0 0 0 40187 44 0 0 25 0 1 0 908352476 65507328 13537 33554432000 134512640 137138936 4291142400 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15993 13537 192 642 0 15349 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 63972
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 25330
/proc/meminfo: memFree=24726568/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=462.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 46180 50 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63984
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25439
/proc/meminfo: memFree=24728056/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=522.3 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 52177 53 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 63984
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 4/484 25468
/proc/meminfo: memFree=24721064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=63984 CPUtime=582.31 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 13737 0 0 0 58174 57 0 0 25 0 1 0 908352476 65519616 13540 33554432000 134512640 137138936 4291142400 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 15996 13540 192 642 0 15352 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 63984
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24321964/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=67484 CPUtime=1062.32 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 14680 0 0 0 106138 94 0 0 25 0 1 0 908352476 69103616 14415 33554432000 134512640 137138936 4291142400 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 16871 14415 192 642 0 16227 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 67484
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 25509
/proc/meminfo: memFree=24287956/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=67484 CPUtime=1122.32 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 14680 0 0 0 112134 98 0 0 25 0 1 0 908352476 69103616 14415 33554432000 134512640 137138936 4291142400 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 16871 14415 192 642 0 16227 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 67484
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 25511
/proc/meminfo: memFree=24255176/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=69896 CPUtime=1182.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15341 0 0 0 118130 103 0 0 25 0 1 0 908352476 71573504 15021 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17474 15021 192 642 0 16830 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 69896
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25513
/proc/meminfo: memFree=24228348/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71132 CPUtime=1242.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15647 0 0 0 124127 106 0 0 25 0 1 0 908352476 72839168 15327 33554432000 134512640 137138936 4291142400 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17783 15327 192 642 0 17139 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 71132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25514
/proc/meminfo: memFree=24198812/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71132 CPUtime=1302.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15647 0 0 0 130123 111 0 0 25 0 1 0 908352476 72839168 15327 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17783 15327 192 642 0 17139 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 71132
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/484 25516
/proc/meminfo: memFree=24151776/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1362.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 136118 115 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 71024
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 25517
/proc/meminfo: memFree=24106480/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1422.36 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 142114 122 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 71024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25519
/proc/meminfo: memFree=24063896/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1482.33 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 148104 129 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136504608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 71024
[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/484 25521
/proc/meminfo: memFree=24033856/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1542.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 154098 136 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 71024
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/484 25522
/proc/meminfo: memFree=24002704/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1602.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 160091 143 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 71024
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 25524
/proc/meminfo: memFree=23969316/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1662.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 166087 147 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 71024
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 25525
/proc/meminfo: memFree=23927852/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1722.35 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 172083 152 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 71024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23896064/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1782.34 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 178074 160 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 71024
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23894576/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1785.55 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 178394 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 71024
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23891212/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1791.97 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179036 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 71024
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23889476/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1795.15 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179354 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 71024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888348/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1796.74 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179513 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 71024
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888100/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1797.54 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179593 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 71024
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25527
/proc/meminfo: memFree=23888100/32950928 swapFree=61542356/67111528
[pid=25253] ppid=25251 vsize=71024 CPUtime=1797.94 cores=1,3,5,7
/proc/25253/stat : 25253 (bsolo) R 25251 25253 22562 0 -1 4202496 15667 0 0 0 179633 161 0 0 25 0 1 0 908352476 72728576 15300 33554432000 134512640 137138936 4291142400 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25253/statm: 17756 15300 192 642 0 17112 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 71024
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.38
CPU system time (s): 1.62275
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 71132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 1.62275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15668
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= 5
involuntary context switches= 3666
runsolver used 8.5377 second user time and 19.571 second system time
The end