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-3462756-1307182666/watcher-3462756-1307182666 -o /tmp/evaluation-result-3462756-1307182666/solver-3462756-1307182666 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462756-1307182666.opb
running on 4 cores: 0,2,4,6
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 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=12156 CPUtime=0 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 384 0 0 0 0 0 0 0 25 0 1 0 829869223 12447744 338 33554432000 134512640 137138936 4293066224 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 3039 338 177 642 0 2157 0
[startup+0.097118 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=22900 CPUtime=0.08 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3208 0 0 0 8 0 0 0 25 0 1 0 829869223 23449600 3122 33554432000 134512640 137138936 4293066224 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 5725 3123 282 642 0 4843 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22900
[startup+0.101102 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=23316 CPUtime=0.09 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3334 0 0 0 9 0 0 0 25 0 1 0 829869223 23875584 3248 33554432000 134512640 137138936 4293066224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 5829 3249 287 642 0 4947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23316
[startup+0.30108 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=0.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 28 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53400
[startup+0.701009 s]
/proc/loadavg: 2.00 2.02 2.00 3/505 11439
/proc/meminfo: memFree=30124028/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=0.69 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 68 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53400
[startup+1.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30081612/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=53400 CPUtime=1.48 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11062 0 0 0 147 1 0 0 25 0 1 0 829869223 54681600 10610 33554432000 134512640 137138936 4293066224 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 13350 10610 185 642 0 12706 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53400
[startup+3.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30078260/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=57344 CPUtime=3.08 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 64067 0 0 0 299 9 0 0 25 0 1 0 829869223 58720256 11614 33554432000 134512640 137138936 4293066224 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 14336 11614 192 642 0 13692 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57344
[startup+6.30104 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30060280/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=78380 CPUtime=6.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 356149 0 0 0 593 36 0 0 25 0 1 0 829869223 80261120 16871 33554432000 134512640 137138936 4293066224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 19595 16872 192 642 0 18951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78380
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=30021340/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=116172 CPUtime=12.68 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 877856 0 0 0 1183 85 0 0 25 0 1 0 829869223 118960128 26316 33554432000 134512640 137138936 4293066224 18446744073709551615 134618113 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 29043 26316 192 642 0 28399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116172
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11440
/proc/meminfo: memFree=29942696/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=191504 CPUtime=25.48 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 1869059 0 0 0 2370 178 0 0 25 0 1 0 829869223 196100096 45145 33554432000 134512640 137138936 4293066224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 47876 45145 192 642 0 47232 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191504
[startup+51.1012 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11441
/proc/meminfo: memFree=29808068/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=326812 CPUtime=51.09 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 3597334 0 0 0 4771 338 0 0 25 0 1 0 829869223 334655488 78992 33554432000 134512640 137138936 4293066224 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 81703 78992 192 642 0 81059 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326812
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11442
/proc/meminfo: memFree=29616468/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=514320 CPUtime=102.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 5995128 0 0 0 9657 573 0 0 25 0 1 0 829869223 526663680 125864 33554432000 134512640 137138936 4293066224 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 128580 125864 192 642 0 127936 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 514320
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11444
/proc/meminfo: memFree=29469144/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=661976 CPUtime=162.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 7881801 0 0 0 15455 774 0 0 25 0 1 0 829869223 677863424 162702 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 165494 162731 192 642 0 164850 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 661976
[startup+222.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/506 11445
/proc/meminfo: memFree=29276320/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=807056 CPUtime=222.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 9736368 0 0 0 21271 959 0 0 25 0 1 0 829869223 826425344 199022 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 201764 199050 192 642 0 201120 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 807056
[startup+282.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/506 11447
/proc/meminfo: memFree=29134940/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=911092 CPUtime=282.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 11079725 0 0 0 27132 1098 0 0 25 0 1 0 829869223 932958208 225070 33554432000 134512640 137138936 4293066224 18446744073709551615 134542978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 227773 225070 192 642 0 227129 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 911092
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 11449
/proc/meminfo: memFree=29040068/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1004916 CPUtime=342.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12280405 0 0 0 33003 1227 0 0 25 0 1 0 829869223 1029033984 248501 33554432000 134512640 137138936 4293066224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 251229 248501 192 642 0 250585 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1004916
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 11450
/proc/meminfo: memFree=28988228/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=402.29 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 38931 1298 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1055940
[startup+462.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/506 11452
/proc/meminfo: memFree=28988580/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=462.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 44930 1300 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1055940
[startup+522.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 11453
/proc/meminfo: memFree=28988672/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=522.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 50929 1301 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1055940
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 11455
/proc/meminfo: memFree=28981336/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055940 CPUtime=582.3 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 12934566 0 0 0 56927 1303 0 0 25 0 1 0 829869223 1081282560 261282 33554432000 134512640 137138936 4293066224 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263985 261282 192 642 0 263341 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1055940
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28945768/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1008008 CPUtime=1122.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14171136 0 0 0 110784 1448 0 0 25 0 1 0 829869223 1032200192 249243 33554432000 134512640 137138936 4293066224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 252002 249270 192 642 0 251358 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1008008
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 11471
/proc/meminfo: memFree=28865020/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1182.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 116717 1515 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134606700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1055236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 11473
/proc/meminfo: memFree=28863132/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1242.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 122715 1517 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1055236
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11474
/proc/meminfo: memFree=28863240/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1302.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 128713 1520 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1055236
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/506 11476
/proc/meminfo: memFree=28863476/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1362.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 134711 1521 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1055236
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.00 3/506 11477
/proc/meminfo: memFree=28862844/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1055236 CPUtime=1422.34 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 140711 1523 0 0 25 0 1 0 829869223 1080561664 261076 33554432000 134512640 137138936 4293066224 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 263809 261076 192 642 0 263165 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1055236
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11506
/proc/meminfo: memFree=29322004/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1482.32 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 146707 1525 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 917872
[startup+1542.3 s]
/proc/loadavg: 2.19 2.07 2.01 4/506 11508
/proc/meminfo: memFree=29193604/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1542.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 152705 1528 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 917872
[startup+1602.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/506 11509
/proc/meminfo: memFree=29099104/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1602.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 158704 1529 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 917872
[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 2.01 4/506 11511
/proc/meminfo: memFree=29021704/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1662.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 164703 1530 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 917872
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/506 11512
/proc/meminfo: memFree=28956600/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=917872 CPUtime=1722.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 14781652 0 0 0 170701 1532 0 0 25 0 1 0 829869223 939900928 226767 33554432000 134512640 137138936 4293066224 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 229468 226767 192 642 0 228824 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 917872
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 11514
/proc/meminfo: memFree=28867188/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=977624 CPUtime=1782.33 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15554101 0 0 0 176617 1616 0 0 25 0 1 0 829869223 1001086976 241700 33554432000 134512640 137138936 4293066224 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 244406 241700 192 642 0 243762 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 977624
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28861608/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=983288 CPUtime=1785.53 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15634330 0 0 0 176928 1625 0 0 25 0 1 0 829869223 1006886912 243108 33554432000 134512640 137138936 4293066224 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 245822 243108 192 642 0 245178 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 983288
[startup+1791.92 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28849952/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=994764 CPUtime=1791.95 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15782912 0 0 0 177556 1639 0 0 25 0 1 0 829869223 1018638336 245968 33554432000 134512640 137138936 4293066224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 248691 245968 192 642 0 248047 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 994764
[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/506 11514
/proc/meminfo: memFree=28844992/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=999300 CPUtime=1795.14 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15841857 0 0 0 177869 1645 0 0 25 0 1 0 829869223 1023283200 247101 33554432000 134512640 137138936 4293066224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 249825 247101 192 642 0 249181 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 999300
[startup+1796.7 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28843752/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1001312 CPUtime=1796.73 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15869203 0 0 0 178026 1647 0 0 25 0 1 0 829869223 1025343488 247627 33554432000 134512640 137138936 4293066224 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250328 247627 192 642 0 249684 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1001312
[startup+1797.5 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1002652 CPUtime=1797.53 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15886369 0 0 0 178104 1649 0 0 25 0 1 0 829869223 1026715648 247956 33554432000 134512640 137138936 4293066224 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250663 247956 192 642 0 250019 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1002652
[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=1003588 CPUtime=1797.93 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202496 15897915 0 0 0 178143 1650 0 0 25 0 1 0 829869223 1027674112 248178 33554432000 134512640 137138936 4293066224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11439/statm: 250897 248178 192 642 0 250253 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1003588
[startup+1798 s]
/proc/loadavg: 2.00 2.04 2.00 4/506 11514
/proc/meminfo: memFree=28841644/32951124 swapFree=51712236/67111528
[pid=11439] ppid=11437 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/11439/stat : 11439 (bsolo) R 11437 11439 9506 0 -1 4202500 15899283 0 0 0 178149 1654 0 0 25 0 1 0 829869223 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/11439/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1781.5
CPU system time (s): 16.5515
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1055940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.5
system time used= 16.5515
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15899283
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= 5379
runsolver used 9.37058 second user time and 20.3479 second system time
The end