PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 25881

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 04:07:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16914 boxname=wulflinc31 idbench=1302 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 16914
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        939272 kB
Buffers:          7792 kB
Cached:          64948 kB
SwapCached:        972 kB
Active:          58384 kB
Inactive:        16512 kB
HighTotal:      131008 kB
HighFree:        77392 kB
LowTotal:       903652 kB
LowFree:        861880 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            14912 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 04:27:18 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 16914 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.076 s
c Initial Lower Bound: 777
c Lower Bound Elapsed time: 0.0104
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3184 @ 1.385
c NEW SOLUTION FOUND: 3074 @ 1.398
c NEW SOLUTION FOUND: 2879 @ 1.427
c NEW SOLUTION FOUND: 2798 @ 1.452
c NEW SOLUTION FOUND: 2783 @ 1.485
c NEW SOLUTION FOUND: 2709 @ 1.5
c NEW SOLUTION FOUND: 2599 @ 1.501
c NEW SOLUTION FOUND: 2596 @ 1.518
c NEW SOLUTION FOUND: 2471 @ 1.543
c NEW SOLUTION FOUND: 2401 @ 19.827
c NEW SOLUTION FOUND: 2377 @ 20.024
c NEW SOLUTION FOUND: 2283 @ 39.798
c NEW SOLUTION FOUND: 2232 @ 78.542
c NEW SOLUTION FOUND: 2156 @ 137.679
c NEW SOLUTION FOUND: 2155 @ 144.261
c NEW SOLUTION FOUND: 2144 @ 164.333
c NEW SOLUTION FOUND: 2124 @ 176.315
c NEW SOLUTION FOUND: 2088 @ 182.836
c NEW SOLUTION FOUND: 2060 @ 845.616
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.98 2/55 2011
Raw data (stat): 2011 (runsolver) R 2010 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 818571382 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 8159 0 0 0 959 34 0 0 25 0 1 0 818571382 12386304 2338 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2338 1111 63 0 2961 0
vsize: 12096
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 15506 0 0 0 1923 71 0 0 25 0 1 0 818571382 19628032 4057 4294967295 134512640 134714508 3221221792 3221218880 1074207726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4792 4057 1111 63 0 4729 0
vsize: 19168
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 20293 0 0 0 2906 88 0 0 25 0 1 0 818571382 22433792 4803 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5477 4803 1111 63 0 5414 0
vsize: 21908
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 36535 0 0 0 3869 123 0 0 25 0 1 0 818571382 23379968 5033 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5708 5033 1111 63 0 5645 0
vsize: 22832
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 51697 0 0 0 4833 159 0 0 25 0 1 0 818571382 24391680 5280 4294967295 134512640 134714508 3221221792 3221219972 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5942 5267 1111 63 0 5879 0
vsize: 23820
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 69854 0 0 0 5792 201 0 0 25 0 1 0 818571382 25481216 5546 4294967295 134512640 134714508 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6221 5546 1111 63 0 6158 0
vsize: 24884
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 89573 0 0 0 6748 245 0 0 25 0 1 0 818571382 28020736 5845 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6841 5850 1111 63 0 6778 0
vsize: 27364
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 128807 0 0 0 7655 338 0 0 25 0 1 0 818571382 33587200 7187 4294967295 134512640 134714508 3221221792 3221217924 1075112444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8200 7187 1111 63 0 8137 0
vsize: 32800
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 170214 0 0 0 8562 431 0 0 25 0 1 0 818571382 39387136 8526 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9317 8517 1111 63 0 9254 0
vsize: 38464
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 209495 0 0 0 9468 525 0 0 25 0 1 0 818571382 43528192 9793 4294967295 134512640 134714508 3221221792 3221220248 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10627 9793 1111 63 0 10564 0
vsize: 42508
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 236430 0 0 0 10405 589 0 0 25 0 1 0 818571382 45686784 10342 4294967295 134512640 134714508 3221221792 3221220584 134543541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11154 10342 1111 63 0 11091 0
vsize: 44616
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 242725 0 0 0 11389 604 0 0 25 0 1 0 818571382 48758784 11045 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11904 11045 1111 63 0 11841 0
vsize: 47616
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 244744 0 0 0 12384 610 0 0 25 0 1 0 818571382 47050752 10677 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10677 1111 63 0 11424 0
vsize: 45948
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 261075 0 0 0 13346 648 0 0 25 0 1 0 818571382 48144384 10947 4294967295 134512640 134714508 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11754 10947 1111 63 0 11691 0
vsize: 47016
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 281878 0 0 0 14297 697 0 0 25 0 1 0 818571382 50319360 11443 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11443 1111 63 0 12222 0
vsize: 49140
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 295073 0 0 0 15266 729 0 0 25 0 1 0 818571382 50462720 11476 4294967295 134512640 134714508 3221221792 3221219792 1074916935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12320 11476 1111 63 0 12257 0
vsize: 49280
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 323539 0 0 0 16199 795 0 0 25 0 1 0 818571382 53645312 12178 4294967295 134512640 134714508 3221221792 3221220348 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13097 12178 1111 63 0 13034 0
vsize: 52388
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 341046 0 0 0 17158 837 0 0 25 0 1 0 818571382 57049088 12669 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 12681 1111 63 0 13865 0
vsize: 55712
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 352150 0 0 0 18132 863 0 0 25 0 1 0 818571382 57815040 13076 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14115 13076 1111 63 0 14052 0
vsize: 56460
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 372538 0 0 0 19081 914 0 0 25 0 1 0 818571382 58785792 13315 4294967295 134512640 134714508 3221221792 3221220056 1074146360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14352 13315 1111 63 0 14289 0
vsize: 57408
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 402513 0 0 0 20015 980 0 0 25 0 1 0 818571382 62214144 14123 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15189 14123 1111 63 0 15126 0
vsize: 60756
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 431461 0 0 0 20948 1048 0 0 25 0 1 0 818571382 67149824 15081 4294967295 134512640 134714508 3221221792 3221218176 1075133414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16394 15081 1111 63 0 16331 0
vsize: 65576
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 459756 0 0 0 21878 1118 0 0 25 0 1 0 818571382 68653056 15635 4294967295 134512640 134714508 3221221792 3221219792 1074916661 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16761 15635 1111 63 0 16698 0
vsize: 67044
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 497015 0 0 0 22788 1208 0 0 25 0 1 0 818571382 73134080 16691 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17855 16691 1111 63 0 17792 0
vsize: 71420
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 518474 0 0 0 23739 1257 0 0 25 0 1 0 818571382 75030528 17163 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18318 17163 1111 63 0 18255 0
vsize: 73272
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 526344 0 0 0 24720 1276 0 0 25 0 1 0 818571382 76312576 17467 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18631 17467 1111 63 0 18568 0
vsize: 74524
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 528545 0 0 0 25715 1282 0 0 25 0 1 0 818571382 76279808 17468 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18623 17468 1111 63 0 18560 0
vsize: 74492
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 543213 0 0 0 26682 1315 0 0 25 0 1 0 818571382 76075008 17425 4294967295 134512640 134714508 3221221792 3221219792 1074916528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18573 17425 1111 63 0 18510 0
vsize: 74292
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 567994 0 0 0 27623 1374 0 0 25 0 1 0 818571382 79204352 18120 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19337 18120 1111 63 0 19274 0
vsize: 77348
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 578511 0 0 0 28597 1400 0 0 25 0 1 0 818571382 82124800 18779 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20050 18779 1111 63 0 19987 0
vsize: 80200
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 586452 0 0 0 29578 1420 0 0 25 0 1 0 818571382 80314368 18357 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19608 18357 1111 63 0 19545 0
vsize: 78432
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 603908 0 0 0 30538 1459 0 0 25 0 1 0 818571382 82362368 18832 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20108 18832 1111 63 0 20045 0
vsize: 80432
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609259 0 0 0 31526 1472 0 0 25 0 1 0 818571382 82505728 18874 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20143 18874 1111 63 0 20080 0
vsize: 80572
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609367 0 0 0 32525 1473 0 0 25 0 1 0 818571382 82948096 18982 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20251 18982 1111 63 0 20188 0
vsize: 81004
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609445 0 0 0 33524 1475 0 0 25 0 1 0 818571382 83349504 19060 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20349 19060 1111 63 0 20286 0
vsize: 81396
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609506 0 0 0 34523 1476 0 0 25 0 1 0 818571382 83537920 19121 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20395 19121 1111 63 0 20332 0
vsize: 81580
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609553 0 0 0 35522 1477 0 0 25 0 1 0 818571382 83730432 19168 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20442 19168 1111 63 0 20379 0
vsize: 81768
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 609621 0 0 0 36521 1478 0 0 25 0 1 0 818571382 84045824 19236 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20519 19236 1111 63 0 20456 0
vsize: 82076
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 37518 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 38518 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 39518 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 40518 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 41518 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 611144 0 0 0 42519 1481 0 0 25 0 1 0 818571382 88084480 20222 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21505 20222 1111 63 0 21442 0
vsize: 86020
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 612710 0 0 0 43516 1484 0 0 25 0 1 0 818571382 91488256 20747 4294967295 134512640 134714508 3221221792 3221217952 1075092807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22336 20747 1111 63 0 22273 0
vsize: 89344
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 44506 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 45506 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 46507 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 47507 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 48507 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 49507 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 616316 0 0 0 50507 1494 0 0 25 0 1 0 818571382 84217856 19292 4294967295 134512640 134714508 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19292 1111 63 0 20498 0
vsize: 82244
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 618764 0 0 0 51501 1501 0 0 25 0 1 0 818571382 89853952 19269 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21937 19278 1111 63 0 21874 0
vsize: 87748
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 655830 0 0 0 52407 1595 0 0 25 0 1 0 818571382 85938176 19347 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21901 19351 1111 63 0 21838 0
vsize: 83924
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 687349 0 0 0 53329 1673 0 0 25 0 1 0 818571382 87089152 19945 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21262 19945 1111 63 0 21199 0
vsize: 85048
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 698773 0 0 0 54301 1702 0 0 25 0 1 0 818571382 87433216 19997 4294967295 134512640 134714508 3221221792 3221219576 1077380786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21346 19997 1111 63 0 21283 0
vsize: 85384
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 732650 0 0 0 55217 1786 0 0 25 0 1 0 818571382 90349568 20426 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21751 20424 1111 63 0 21688 0
vsize: 88232
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 750116 0 0 0 56176 1827 0 0 25 0 1 0 818571382 89366528 20491 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21818 20491 1111 63 0 21755 0
vsize: 87272
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 777534 0 0 0 57109 1894 0 0 25 0 1 0 818571382 90902528 20871 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22193 20871 1111 63 0 22130 0
vsize: 88772
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 777686 0 0 0 58108 1896 0 0 25 0 1 0 818571382 91525120 21023 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22345 21023 1111 63 0 22282 0
vsize: 89380
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 778574 0 0 0 59105 1898 0 0 25 0 1 0 818571382 94064640 21634 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22965 21634 1111 63 0 22902 0
vsize: 91860
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 778574 0 0 0 60105 1898 0 0 25 0 1 0 818571382 94064640 21634 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22965 21634 1111 63 0 22902 0
vsize: 91860
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 781198 0 0 0 61099 1905 0 0 25 0 1 0 818571382 91779072 21085 4294967295 134512640 134714508 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22407 21085 1111 63 0 22344 0
vsize: 89628
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 781198 0 0 0 62099 1905 0 0 25 0 1 0 818571382 91779072 21085 4294967295 134512640 134714508 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22407 21085 1111 63 0 22344 0
vsize: 89628
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 781198 0 0 0 63099 1905 0 0 25 0 1 0 818571382 91779072 21085 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22407 21085 1111 63 0 22344 0
vsize: 89628
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 781806 0 0 0 64097 1907 0 0 25 0 1 0 818571382 92561408 21262 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21262 1111 63 0 22535 0
vsize: 90392
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 783847 0 0 0 65092 1912 0 0 25 0 1 0 818571382 91926528 21091 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22443 21091 1111 63 0 22380 0
vsize: 89772
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 785578 0 0 0 66088 1916 0 0 25 0 1 0 818571382 90644480 20801 4294967295 134512640 134714508 3221221792 3221219792 1074918326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22130 20801 1111 63 0 22067 0
vsize: 88520
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 791970 0 0 0 67074 1931 0 0 25 0 1 0 818571382 90628096 20805 4294967295 134512640 134714508 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22126 20805 1111 63 0 22063 0
vsize: 88504
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 800768 0 0 0 68053 1952 0 0 25 0 1 0 818571382 92413952 21241 4294967295 134512640 134714508 3221221792 3221219744 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22562 21241 1111 63 0 22499 0
vsize: 90248
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 801775 0 0 0 69049 1956 0 0 25 0 1 0 818571382 92643328 21297 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22618 21297 1111 63 0 22555 0
vsize: 90472
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 802461 0 0 0 70047 1958 0 0 25 0 1 0 818571382 94535680 21759 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23080 21759 1111 63 0 23017 0
vsize: 92320
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 805416 0 0 0 71041 1964 0 0 25 0 1 0 818571382 92717056 21315 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22636 21315 1111 63 0 22573 0
vsize: 90544
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 805416 0 0 0 72041 1964 0 0 25 0 1 0 818571382 92717056 21315 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22636 21315 1111 63 0 22573 0
vsize: 90544
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 805416 0 0 0 73041 1964 0 0 25 0 1 0 818571382 92717056 21315 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22636 21315 1111 63 0 22573 0
vsize: 90544
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 808150 0 0 0 74034 1972 0 0 25 0 1 0 818571382 93216768 21437 4294967295 134512640 134714508 3221221792 3221219744 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22758 21437 1111 63 0 22695 0
vsize: 91032
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 810853 0 0 0 75028 1978 0 0 25 0 1 0 818571382 92434432 21246 4294967295 134512640 134714508 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22567 21246 1111 63 0 22504 0
vsize: 90268
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 810853 0 0 0 76029 1978 0 0 25 0 1 0 818571382 92434432 21246 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22567 21246 1111 63 0 22504 0
vsize: 90268
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 812972 0 0 0 77024 1983 0 0 25 0 1 0 818571382 92196864 21188 4294967295 134512640 134714508 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22509 21188 1111 63 0 22446 0
vsize: 90036
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 816472 0 0 0 78015 1992 0 0 25 0 1 0 818571382 91897856 21115 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22436 21115 1111 63 0 22373 0
vsize: 89744
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 822500 0 0 0 79001 2006 0 0 25 0 1 0 818571382 91381760 20989 4294967295 134512640 134714508 3221221792 3221220592 134622638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22310 20989 1111 63 0 22247 0
vsize: 89240
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 829328 0 0 0 79984 2023 0 0 25 0 1 0 818571382 91758592 21081 4294967295 134512640 134714508 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22402 21081 1111 63 0 22339 0
vsize: 89608
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 830363 0 0 0 80982 2026 0 0 25 0 1 0 818571382 92680192 21300 4294967295 134512640 134714508 3221221792 3221219744 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22627 21300 1111 63 0 22564 0
vsize: 90508
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 831736 0 0 0 81979 2029 0 0 25 0 1 0 818571382 92405760 21239 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22560 21239 1111 63 0 22497 0
vsize: 90240
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 840278 0 0 0 82956 2051 0 0 25 0 1 0 818571382 92393472 21240 4294967295 134512640 134714508 3221221792 3221219776 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22557 21240 1111 63 0 22494 0
vsize: 90228
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 840389 0 0 0 83954 2053 0 0 25 0 1 0 818571382 92848128 21351 4294967295 134512640 134714508 3221221792 3221219516 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22668 21351 1111 63 0 22605 0
vsize: 90672
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 840454 0 0 0 84953 2054 0 0 25 0 1 0 818571382 93114368 21416 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22733 21416 1111 63 0 22670 0
vsize: 90932
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 841625 0 0 0 85951 2057 0 0 25 0 1 0 818571382 96378880 22208 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23530 22208 1111 63 0 23467 0
vsize: 94120
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 841625 0 0 0 86951 2057 0 0 25 0 1 0 818571382 96378880 22208 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23530 22208 1111 63 0 23467 0
vsize: 94120
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 844998 0 0 0 87942 2066 0 0 25 0 1 0 818571382 93294592 21460 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21460 1111 63 0 22714 0
vsize: 91108
[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 844998 0 0 0 88942 2066 0 0 25 0 1 0 818571382 93294592 21460 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21460 1111 63 0 22714 0
vsize: 91108
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 844998 0 0 0 89943 2066 0 0 25 0 1 0 818571382 93294592 21460 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21460 1111 63 0 22714 0
vsize: 91108
[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 844998 0 0 0 90943 2066 0 0 25 0 1 0 818571382 93294592 21460 4294967295 134512640 134714508 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21460 1111 63 0 22714 0
vsize: 91108
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 846488 0 0 0 91940 2069 0 0 25 0 1 0 818571382 92270592 21210 4294967295 134512640 134714508 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22527 21210 1111 63 0 22464 0
vsize: 90108
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 850363 0 0 0 92930 2079 0 0 25 0 1 0 818571382 91987968 21141 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22458 21141 1111 63 0 22395 0
vsize: 89832
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 864049 0 0 0 93897 2113 0 0 25 0 1 0 818571382 93499392 21488 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22827 21488 1111 63 0 22764 0
vsize: 91308
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 864838 0 0 0 94894 2115 0 0 25 0 1 0 818571382 95744000 22033 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23375 22033 1111 63 0 23312 0
vsize: 93500
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 864838 0 0 0 95894 2115 0 0 25 0 1 0 818571382 95744000 22033 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23375 22033 1111 63 0 23312 0
vsize: 93500
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 867949 0 0 0 96888 2122 0 0 25 0 1 0 818571382 93442048 21489 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22813 21489 1111 63 0 22750 0
vsize: 91252
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 867949 0 0 0 97888 2122 0 0 25 0 1 0 818571382 93442048 21489 4294967295 134512640 134714508 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22813 21489 1111 63 0 22750 0
vsize: 91252
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 868047 0 0 0 98888 2122 0 0 25 0 1 0 818571382 92700672 21308 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22632 21308 1111 63 0 22569 0
vsize: 90528
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 868685 0 0 0 99886 2124 0 0 25 0 1 0 818571382 94580736 21754 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23091 21754 1111 63 0 23028 0
vsize: 92364
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 871164 0 0 0 100881 2130 0 0 25 0 1 0 818571382 93138944 21415 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22739 21415 1111 63 0 22676 0
vsize: 90956
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 873835 0 0 0 101873 2138 0 0 25 0 1 0 818571382 93728768 21555 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22883 21555 1111 63 0 22820 0
vsize: 91532
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 876129 0 0 0 102867 2144 0 0 25 0 1 0 818571382 92921856 21362 4294967295 134512640 134714508 3221221792 3221219204 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22686 21362 1111 63 0 22623 0
vsize: 90744
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 882366 0 0 0 103853 2158 0 0 25 0 1 0 818571382 93638656 21505 4294967295 134512640 134714508 3221221792 3221219904 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22861 21505 1111 63 0 22798 0
vsize: 91444
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 883531 0 0 0 104849 2162 0 0 25 0 1 0 818571382 94904320 21845 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23170 21845 1111 63 0 23107 0
vsize: 92680
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 886414 0 0 0 105842 2169 0 0 25 0 1 0 818571382 93073408 21399 4294967295 134512640 134714508 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22723 21399 1111 63 0 22660 0
vsize: 90892
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 914178 0 0 0 106778 2233 0 0 25 0 1 0 818571382 93679616 21498 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22871 21498 1111 63 0 22808 0
vsize: 91484
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 929778 0 0 0 107742 2270 0 0 25 0 1 0 818571382 96354304 22104 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23524 22104 1111 63 0 23461 0
vsize: 94096
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 932031 0 0 0 108736 2276 0 0 25 0 1 0 818571382 95248384 21818 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23254 21818 1111 63 0 23191 0
vsize: 93016
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 937709 0 0 0 109722 2290 0 0 25 0 1 0 818571382 94961664 21776 4294967295 134512640 134714508 3221221792 3221219584 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23184 21776 1111 63 0 23121 0
vsize: 92736
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 940297 0 0 0 110714 2298 0 0 25 0 1 0 818571382 95518720 21914 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23320 21914 1111 63 0 23257 0
vsize: 93280
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 945174 0 0 0 111703 2309 0 0 25 0 1 0 818571382 95117312 21813 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23222 21813 1111 63 0 23159 0
vsize: 92888
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 964436 0 0 0 112656 2357 0 0 25 0 1 0 818571382 95739904 21926 4294967295 134512640 134714508 3221221792 3221220256 134535881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23374 21926 1111 63 0 23311 0
vsize: 93496
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 964748 0 0 0 113654 2359 0 0 25 0 1 0 818571382 97103872 22230 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23707 22230 1111 63 0 23644 0
vsize: 94828
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 964833 0 0 0 114652 2361 0 0 25 0 1 0 818571382 97443840 22315 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23790 22315 1111 63 0 23727 0
vsize: 95160
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 964908 0 0 0 115651 2362 0 0 25 0 1 0 818571382 97701888 22390 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23853 22390 1111 63 0 23790 0
vsize: 95412
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 964970 0 0 0 116651 2363 0 0 25 0 1 0 818571382 98025472 22452 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23932 22452 1111 63 0 23869 0
vsize: 95728
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2011
Raw data (stat): 2011 (bsolo_lpr) R 2010 7876 7672 0 -1 0 965066 0 0 0 117650 2364 0 0 25 0 1 0 818571382 98344960 22548 4294967295 134512640 134714508 3221221792 3221220144 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24010 22548 1111 63 0 23947 0
vsize: 96040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 2011
Raw data (stat): 2011 (bsolo_lpr) Z 2010 7876 7672 0 -1 1036 965066 0 0 0 117650 2368 0 0 25 0 1 0 818571382 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.19
CPU user time (s): 1176.51
CPU system time (s): 23.6814
CPU usage (%): 100.007
Max. virtual memory (Kb): 96040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####