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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 25515

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 02:18:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19761 boxname=wulflinc31 idbench=1521 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 19761
/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:        720544 kB
Buffers:         26124 kB
Cached:         266852 kB
SwapCached:        920 kB
Active:         152812 kB
Inactive:       142268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        720292 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13368 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 02:38:28 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19761 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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): 1.02 1.00 0.93 2/55 27859
Raw data (stat): 27859 (runsolver) R 27858 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 791995338 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.0004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 2692 0 0 0 986 9 0 0 25 0 1 0 791995338 21954560 2615 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5360 2615 1111 63 0 5297 0
vsize: 21440
[startup+20.0017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 4399 0 0 0 1983 12 0 0 25 0 1 0 791995338 28823552 4322 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7037 4322 1111 63 0 6974 0
vsize: 28148
[startup+30.0027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 6101 0 0 0 2978 17 0 0 25 0 1 0 791995338 35844096 6024 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8751 6024 1111 63 0 8688 0
vsize: 35004
[startup+40.0032 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 7816 0 0 0 3975 20 0 0 25 0 1 0 791995338 42844160 7739 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10460 7739 1111 63 0 10397 0
vsize: 41840
[startup+50.0045 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 9530 0 0 0 4972 24 0 0 25 0 1 0 791995338 49864704 9453 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12174 9453 1111 63 0 12111 0
vsize: 48696
[startup+60.0045 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 11244 0 0 0 5968 27 0 0 25 0 1 0 791995338 56881152 11167 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13887 11167 1111 63 0 13824 0
vsize: 55548
[startup+70.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 12962 0 0 0 6965 30 0 0 25 0 1 0 791995338 63897600 12885 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12885 1111 63 0 15537 0
vsize: 62400
[startup+80.0063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 14028 0 0 0 7963 33 0 0 25 0 1 0 791995338 68386816 13951 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16696 13951 1111 63 0 16633 0
vsize: 66784
[startup+90.0063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 14485 0 0 0 8962 34 0 0 25 0 1 0 791995338 70234112 14408 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17147 14408 1111 63 0 17084 0
vsize: 68588
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 14936 0 0 0 9960 35 0 0 25 0 1 0 791995338 72077312 14859 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17597 14859 1111 63 0 17534 0
vsize: 70388
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 15386 0 0 0 10960 36 0 0 25 0 1 0 791995338 73924608 15309 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18048 15309 1111 63 0 17985 0
vsize: 72192
[startup+120.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 15843 0 0 0 11959 37 0 0 25 0 1 0 791995338 75767808 15766 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18498 15766 1111 63 0 18435 0
vsize: 73992
[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 16300 0 0 0 12958 38 0 0 25 0 1 0 791995338 77615104 16223 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18949 16223 1111 63 0 18886 0
vsize: 75796
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 16755 0 0 0 13957 39 0 0 25 0 1 0 791995338 79478784 16678 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19404 16678 1111 63 0 19341 0
vsize: 77616
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 17220 0 0 0 14955 41 0 0 25 0 1 0 791995338 81448960 17143 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19885 17143 1111 63 0 19822 0
vsize: 79540
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 17677 0 0 0 15954 42 0 0 25 0 1 0 791995338 83296256 17600 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20336 17600 1111 63 0 20273 0
vsize: 81344
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 18133 0 0 0 16953 44 0 0 25 0 1 0 791995338 85143552 18056 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20787 18056 1111 63 0 20724 0
vsize: 83148
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 18591 0 0 0 17952 45 0 0 25 0 1 0 791995338 86986752 18514 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21237 18514 1111 63 0 21174 0
vsize: 84948
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 19049 0 0 0 18952 46 0 0 25 0 1 0 791995338 88834048 18972 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21688 18972 1111 63 0 21625 0
vsize: 86752
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 19506 0 0 0 19951 47 0 0 25 0 1 0 791995338 90832896 19429 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22176 19429 1111 63 0 22113 0
vsize: 88704
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 19961 0 0 0 20949 48 0 0 25 0 1 0 791995338 92696576 19884 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22631 19884 1111 63 0 22568 0
vsize: 90524
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 20421 0 0 0 21949 49 0 0 25 0 1 0 791995338 94543872 20344 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23082 20344 1111 63 0 23019 0
vsize: 92328
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 20883 0 0 0 22948 50 0 0 25 0 1 0 791995338 96387072 20806 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23532 20806 1111 63 0 23469 0
vsize: 94128
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 21347 0 0 0 23947 51 0 0 25 0 1 0 791995338 98234368 21270 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23983 21270 1111 63 0 23920 0
vsize: 95932
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 21804 0 0 0 24947 51 0 0 25 0 1 0 791995338 100233216 21727 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24471 21727 1111 63 0 24408 0
vsize: 97884
[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 22267 0 0 0 25946 52 0 0 25 0 1 0 791995338 102080512 22190 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24922 22190 1111 63 0 24859 0
vsize: 99688
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 22730 0 0 0 26946 53 0 0 25 0 1 0 791995338 103919616 22653 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25371 22653 1111 63 0 25308 0
vsize: 101484
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 23196 0 0 0 27944 55 0 0 25 0 1 0 791995338 105918464 23119 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25859 23119 1111 63 0 25796 0
vsize: 103436
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 23665 0 0 0 28943 56 0 0 25 0 1 0 791995338 107913216 23588 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23588 1111 63 0 26283 0
vsize: 105384
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 24122 0 0 0 29941 58 0 0 25 0 1 0 791995338 109760512 24045 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26797 24045 1111 63 0 26734 0
vsize: 107188
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 24592 0 0 0 30940 59 0 0 25 0 1 0 791995338 111603712 24515 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27247 24515 1111 63 0 27184 0
vsize: 108988
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 25051 0 0 0 31939 60 0 0 25 0 1 0 791995338 113451008 24974 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27698 24974 1111 63 0 27635 0
vsize: 110792
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 25520 0 0 0 32938 61 0 0 25 0 1 0 791995338 115449856 25443 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28186 25443 1111 63 0 28123 0
vsize: 112744
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 25989 0 0 0 33937 62 0 0 25 0 1 0 791995338 117313536 25912 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28641 25912 1111 63 0 28578 0
vsize: 114564
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 26447 0 0 0 34936 64 0 0 25 0 1 0 791995338 119160832 26370 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29092 26370 1111 63 0 29029 0
vsize: 116368
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 26916 0 0 0 35935 65 0 0 25 0 1 0 791995338 121159680 26839 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29580 26839 1111 63 0 29517 0
vsize: 118320
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 27385 0 0 0 36933 66 0 0 25 0 1 0 791995338 123006976 27308 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30031 27308 1111 63 0 29968 0
vsize: 120124
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 27856 0 0 0 37932 67 0 0 25 0 1 0 791995338 125005824 27779 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30519 27779 1111 63 0 30456 0
vsize: 122076
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 28314 0 0 0 38931 69 0 0 25 0 1 0 791995338 126853120 28237 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30970 28237 1111 63 0 30907 0
vsize: 123880
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 28784 0 0 0 39929 70 0 0 25 0 1 0 791995338 128851968 28707 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31458 28707 1111 63 0 31395 0
vsize: 125832
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 29253 0 0 0 40928 72 0 0 25 0 1 0 791995338 130715648 29176 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31913 29176 1111 63 0 31850 0
vsize: 127652
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 29723 0 0 0 41927 73 0 0 25 0 1 0 791995338 132562944 29646 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32364 29646 1111 63 0 32301 0
vsize: 129456
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 30192 0 0 0 42925 75 0 0 25 0 1 0 791995338 134541312 30115 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32847 30115 1111 63 0 32784 0
vsize: 131388
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 30662 0 0 0 43924 76 0 0 25 0 1 0 791995338 136540160 30585 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33335 30585 1111 63 0 33272 0
vsize: 133340
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 31134 0 0 0 44924 77 0 0 25 0 1 0 791995338 138383360 31057 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33785 31057 1111 63 0 33722 0
vsize: 135140
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 31603 0 0 0 45923 78 0 0 25 0 1 0 791995338 140386304 31526 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34274 31526 1111 63 0 34211 0
vsize: 137096
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 32085 0 0 0 46921 80 0 0 25 0 1 0 791995338 142229504 32008 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34724 32008 1111 63 0 34661 0
vsize: 138896
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 32554 0 0 0 47920 81 0 0 25 0 1 0 791995338 144232448 32477 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35213 32477 1111 63 0 35150 0
vsize: 140852
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 33024 0 0 0 48919 82 0 0 25 0 1 0 791995338 146096128 32947 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35668 32947 1111 63 0 35605 0
vsize: 142672
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 33494 0 0 0 49918 83 0 0 25 0 1 0 791995338 148099072 33417 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36157 33417 1111 63 0 36094 0
vsize: 144628
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 33976 0 0 0 50917 84 0 0 25 0 1 0 791995338 150097920 33899 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36645 33899 1111 63 0 36582 0
vsize: 146580
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 34447 0 0 0 51915 86 0 0 25 0 1 0 791995338 151945216 34370 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37096 34370 1111 63 0 37033 0
vsize: 148384
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 34916 0 0 0 52914 88 0 0 25 0 1 0 791995338 153944064 34839 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37584 34839 1111 63 0 37521 0
vsize: 150336
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 35398 0 0 0 53913 88 0 0 25 0 1 0 791995338 155918336 35321 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38066 35321 1111 63 0 38003 0
vsize: 152264
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 35902 0 0 0 54912 90 0 0 25 0 1 0 791995338 157970432 35825 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38567 35825 1111 63 0 38504 0
vsize: 154268
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 36370 0 0 0 55911 92 0 0 25 0 1 0 791995338 159956992 36293 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39052 36293 1111 63 0 38989 0
vsize: 156208
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 36839 0 0 0 56910 92 0 0 25 0 1 0 791995338 161820672 36762 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39507 36762 1111 63 0 39444 0
vsize: 158028
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 37320 0 0 0 57909 94 0 0 25 0 1 0 791995338 163823616 37243 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39996 37243 1111 63 0 39933 0
vsize: 159984
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 37792 0 0 0 58908 95 0 0 25 0 1 0 791995338 165822464 37715 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40484 37715 1111 63 0 40421 0
vsize: 161936
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 38274 0 0 0 59907 96 0 0 25 0 1 0 791995338 167669760 38197 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40935 38197 1111 63 0 40872 0
vsize: 163740
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 38756 0 0 0 60906 97 0 0 25 0 1 0 791995338 169668608 38679 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41423 38679 1111 63 0 41360 0
vsize: 165692
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 39226 0 0 0 61905 98 0 0 25 0 1 0 791995338 171671552 39149 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41912 39149 1111 63 0 41849 0
vsize: 167648
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 39709 0 0 0 62903 100 0 0 25 0 1 0 791995338 173670400 39632 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42400 39632 1111 63 0 42337 0
vsize: 169600
[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 40179 0 0 0 63903 100 0 0 25 0 1 0 791995338 175517696 40102 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42851 40102 1111 63 0 42788 0
vsize: 171404
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 40662 0 0 0 64901 102 0 0 25 0 1 0 791995338 177516544 40585 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43339 40585 1111 63 0 43276 0
vsize: 173356
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 41131 0 0 0 65901 103 0 0 25 0 1 0 791995338 179380224 41054 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43794 41054 1111 63 0 43731 0
vsize: 175176
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 41613 0 0 0 66900 104 0 0 25 0 1 0 791995338 181383168 41536 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44283 41536 1111 63 0 44220 0
vsize: 177132
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 42083 0 0 0 67899 105 0 0 25 0 1 0 791995338 183382016 42006 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44771 42006 1111 63 0 44708 0
vsize: 179084
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 42566 0 0 0 68899 105 0 0 25 0 1 0 791995338 185229312 42489 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45222 42489 1111 63 0 45159 0
vsize: 180888
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 43036 0 0 0 69898 106 0 0 25 0 1 0 791995338 187228160 42959 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45710 42959 1111 63 0 45647 0
vsize: 182840
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 43518 0 0 0 70897 107 0 0 25 0 1 0 791995338 189231104 43441 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46199 43441 1111 63 0 46136 0
vsize: 184796
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 43995 0 0 0 71897 108 0 0 25 0 1 0 791995338 191074304 43918 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46649 43918 1111 63 0 46586 0
vsize: 186596
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 44472 0 0 0 72896 109 0 0 25 0 1 0 791995338 193077248 44395 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47138 44395 1111 63 0 47075 0
vsize: 188552
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 44952 0 0 0 73895 110 0 0 25 0 1 0 791995338 195096576 44875 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47631 44875 1111 63 0 47568 0
vsize: 190524
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 45429 0 0 0 74894 111 0 0 25 0 1 0 791995338 196943872 45352 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48082 45352 1111 63 0 48019 0
vsize: 192328
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 45906 0 0 0 75894 112 0 0 25 0 1 0 791995338 198918144 45829 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48564 45829 1111 63 0 48501 0
vsize: 194256
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 46388 0 0 0 76893 113 0 0 25 0 1 0 791995338 200916992 46311 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49052 46311 1111 63 0 48989 0
vsize: 196208
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 46870 0 0 0 77892 114 0 0 25 0 1 0 791995338 202919936 46793 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49541 46793 1111 63 0 49478 0
vsize: 198164
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 47352 0 0 0 78891 115 0 0 25 0 1 0 791995338 204918784 47275 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50029 47275 1111 63 0 49966 0
vsize: 200116
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 47830 0 0 0 79890 116 0 0 25 0 1 0 791995338 206766080 47753 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50480 47753 1111 63 0 50417 0
vsize: 201920
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 48306 0 0 0 80889 117 0 0 25 0 1 0 791995338 208764928 48229 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50968 48235 1111 63 0 50905 0
vsize: 203872
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 48789 0 0 0 81889 118 0 0 25 0 1 0 791995338 210767872 48712 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51457 48712 1111 63 0 51394 0
vsize: 205828
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 49270 0 0 0 82888 119 0 0 25 0 1 0 791995338 212787200 49193 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51950 49193 1111 63 0 51887 0
vsize: 207800
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 49752 0 0 0 83887 120 0 0 25 0 1 0 791995338 214634496 49675 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52401 49675 1111 63 0 52338 0
vsize: 209604
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 50236 0 0 0 84885 122 0 0 25 0 1 0 791995338 216633344 50159 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52889 50159 1111 63 0 52826 0
vsize: 211556
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 50719 0 0 0 85884 123 0 0 25 0 1 0 791995338 218636288 50642 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53378 50642 1111 63 0 53315 0
vsize: 213512
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 51207 0 0 0 86883 124 0 0 25 0 1 0 791995338 220610560 51130 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53860 51130 1111 63 0 53797 0
vsize: 215440
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 51689 0 0 0 87883 125 0 0 25 0 1 0 791995338 222609408 51612 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54348 51612 1111 63 0 54285 0
vsize: 217392
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 52178 0 0 0 88882 126 0 0 25 0 1 0 791995338 224612352 52101 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54837 52101 1111 63 0 54774 0
vsize: 219348
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 52662 0 0 0 89881 127 0 0 25 0 1 0 791995338 226611200 52585 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55325 52585 1111 63 0 55262 0
vsize: 221300
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 53144 0 0 0 90880 128 0 0 25 0 1 0 791995338 228614144 53067 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55814 53067 1111 63 0 55751 0
vsize: 223256
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 53626 0 0 0 91879 130 0 0 25 0 1 0 791995338 230477824 53549 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56269 53549 1111 63 0 56206 0
vsize: 225076
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 54109 0 0 0 92879 130 0 0 25 0 1 0 791995338 232452096 54032 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56751 54032 1111 63 0 56688 0
vsize: 227004
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 54597 0 0 0 93878 130 0 0 25 0 1 0 791995338 234450944 54520 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57239 54520 1111 63 0 57176 0
vsize: 228956
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 55086 0 0 0 94877 132 0 0 25 0 1 0 791995338 236453888 55009 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57728 55009 1111 63 0 57665 0
vsize: 230912
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 55570 0 0 0 95877 132 0 0 25 0 1 0 791995338 238452736 55493 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58216 55493 1111 63 0 58153 0
vsize: 232864
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 56052 0 0 0 96876 133 0 0 25 0 1 0 791995338 240455680 55975 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58705 55975 1111 63 0 58642 0
vsize: 234820
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 56548 0 0 0 97875 135 0 0 25 0 1 0 791995338 242454528 56471 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59193 56471 1111 63 0 59130 0
vsize: 236772
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 57030 0 0 0 98874 136 0 0 25 0 1 0 791995338 244457472 56953 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59682 56953 1111 63 0 59619 0
vsize: 238728
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 57519 0 0 0 99873 137 0 0 25 0 1 0 791995338 246456320 57442 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60170 57442 1111 63 0 60107 0
vsize: 240680
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 58008 0 0 0 100872 138 0 0 25 0 1 0 791995338 248459264 57931 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60659 57931 1111 63 0 60596 0
vsize: 242636
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 58496 0 0 0 101872 138 0 0 25 0 1 0 791995338 250478592 58419 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61152 58419 1111 63 0 61089 0
vsize: 244608
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 58985 0 0 0 102871 140 0 0 25 0 1 0 791995338 252452864 58908 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61634 58908 1111 63 0 61571 0
vsize: 246536
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 59474 0 0 0 103870 140 0 0 25 0 1 0 791995338 254451712 59397 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62122 59397 1111 63 0 62059 0
vsize: 248488
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 59962 0 0 0 104869 141 0 0 25 0 1 0 791995338 256454656 59885 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62611 59885 1111 63 0 62548 0
vsize: 250444
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 60457 0 0 0 105869 142 0 0 25 0 1 0 791995338 258453504 60380 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63099 60380 1111 63 0 63036 0
vsize: 252396
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 60939 0 0 0 106868 144 0 0 25 0 1 0 791995338 260456448 60862 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63588 60862 1111 63 0 63525 0
vsize: 254352
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 61468 0 0 0 107867 145 0 0 25 0 1 0 791995338 262946816 61391 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64196 61391 1111 63 0 64133 0
vsize: 256784
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 61962 0 0 0 108866 146 0 0 25 0 1 0 791995338 264949760 61885 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64685 61885 1111 63 0 64622 0
vsize: 258740
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 62457 0 0 0 109865 146 0 0 25 0 1 0 791995338 266948608 62380 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65173 62380 1111 63 0 65110 0
vsize: 260692
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 62948 0 0 0 110865 148 0 0 25 0 1 0 791995338 268951552 62871 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65662 62871 1111 63 0 65599 0
vsize: 262648
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 63442 0 0 0 111864 148 0 0 25 0 1 0 791995338 270946304 63365 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66149 63365 1111 63 0 66086 0
vsize: 264596
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 63930 0 0 0 112863 149 0 0 25 0 1 0 791995338 272945152 63853 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66637 63853 1111 63 0 66574 0
vsize: 266548
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 64425 0 0 0 113862 150 0 0 25 0 1 0 791995338 274948096 64348 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67126 64348 1111 63 0 67063 0
vsize: 268504
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 64921 0 0 0 114862 151 0 0 25 0 1 0 791995338 276946944 64844 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67614 64844 1111 63 0 67551 0
vsize: 270456
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 65416 0 0 0 115861 152 0 0 25 0 1 0 791995338 279105536 65339 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68141 65339 1111 63 0 68078 0
vsize: 272564
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 65912 0 0 0 116860 153 0 0 25 0 1 0 791995338 281104384 65835 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68629 65835 1111 63 0 68566 0
vsize: 274516
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 66408 0 0 0 117859 154 0 0 25 0 1 0 791995338 283082752 66331 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69112 66331 1111 63 0 69049 0
vsize: 276448
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 66902 0 0 0 118859 155 0 0 25 0 1 0 791995338 285081600 66825 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69600 66825 1111 63 0 69537 0
vsize: 278400
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 27859
Raw data (stat): 27859 (bsolo_lpr) R 27858 7876 7672 0 -1 0 67397 0 0 0 119858 156 0 0 25 0 1 0 791995338 287080448 67320 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70088 67320 1111 63 0 70025 0
vsize: 280352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 27859
Raw data (stat): 27859 (bsolo_lpr) Z 27858 7876 7672 0 -1 1036 67397 0 0 0 119858 168 0 0 25 0 1 0 791995338 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.19
CPU time (s): 1200.28
CPU user time (s): 1198.59
CPU system time (s): 1.68874
CPU usage (%): 100.007
Max. virtual memory (Kb): 280352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####