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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
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.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 24917

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 20:30:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3196 boxname=wulflinc31 idbench=356 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
IDLAUNCH: 3196
/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:        822772 kB
Buffers:         39716 kB
Cached:         150656 kB
SwapCached:       1932 kB
Active:         155036 kB
Inactive:        38580 kB
HighTotal:      131008 kB
HighFree:         1372 kB
LowTotal:       903652 kB
LowFree:        821400 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:            1048 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12668 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 20:50:07 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3196 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 257 variables and 181 constraints.
c After prepocess the problem consists of 216 variables and 98 constraints.
c preprocess terminated 0.119 s
c Initial Lower Bound: 303
c Lower Bound Elapsed time: 0.017
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4133 @ 0.554
c NEW SOLUTION FOUND: 4038 @ 0.628
c NEW SOLUTION FOUND: 4037 @ 0.655
c NEW SOLUTION FOUND: 4036 @ 0.678
c NEW SOLUTION FOUND: 4035 @ 0.702
c NEW SOLUTION FOUND: 4034 @ 0.725
c NEW SOLUTION FOUND: 4033 @ 0.748
c NEW SOLUTION FOUND: 3933 @ 0.813
c NEW SOLUTION FOUND: 3833 @ 0.885
c NEW SOLUTION FOUND: 3733 @ 0.968
c NEW SOLUTION FOUND: 3633 @ 1.067
c NEW SOLUTION FOUND: 3533 @ 1.171
c NEW SOLUTION FOUND: 3433 @ 1.283
c NEW SOLUTION FOUND: 3432 @ 1.388
c NEW SOLUTION FOUND: 3332 @ 1.498
c NEW SOLUTION FOUND: 3331 @ 1.692
c NEW SOLUTION FOUND: 3231 @ 1.977
c NEW SOLUTION FOUND: 3230 @ 2.306
c NEW SOLUTION FOUND: 3130 @ 2.567
c NEW SOLUTION FOUND: 3129 @ 2.867
c NEW SOLUTION FOUND: 3029 @ 3.1
c NEW SOLUTION FOUND: 3028 @ 3.397
c NEW SOLUTION FOUND: 2928 @ 3.635
c NEW SOLUTION FOUND: 2927 @ 3.989
c NEW SOLUTION FOUND: 2827 @ 4.302
c NEW SOLUTION FOUND: 2826 @ 4.729
c NEW SOLUTION FOUND: 2726 @ 5.054
c NEW SOLUTION FOUND: 2725 @ 5.505
c NEW SOLUTION FOUND: 2626 @ 5.878
c NEW SOLUTION FOUND: 2625 @ 6.081
c NEW SOLUTION FOUND: 2624 @ 6.607
c NEW SOLUTION FOUND: 2525 @ 7.018
c NEW SOLUTION FOUND: 2524 @ 7.191
c NEW SOLUTION FOUND: 2523 @ 7.781
c NEW SOLUTION FOUND: 2424 @ 8.325
c NEW SOLUTION FOUND: 2423 @ 8.487
c NEW SOLUTION FOUND: 2422 @ 9.122
c NEW SOLUTION FOUND: 2323 @ 9.562
c NEW SOLUTION FOUND: 2322 @ 9.779
c NEW SOLUTION FOUND: 2321 @ 10.371
c NEW SOLUTION FOUND: 2221 @ 10.863
c NEW SOLUTION FOUND: 2122 @ 11.538
c NEW SOLUTION FOUND: 2121 @ 11.697
c NEW SOLUTION FOUND: 2120 @ 12.294
c NEW SOLUTION FOUND: 2021 @ 12.933
c NEW SOLUTION FOUND: 2020 @ 13.149
c NEW SOLUTION FOUND: 2019 @ 13.644
c NEW SOLUTION FOUND: 2018 @ 14.414
c NEW SOLUTION FOUND: 1919 @ 14.906
c NEW SOLUTION FOUND: 1918 @ 15.371
c NEW SOLUTION FOUND: 1917 @ 16.35
c NEW SOLUTION FOUND: 1819 @ 16.995
c NEW SOLUTION FOUND: 1818 @ 17.237
c NEW SOLUTION FOUND: 1817 @ 18.246
c NEW SOLUTION FOUND: 1816 @ 19.119
c NEW SOLUTION FOUND: 1719 @ 19.891
c NEW SOLUTION FOUND: 1718 @ 20.058
c NEW SOLUTION FOUND: 1717 @ 20.377
c NEW SOLUTION FOUND: 1716 @ 21.53
c NEW SOLUTION FOUND: 1715 @ 23.221
c NEW SOLUTION FOUND: 1618 @ 24.003
c NEW SOLUTION FOUND: 1617 @ 24.598
c NEW SOLUTION FOUND: 1616 @ 25.604
c NEW SOLUTION FOUND: 1615 @ 27.01
c NEW SOLUTION FOUND: 1518 @ 41.24
c NEW SOLUTION FOUND: 1517 @ 41.714
c NEW SOLUTION FOUND: 1516 @ 42.281
c NEW SOLUTION FOUND: 1515 @ 45.899
c NEW SOLUTION FOUND: 1514 @ 102.572
c NEW SOLUTION FOUND: 1418 @ 139.101
c NEW SOLUTION FOUND: 1417 @ 139.205
c NEW SOLUTION FOUND: 1416 @ 139.315
c NEW SOLUTION FOUND: 1415 @ 143.736
c NEW SOLUTION FOUND: 1414 @ 150.766
c NEW SOLUTION FOUND: 1413 @ 222.335
c NEW SOLUTION FOUND: 1316 @ 311.461
c NEW SOLUTION FOUND: 1315 @ 311.635
c NEW SOLUTION FOUND: 1314 @ 314.92
c NEW SOLUTION FOUND: 1313 @ 317.591
c NEW SOLUTION FOUND: 1312 @ 560.308
c NEW SOLUTION FOUND: 1215 @ 706.062
c NEW SOLUTION FOUND: 1214 @ 706.188
c NEW SOLUTION FOUND: 1213 @ 719.017
c NEW SOLUTION FOUND: 1212 @ 727.297
#### 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.85 0.95 0.98 2/55 28275
Raw data (stat): 28275 (runsolver) R 28274 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 746700083 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.95 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 7175 0 0 0 957 37 0 0 25 0 1 0 746700083 11218944 2035 4294967295 134512640 134714508 3221221792 3221218968 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2739 2035 1111 63 0 2676 0
vsize: 10956
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.95 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 13262 0 0 0 1924 70 0 0 25 0 1 0 746700083 16302080 3238 4294967295 134512640 134714508 3221221792 3221218860 1074831249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3238 1111 63 0 3917 0
vsize: 15920
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.95 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 18344 0 0 0 2898 97 0 0 25 0 1 0 746700083 20287488 4261 4294967295 134512640 134714508 3221221792 3221220160 1074140704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4261 1111 63 0 4890 0
vsize: 19812
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 23135 0 0 0 3875 120 0 0 25 0 1 0 746700083 25292800 5446 4294967295 134512640 134714508 3221221792 3221219536 1075646829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5446 1111 63 0 6112 0
vsize: 24700
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 28674 0 0 0 4855 140 0 0 25 0 1 0 746700083 28848128 6341 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7043 6341 1111 63 0 6980 0
vsize: 28172
[startup+60.004 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 34999 0 0 0 5840 156 0 0 25 0 1 0 746700083 28958720 6369 4294967295 134512640 134714508 3221221792 3221219848 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7070 6369 1111 63 0 7007 0
vsize: 28280
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 47435 0 0 0 6806 189 0 0 25 0 1 0 746700083 30822400 6751 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7525 6751 1111 63 0 7462 0
vsize: 30100
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 67987 0 0 0 7755 240 0 0 25 0 1 0 746700083 33890304 7563 4294967295 134512640 134714508 3221221792 3221219616 1075823527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8274 7563 1111 63 0 8211 0
vsize: 33096
[startup+90.0048 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 94614 0 0 0 8687 308 0 0 25 0 1 0 746700083 40685568 9068 4294967295 134512640 134714508 3221221792 3221220096 1074146283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9933 9068 1111 63 0 9870 0
vsize: 39732
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 121721 0 0 0 9623 373 0 0 25 0 1 0 746700083 46272512 10423 4294967295 134512640 134714508 3221221792 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11297 10423 1111 63 0 11234 0
vsize: 45188
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 147255 0 0 0 10561 435 0 0 25 0 1 0 746700083 50876416 11556 4294967295 134512640 134714508 3221221792 3221220424 134543541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12421 11556 1111 63 0 12358 0
vsize: 49684
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 172919 0 0 0 11503 493 0 0 25 0 1 0 746700083 55468032 12683 4294967295 134512640 134714508 3221221792 3221220064 1074143478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13542 12683 1111 63 0 13479 0
vsize: 54168
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 200085 0 0 0 12445 551 0 0 25 0 1 0 746700083 60366848 13883 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14738 13883 1111 63 0 14675 0
vsize: 58952
[startup+140.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 227994 0 0 0 13375 622 0 0 25 0 1 0 746700083 68145152 15497 4294967295 134512640 134714508 3221221792 3221220416 134594375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16637 15497 1111 63 0 16574 0
vsize: 66548
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 252332 0 0 0 14322 675 0 0 25 0 1 0 746700083 72884224 16595 4294967295 134512640 134714508 3221221792 3221219776 1074051973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17794 16595 1111 63 0 17731 0
vsize: 71176
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 271054 0 0 0 15276 721 0 0 25 0 1 0 746700083 76840960 17459 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18760 17462 1111 63 0 18697 0
vsize: 75040
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 296502 0 0 0 16219 778 0 0 25 0 1 0 746700083 80703488 18461 4294967295 134512640 134714508 3221221792 3221220352 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19703 18461 1111 63 0 19640 0
vsize: 78812
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 323471 0 0 0 17152 844 0 0 25 0 1 0 746700083 85618688 19632 4294967295 134512640 134714508 3221221792 3221220096 1074146235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20903 19632 1111 63 0 20840 0
vsize: 83612
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 350149 0 0 0 18091 907 0 0 25 0 1 0 746700083 91066368 20898 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22233 20898 1111 63 0 22170 0
vsize: 88932
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 375316 0 0 0 19032 965 0 0 25 0 1 0 746700083 96239616 22121 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23496 22122 1111 63 0 23433 0
vsize: 93984
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 398817 0 0 0 19974 1023 0 0 25 0 1 0 746700083 100274176 23151 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24481 23151 1111 63 0 24418 0
vsize: 97924
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 419805 0 0 0 20926 1072 0 0 25 0 1 0 746700083 103661568 23992 4294967295 134512640 134714508 3221221792 3221219616 1075823585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25308 23992 1111 63 0 25245 0
vsize: 101232
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 441034 0 0 0 21875 1123 0 0 25 0 1 0 746700083 107753472 24912 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26307 24926 1111 63 0 26244 0
vsize: 105228
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 467247 0 0 0 22811 1187 0 0 25 0 1 0 746700083 111882240 26033 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27315 26033 1111 63 0 27252 0
vsize: 109260
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 493620 0 0 0 23750 1248 0 0 25 0 1 0 746700083 116277248 27125 4294967295 134512640 134714508 3221221792 3221220048 1074053566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28388 27125 1111 63 0 28325 0
vsize: 113552
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 517147 0 0 0 24693 1306 0 0 25 0 1 0 746700083 120184832 28083 4294967295 134512640 134714508 3221221792 3221220368 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29342 28083 1111 63 0 29279 0
vsize: 117368
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 543936 0 0 0 25633 1365 0 0 25 0 1 0 746700083 124448768 29071 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30383 29071 1111 63 0 30320 0
vsize: 121532
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 567120 0 0 0 26581 1418 0 0 25 0 1 0 746700083 132657152 30550 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32387 30550 1111 63 0 32324 0
vsize: 129548
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 592213 0 0 0 27524 1475 0 0 25 0 1 0 746700083 137596928 31585 4294967295 134512640 134714508 3221221792 3221219520 1075829522 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33593 31585 1111 63 0 33530 0
vsize: 134372
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 614889 0 0 0 28469 1530 0 0 25 0 1 0 746700083 141488128 32428 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34543 32428 1111 63 0 34480 0
vsize: 138172
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 641403 0 0 0 29408 1591 0 0 25 0 1 0 746700083 146931712 33688 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35872 33688 1111 63 0 35809 0
vsize: 143488
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 660955 0 0 0 30360 1639 0 0 25 0 1 0 746700083 150478848 34472 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36738 34473 1111 63 0 36675 0
vsize: 146952
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 673566 0 0 0 31329 1670 0 0 25 0 1 0 746700083 151879680 34885 4294967295 134512640 134714508 3221221792 3221220168 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37080 34885 1111 63 0 37017 0
vsize: 148320
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 684190 0 0 0 32302 1697 0 0 25 0 1 0 746700083 154132480 35306 4294967295 134512640 134714508 3221221792 3221220144 1074142734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37630 35306 1111 63 0 37567 0
vsize: 150520
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 703495 0 0 0 33258 1741 0 0 25 0 1 0 746700083 157675520 36150 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38495 36150 1111 63 0 38432 0
vsize: 153980
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 728740 0 0 0 34199 1801 0 0 25 0 1 0 746700083 162762752 37310 4294967295 134512640 134714508 3221221792 3221219520 1075828510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39737 37310 1111 63 0 39674 0
vsize: 158948
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 754942 0 0 0 35136 1864 0 0 25 0 1 0 746700083 167108608 38408 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40798 38408 1111 63 0 40735 0
vsize: 163192
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 780879 0 0 0 36072 1928 0 0 25 0 1 0 746700083 172322816 39692 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42071 39692 1111 63 0 42008 0
vsize: 168284
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 800538 0 0 0 37025 1975 0 0 25 0 1 0 746700083 176025600 40583 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42975 40583 1111 63 0 42912 0
vsize: 171900
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 807126 0 0 0 38009 1991 0 0 25 0 1 0 746700083 176840704 40736 4294967295 134512640 134714508 3221221792 3221218324 1075863669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43174 40736 1111 63 0 43111 0
vsize: 172696
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 820795 0 0 0 38977 2023 0 0 25 0 1 0 746700083 178495488 41230 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43578 41230 1111 63 0 43515 0
vsize: 174312
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 831483 0 0 0 39953 2048 0 0 25 0 1 0 746700083 178950144 41355 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43689 41355 1111 63 0 43626 0
vsize: 174756
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 853609 0 0 0 40904 2097 0 0 25 0 1 0 746700083 183869440 42325 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44890 42328 1111 63 0 44827 0
vsize: 179560
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 881958 0 0 0 41835 2166 0 0 25 0 1 0 746700083 188121088 43341 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45928 43341 1111 63 0 45865 0
vsize: 183712
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 907824 0 0 0 42776 2225 0 0 25 0 1 0 746700083 192315392 44447 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46952 44447 1111 63 0 46889 0
vsize: 187808
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 923562 0 0 0 43741 2261 0 0 25 0 1 0 746700083 194510848 44967 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47488 44967 1111 63 0 47425 0
vsize: 189952
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 932402 0 0 0 44723 2279 0 0 25 0 1 0 746700083 194764800 45065 4294967295 134512640 134714508 3221221792 3221219624 1074206262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47550 45065 1111 63 0 47487 0
vsize: 190200
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 941287 0 0 0 45702 2300 0 0 25 0 1 0 746700083 195485696 45244 4294967295 134512640 134714508 3221221792 3221220128 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47726 45244 1111 63 0 47663 0
vsize: 190904
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 963293 0 0 0 46653 2349 0 0 25 0 1 0 746700083 199008256 46039 4294967295 134512640 134714508 3221221792 3221218176 1074973537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48586 46040 1111 63 0 48523 0
vsize: 194344
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 988147 0 0 0 47594 2408 0 0 25 0 1 0 746700083 203210752 47006 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49612 47007 1111 63 0 49549 0
vsize: 198448
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1010645 0 0 0 48540 2462 0 0 25 0 1 0 746700083 206917632 47974 4294967295 134512640 134714508 3221221792 3221219024 1075552862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50613 47979 1111 63 0 50550 0
vsize: 202068
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1018981 0 0 0 49522 2480 0 0 25 0 1 0 746700083 207847424 48210 4294967295 134512640 134714508 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50744 48210 1111 63 0 50681 0
vsize: 202976
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1038927 0 0 0 50480 2523 0 0 25 0 1 0 746700083 209162240 48525 4294967295 134512640 134714508 3221221792 3221219792 1074918577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51065 48525 1111 63 0 51002 0
vsize: 204260
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1080508 0 0 0 51394 2609 0 0 25 0 1 0 746700083 214048768 49610 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52258 49610 1111 63 0 52195 0
vsize: 209032
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1120473 0 0 0 52307 2696 0 0 25 0 1 0 746700083 217853952 50587 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50587 1111 63 0 53124 0
vsize: 212748
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1163528 0 0 0 53211 2793 0 0 25 0 1 0 746700083 220327936 51205 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53791 51205 1111 63 0 53728 0
vsize: 215164
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1189596 0 0 0 54159 2844 0 0 25 0 1 0 746700083 222404608 51715 4294967295 134512640 134714508 3221221792 3221219792 1074918777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54298 51715 1111 63 0 54235 0
vsize: 217192
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1232842 0 0 0 55068 2935 0 0 25 0 1 0 746700083 227164160 52677 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55460 52678 1111 63 0 55397 0
vsize: 221840
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1275867 0 0 0 55980 3023 0 0 25 0 1 0 746700083 229752832 53556 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56092 53556 1111 63 0 56029 0
vsize: 224368
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1317825 0 0 0 56891 3112 0 0 25 0 1 0 746700083 233218048 54411 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56938 54411 1111 63 0 56875 0
vsize: 227752
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1360989 0 0 0 57802 3201 0 0 25 0 1 0 746700083 237703168 55308 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58033 55308 1111 63 0 57970 0
vsize: 232132
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1402988 0 0 0 58716 3288 0 0 25 0 1 0 746700083 240390144 56212 4294967295 134512640 134714508 3221221792 3221220072 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58689 56212 1111 63 0 58626 0
vsize: 234756
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1439615 0 0 0 59638 3366 0 0 25 0 1 0 746700083 243126272 56904 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59357 56904 1111 63 0 59294 0
vsize: 237428
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1484053 0 0 0 60547 3457 0 0 25 0 1 0 746700083 255008768 58426 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62258 58426 1111 63 0 62195 0
vsize: 249032
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1527364 0 0 0 61454 3551 0 0 25 0 1 0 746700083 260517888 59410 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63603 59423 1111 63 0 63540 0
vsize: 254412
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1570634 0 0 0 62367 3638 0 0 25 0 1 0 746700083 263561216 60336 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64346 60336 1111 63 0 64283 0
vsize: 257384
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1611270 0 0 0 63278 3726 0 0 25 0 1 0 746700083 268730368 61356 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65608 61356 1111 63 0 65545 0
vsize: 262432
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1652011 0 0 0 64191 3814 0 0 25 0 1 0 746700083 273543168 62396 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66783 62396 1111 63 0 66720 0
vsize: 267132
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1691396 0 0 0 65109 3896 0 0 25 0 1 0 746700083 277684224 63373 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67794 63373 1111 63 0 67731 0
vsize: 271176
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1729906 0 0 0 66030 3975 0 0 25 0 1 0 746700083 281288704 64176 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68847 64180 1111 63 0 68784 0
vsize: 274696
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1757484 0 0 0 66969 4036 0 0 25 0 1 0 746700083 283766784 64682 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69279 64682 1111 63 0 69216 0
vsize: 277116
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1797779 0 0 0 67880 4124 0 0 25 0 1 0 746700083 287236096 65626 4294967295 134512640 134714508 3221221792 3221220384 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70126 65626 1111 63 0 70063 0
vsize: 280504
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1838996 0 0 0 68798 4206 0 0 25 0 1 0 746700083 291823616 66467 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71246 66474 1111 63 0 71183 0
vsize: 284984
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1878944 0 0 0 69714 4291 0 0 25 0 1 0 746700083 293810176 67183 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71731 67183 1111 63 0 71668 0
vsize: 286924
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1880676 0 0 0 70709 4296 0 0 25 0 1 0 746700083 295763968 67583 4294967295 134512640 134714508 3221221792 3221219664 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72208 67583 1111 63 0 72145 0
vsize: 288832
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1880810 0 0 0 71708 4298 0 0 25 0 1 0 746700083 296411136 67717 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72366 67717 1111 63 0 72303 0
vsize: 289464
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1880914 0 0 0 72707 4298 0 0 25 0 1 0 746700083 296792064 67821 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72459 67821 1111 63 0 72396 0
vsize: 289836
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881023 0 0 0 73706 4299 0 0 25 0 1 0 746700083 297316352 67930 4294967295 134512640 134714508 3221221792 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72587 67930 1111 63 0 72524 0
vsize: 290348
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881093 0 0 0 74706 4300 0 0 25 0 1 0 746700083 297603072 68000 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72657 68000 1111 63 0 72594 0
vsize: 290628
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881180 0 0 0 75706 4300 0 0 25 0 1 0 746700083 297836544 68087 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72714 68087 1111 63 0 72651 0
vsize: 290856
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881236 0 0 0 76705 4301 0 0 25 0 1 0 746700083 298065920 68143 4294967295 134512640 134714508 3221221792 3221219248 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72770 68143 1111 63 0 72707 0
vsize: 291080
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881282 0 0 0 77705 4301 0 0 25 0 1 0 746700083 298254336 68189 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72816 68189 1111 63 0 72753 0
vsize: 291264
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881346 0 0 0 78705 4301 0 0 25 0 1 0 746700083 298639360 68253 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72910 68253 1111 63 0 72847 0
vsize: 291640
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881391 0 0 0 79704 4302 0 0 25 0 1 0 746700083 298823680 68298 4294967295 134512640 134714508 3221221792 3221219792 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72955 68298 1111 63 0 72892 0
vsize: 291820
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881437 0 0 0 80704 4303 0 0 25 0 1 0 746700083 299012096 68344 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73001 68344 1111 63 0 72938 0
vsize: 292004
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881479 0 0 0 81704 4303 0 0 25 0 1 0 746700083 299184128 68386 4294967295 134512640 134714508 3221221792 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73043 68386 1111 63 0 72980 0
vsize: 292172
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881541 0 0 0 82703 4304 0 0 25 0 1 0 746700083 299352064 68448 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73084 68448 1111 63 0 73021 0
vsize: 292336
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881580 0 0 0 83703 4304 0 0 25 0 1 0 746700083 299511808 68487 4294967295 134512640 134714508 3221221792 3221219696 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73123 68487 1111 63 0 73060 0
vsize: 292492
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881614 0 0 0 84703 4304 0 0 25 0 1 0 746700083 299651072 68521 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73157 68521 1111 63 0 73094 0
vsize: 292628
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881652 0 0 0 85703 4305 0 0 25 0 1 0 746700083 299806720 68559 4294967295 134512640 134714508 3221221792 3221219744 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73195 68559 1111 63 0 73132 0
vsize: 292780
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881689 0 0 0 86703 4305 0 0 25 0 1 0 746700083 299958272 68596 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73232 68596 1111 63 0 73169 0
vsize: 292928
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881782 0 0 0 87702 4306 0 0 25 0 1 0 746700083 300318720 68689 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73320 68689 1111 63 0 73257 0
vsize: 293280
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881818 0 0 0 88702 4306 0 0 25 0 1 0 746700083 300466176 68725 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73356 68725 1111 63 0 73293 0
vsize: 293424
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881850 0 0 0 89702 4307 0 0 25 0 1 0 746700083 300597248 68757 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73388 68757 1111 63 0 73325 0
vsize: 293552
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1881880 0 0 0 90702 4307 0 0 25 0 1 0 746700083 300720128 68787 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73418 68787 1111 63 0 73355 0
vsize: 293672
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 91693 4316 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 92693 4316 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 93693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 94693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 95693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 96693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 97693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 98693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 99693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 100693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 101693 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 102694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 103694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 104694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 105694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 106694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 107694 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 108695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 109695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 110695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 111695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 112695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 113695 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 114696 4317 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 28275
Raw data (stat): 28275 (bsolo_lpr) R 28274 7876 7672 0 -1 0 1886068 0 0 0 115696 4318 0 0 25 0 1 0 746700083 311922688 71520 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76153 71520 1111 63 0 76090 0
vsize: 304612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 28275
Raw data (stat): 28275 (bsolo_lpr) Z 28274 7876 7672 0 -1 1036 1886068 0 0 0 115696 4331 0 0 25 0 1 0 746700083 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.16
CPU time (s): 1200.28
CPU user time (s): 1156.96
CPU system time (s): 43.3144
CPU usage (%): 100.009
Max. virtual memory (Kb): 304612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####