PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM	60a85eb68562d07c063b16fa35f27512
Bench Category	optimization, big integers (OPTBIGINT)
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	27456
Biggest coefficient in the objective function	1310720000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	254165973806800
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1310720000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	254165973806800
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71616
Total number of constraints	3312
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	33
Maximum length of a constraint	545
Trace number 25814

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 18:46:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17382 boxname=wulflinc31 idbench=1338 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 17382
/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:        876412 kB
Buffers:         17652 kB
Cached:         120384 kB
SwapCached:       1024 kB
Active:          76244 kB
Inactive:        64028 kB
HighTotal:      131008 kB
HighFree:        11508 kB
LowTotal:       903652 kB
LowFree:        864904 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12324 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 19:06:57 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 17382 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71616 variables and 4560 constraints.
c After prepocess the problem consists of 59596 variables and 5065 constraints.
c preprocess terminated 327.335 s
#### 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.91 0.95 0.90 2/55 27547
Raw data (stat): 27547 (runsolver) R 27546 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815208944 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.93 0.95 0.90 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1786 0 0 0 991 4 0 0 25 0 1 0 815208944 20013056 1709 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4886 1709 1111 63 0 4823 0
vsize: 19544
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2988 0 0 0 1989 6 0 0 25 0 1 0 815208944 24936448 2911 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6088 2911 1111 63 0 6025 0
vsize: 24352
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 4289 0 0 0 2986 10 0 0 25 0 1 0 815208944 30167040 4212 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 4212 1111 63 0 7302 0
vsize: 29460
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 5666 0 0 0 3982 13 0 0 25 0 1 0 815208944 35799040 5589 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8740 5589 1111 63 0 8677 0
vsize: 34960
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 7109 0 0 0 4979 17 0 0 25 0 1 0 815208944 41865216 7032 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10221 7032 1111 63 0 10158 0
vsize: 40884
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 8557 0 0 0 5977 18 0 0 25 0 1 0 815208944 47779840 8480 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11665 8480 1111 63 0 11602 0
vsize: 46660
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 10060 0 0 0 6975 21 0 0 25 0 1 0 815208944 53833728 9983 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13143 9983 1111 63 0 13080 0
vsize: 52572
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 11602 0 0 0 7972 25 0 0 25 0 1 0 815208944 60170240 11525 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14690 11525 1111 63 0 14627 0
vsize: 58760
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 13191 0 0 0 8969 28 0 0 25 0 1 0 815208944 66723840 13114 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16290 13114 1111 63 0 16227 0
vsize: 65160
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 14818 0 0 0 9965 31 0 0 25 0 1 0 815208944 73482240 14741 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17940 14741 1111 63 0 17877 0
vsize: 71760
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 16502 0 0 0 10962 35 0 0 25 0 1 0 815208944 80244736 16425 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19591 16425 1111 63 0 19528 0
vsize: 78364
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 18225 0 0 0 11959 38 0 0 25 0 1 0 815208944 87339008 18148 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21323 18148 1111 63 0 21260 0
vsize: 85292
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 34554 0 0 0 12925 72 0 0 25 0 1 0 815208944 154353664 34477 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37684 34478 1111 63 0 37621 0
vsize: 150736
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 53984 0 0 0 13882 114 0 0 25 0 1 0 815208944 233013248 53565 4294967295 134512640 134714508 3221221776 3221218396 1077253729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56888 53565 1111 63 0 56825 0
vsize: 227552
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 68258 0 0 0 14848 149 0 0 25 0 1 0 815208944 262475776 62663 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64081 62663 1111 63 0 64018 0
vsize: 256324
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 68325 0 0 0 15846 150 0 0 25 0 1 0 815208944 262746112 62730 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64147 62730 1111 63 0 64084 0
vsize: 256588
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 92506 0 0 0 16796 200 0 0 25 0 1 0 815208944 266719232 63601 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65117 63607 1111 63 0 65054 0
vsize: 260468
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 274338 0 0 0 17398 599 0 0 25 0 1 0 815208944 266268672 63573 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65007 63573 1111 63 0 64944 0
vsize: 260028
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 409395 0 0 0 18100 897 0 0 25 0 1 0 815208944 268079104 63810 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65449 63817 1111 63 0 65386 0
vsize: 261796
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 568860 0 0 0 18750 1247 0 0 25 0 1 0 815208944 268349440 64095 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65515 64096 1111 63 0 65452 0
vsize: 262060
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 719346 0 0 0 19421 1576 0 0 25 0 1 0 815208944 268029952 64011 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65647 64013 1111 63 0 65584 0
vsize: 261748
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 887498 0 0 0 20050 1947 0 0 25 0 1 0 815208944 269164544 64163 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65714 64169 1111 63 0 65651 0
vsize: 262856
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1051703 0 0 0 20688 2309 0 0 25 0 1 0 815208944 268566528 64148 4294967295 134512640 134714508 3221221776 3221220360 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65568 64148 1111 63 0 65505 0
vsize: 262272
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1222259 0 0 0 21315 2682 0 0 25 0 1 0 815208944 268701696 64184 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65601 64184 1111 63 0 65538 0
vsize: 262404
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1400502 0 0 0 21925 3073 0 0 25 0 1 0 815208944 269832192 64347 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65877 64353 1111 63 0 65814 0
vsize: 263508
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1606401 0 0 0 22477 3521 0 0 25 0 1 0 815208944 268972032 64236 4294967295 134512640 134714508 3221221776 3221220360 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65667 64236 1111 63 0 65604 0
vsize: 262668
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693688 0 0 0 23284 3714 0 0 25 0 1 0 815208944 269533184 64373 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64373 1111 63 0 65741 0
vsize: 263216
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 24284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64391 1111 63 0 65741 0
vsize: 263216
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 25284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64391 1111 63 0 65741 0
vsize: 263216
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 26284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64391 1111 63 0 65741 0
vsize: 263216
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 27284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64391 1111 63 0 65741 0
vsize: 263216
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 28284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65804 64391 1111 63 0 65741 0
vsize: 263216
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1732289 0 0 0 29197 3802 0 0 25 0 1 0 815208944 284123136 67764 4294967295 134512640 134714508 3221221776 3221220096 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69366 67764 1111 63 0 69303 0
vsize: 277464
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1857720 0 0 0 29914 4085 0 0 25 0 1 0 815208944 284442624 67871 4294967295 134512640 134714508 3221221776 3221219792 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69444 67871 1111 63 0 69381 0
vsize: 277776
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1964030 0 0 0 30667 4332 0 0 25 0 1 0 815208944 284647424 67921 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69494 67921 1111 63 0 69431 0
vsize: 277976
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2055199 0 0 0 31455 4545 0 0 25 0 1 0 815208944 285212672 68060 4294967295 134512640 134714508 3221221776 3221219360 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69632 68060 1111 63 0 69569 0
vsize: 278528
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2130214 0 0 0 32278 4721 0 0 25 0 1 0 815208944 285679616 68175 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69746 68175 1111 63 0 69683 0
vsize: 278984
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2195133 0 0 0 33120 4880 0 0 25 0 1 0 815208944 286085120 68274 4294967295 134512640 134714508 3221221776 3221219808 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69845 68274 1111 63 0 69782 0
vsize: 279380
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2252206 0 0 0 33980 5020 0 0 25 0 1 0 815208944 286466048 68367 4294967295 134512640 134714508 3221221776 3221219264 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69938 68367 1111 63 0 69875 0
vsize: 279752
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2305683 0 0 0 34848 5152 0 0 25 0 1 0 815208944 286982144 68434 4294967295 134512640 134714508 3221221776 3221219768 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70064 68439 1111 63 0 70001 0
vsize: 280256
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2356480 0 0 0 35722 5278 0 0 25 0 1 0 815208944 286928896 68481 4294967295 134512640 134714508 3221221776 3221219568 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70051 68481 1111 63 0 69988 0
vsize: 280204
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2404291 0 0 0 36603 5397 0 0 25 0 1 0 815208944 287219712 68552 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70122 68552 1111 63 0 70059 0
vsize: 280488
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416590 0 0 0 37574 5426 0 0 25 0 1 0 815208944 303005696 71846 4294967295 134512640 134714508 3221221776 3221218624 1075960265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71846 1111 63 0 73913 0
vsize: 295904
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416599 0 0 0 38574 5426 0 0 25 0 1 0 815208944 303005696 71855 4294967295 134512640 134714508 3221221776 3221217916 1075116784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71855 1111 63 0 73913 0
vsize: 295904
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416607 0 0 0 39574 5426 0 0 25 0 1 0 815208944 303005696 71862 4294967295 134512640 134714508 3221221776 3221217660 1074860630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71862 1111 63 0 73913 0
vsize: 295904
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416619 0 0 0 40575 5426 0 0 25 0 1 0 815208944 303005696 71874 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71874 1111 63 0 73913 0
vsize: 295904
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416621 0 0 0 41575 5426 0 0 25 0 1 0 815208944 303005696 71876 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71876 1111 63 0 73913 0
vsize: 295904
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416621 0 0 0 42575 5426 0 0 25 0 1 0 815208944 303005696 71876 4294967295 134512640 134714508 3221221776 3221217660 1074860574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71876 1111 63 0 73913 0
vsize: 295904
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416624 0 0 0 43575 5426 0 0 25 0 1 0 815208944 303005696 71879 4294967295 134512640 134714508 3221221776 3221218728 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71879 1111 63 0 73913 0
vsize: 295904
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416635 0 0 0 44575 5426 0 0 25 0 1 0 815208944 303005696 71890 4294967295 134512640 134714508 3221221776 3221217856 1074794460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71890 1111 63 0 73913 0
vsize: 295904
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416644 0 0 0 45575 5426 0 0 25 0 1 0 815208944 303005696 71899 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71899 1111 63 0 73913 0
vsize: 295904
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416644 0 0 0 46576 5426 0 0 25 0 1 0 815208944 303005696 71899 4294967295 134512640 134714508 3221221776 3221217660 1074860637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73976 71899 1111 63 0 73913 0
vsize: 295904
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416657 0 0 0 47576 5426 0 0 25 0 1 0 815208944 303742976 71912 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74156 71912 1111 63 0 74093 0
vsize: 296624
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416657 0 0 0 48576 5426 0 0 25 0 1 0 815208944 303742976 71912 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74156 71912 1111 63 0 74093 0
vsize: 296624
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2421598 0 0 0 49566 5437 0 0 25 0 1 0 815208944 297476096 70598 4294967295 134512640 134714508 3221221776 3221217660 1074787724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72626 70598 1111 63 0 72563 0
vsize: 290504
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2421602 0 0 0 50566 5437 0 0 25 0 1 0 815208944 297476096 70602 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72626 70602 1111 63 0 72563 0
vsize: 290504
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2426461 0 0 0 51555 5448 0 0 25 0 1 0 815208944 290783232 69355 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70992 69355 1111 63 0 70929 0
vsize: 283968
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2481443 0 0 0 52426 5577 0 0 25 0 1 0 815208944 292503552 69913 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71412 69913 1111 63 0 71349 0
vsize: 285648
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2537176 0 0 0 53296 5707 0 0 25 0 1 0 815208944 299384832 71593 4294967295 134512640 134714508 3221221776 3221220176 1074031945 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73092 71593 1111 63 0 73029 0
vsize: 292368
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568966 0 0 0 54220 5783 0 0 25 0 1 0 815208944 310157312 73657 4294967295 134512640 134714508 3221221776 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75722 73657 1111 63 0 75659 0
vsize: 302888
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568971 0 0 0 55220 5783 0 0 25 0 1 0 815208944 310157312 73662 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75722 73662 1111 63 0 75659 0
vsize: 302888
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568973 0 0 0 56221 5783 0 0 25 0 1 0 815208944 310157312 73664 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75722 73664 1111 63 0 75659 0
vsize: 302888
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568986 0 0 0 57221 5783 0 0 25 0 1 0 815208944 310157312 73677 4294967295 134512640 134714508 3221221776 3221217856 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75722 73677 1111 63 0 75659 0
vsize: 302888
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573562 0 0 0 58211 5793 0 0 25 0 1 0 815208944 304291840 72280 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74290 72280 1111 63 0 74227 0
vsize: 297160
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573564 0 0 0 59211 5793 0 0 25 0 1 0 815208944 304291840 72282 4294967295 134512640 134714508 3221221776 3221218736 1075971273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74290 72282 1111 63 0 74227 0
vsize: 297160
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573577 0 0 0 60211 5793 0 0 25 0 1 0 815208944 304291840 72295 4294967295 134512640 134714508 3221221776 3221218464 1076084822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74290 72295 1111 63 0 74227 0
vsize: 297160
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573577 0 0 0 61211 5793 0 0 25 0 1 0 815208944 304291840 72295 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74290 72295 1111 63 0 74227 0
vsize: 297160
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2622072 0 0 0 62098 5907 0 0 25 0 1 0 815208944 297988096 71301 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72751 71301 1111 63 0 72688 0
vsize: 291004
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2677378 0 0 0 62966 6039 0 0 25 0 1 0 815208944 304009216 72716 4294967295 134512640 134714508 3221221776 3221220016 1075006831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74221 72724 1111 63 0 74158 0
vsize: 296884
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2720803 0 0 0 63866 6139 0 0 25 0 1 0 815208944 312152064 74098 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76209 74098 1111 63 0 76146 0
vsize: 304836
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725470 0 0 0 64857 6148 0 0 25 0 1 0 815208944 306155520 72751 4294967295 134512640 134714508 3221221776 3221217916 1075116569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74745 72751 1111 63 0 74682 0
vsize: 298980
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725479 0 0 0 65857 6148 0 0 25 0 1 0 815208944 306155520 72760 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74745 72760 1111 63 0 74682 0
vsize: 298980
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725491 0 0 0 66857 6148 0 0 25 0 1 0 815208944 306155520 72772 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74745 72772 1111 63 0 74682 0
vsize: 298980
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2752384 0 0 0 67793 6212 0 0 25 0 1 0 815208944 299069440 71423 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73015 71423 1111 63 0 72952 0
vsize: 292060
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2806986 0 0 0 68665 6341 0 0 25 0 1 0 815208944 305664000 72928 4294967295 134512640 134714508 3221221776 3221220144 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74625 72936 1111 63 0 74562 0
vsize: 298500
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2861932 0 0 0 69534 6471 0 0 25 0 1 0 815208944 308531200 73871 4294967295 134512640 134714508 3221221776 3221219848 1074950121 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75325 73871 1111 63 0 75262 0
vsize: 301300
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2876148 0 0 0 70502 6504 0 0 25 0 1 0 815208944 308142080 73241 4294967295 134512640 134714508 3221221776 3221217916 1075116566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75230 73241 1111 63 0 75167 0
vsize: 300920
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27547
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2876150 0 0 0 71502 6504 0 0 25 0 1 0 815208944 308142080 73243 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75230 73243 1111 63 0 75167 0
vsize: 300920
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 27548
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2883815 0 0 0 72482 6524 0 0 25 0 1 0 815208944 302186496 72127 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73776 72130 1111 63 0 73713 0
vsize: 295104
[startup+800.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2918152 0 0 0 73399 6607 0 0 25 0 1 0 815208944 303476736 72546 4294967295 134512640 134714508 3221221776 3221219692 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74091 72546 1111 63 0 74028 0
vsize: 296364
[startup+810.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2953358 0 0 0 74315 6691 0 0 25 0 1 0 815208944 309432320 74086 4294967295 134512640 134714508 3221221776 3221219928 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75545 74086 1111 63 0 75482 0
vsize: 302180
[startup+820.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2959818 0 0 0 75301 6706 0 0 25 0 1 0 815208944 316276736 75153 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77216 75153 1111 63 0 77153 0
vsize: 308864
[startup+830.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2959833 0 0 0 76301 6706 0 0 25 0 1 0 815208944 317014016 75168 4294967295 134512640 134714508 3221221776 3221218760 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77396 75168 1111 63 0 77333 0
vsize: 309584
[startup+840.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964601 0 0 0 77288 6719 0 0 25 0 1 0 815208944 310341632 73746 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75767 73746 1111 63 0 75704 0
vsize: 303068
[startup+850.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 27600
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964614 0 0 0 78288 6719 0 0 25 0 1 0 815208944 310341632 73759 4294967295 134512640 134714508 3221221776 3221217856 1074794649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75767 73759 1111 63 0 75704 0
vsize: 303068
[startup+860.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964614 0 0 0 79288 6720 0 0 25 0 1 0 815208944 310341632 73759 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75767 73759 1111 63 0 75704 0
vsize: 303068
[startup+870.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2980323 0 0 0 80250 6758 0 0 25 0 1 0 815208944 302682112 72482 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73897 72482 1111 63 0 73834 0
vsize: 295588
[startup+880.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3014586 0 0 0 81165 6842 0 0 25 0 1 0 815208944 306122752 73322 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74737 73322 1111 63 0 74674 0
vsize: 298948
[startup+890.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3049331 0 0 0 82083 6925 0 0 25 0 1 0 815208944 309276672 73851 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75507 73858 1111 63 0 75444 0
vsize: 302028
[startup+900.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067342 0 0 0 83044 6964 0 0 25 0 1 0 815208944 312233984 74066 4294967295 134512640 134714508 3221221776 3221218640 1074620294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76229 74066 1111 63 0 76166 0
vsize: 304916
[startup+910.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067495 0 0 0 84043 6965 0 0 25 0 1 0 815208944 312233984 74219 4294967295 134512640 134714508 3221221776 3221217660 1074860824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76229 74219 1111 63 0 76166 0
vsize: 304916
[startup+920.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067495 0 0 0 85043 6966 0 0 25 0 1 0 815208944 312233984 74219 4294967295 134512640 134714508 3221221776 3221217856 1074794657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76229 74219 1111 63 0 76166 0
vsize: 304916
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3099833 0 0 0 85963 7046 0 0 25 0 1 0 815208944 304848896 73007 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74426 73007 1111 63 0 74363 0
vsize: 297704
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3153910 0 0 0 86832 7177 0 0 25 0 1 0 815208944 309149696 73919 4294967295 134512640 134714508 3221221776 3221219908 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75476 73919 1111 63 0 75413 0
vsize: 301904
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3207973 0 0 0 87700 7309 0 0 25 0 1 0 815208944 313163776 74765 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76456 74771 1111 63 0 76393 0
vsize: 305824
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3216670 0 0 0 88681 7328 0 0 25 0 1 0 815208944 318418944 75671 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77739 75671 1111 63 0 77676 0
vsize: 310956
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3216671 0 0 0 89681 7329 0 0 25 0 1 0 815208944 318418944 75672 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77739 75672 1111 63 0 77676 0
vsize: 310956
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3221406 0 0 0 90670 7340 0 0 25 0 1 0 815208944 312344576 74270 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76256 74270 1111 63 0 76193 0
vsize: 305024
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3229311 0 0 0 91650 7360 0 0 25 0 1 0 815208944 304766976 72924 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74406 72924 1111 63 0 74343 0
vsize: 297624
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3263754 0 0 0 92568 7442 0 0 25 0 1 0 815208944 306487296 73344 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74826 73344 1111 63 0 74763 0
vsize: 299304
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3298556 0 0 0 93483 7528 0 0 25 0 1 0 815208944 309067776 73974 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75456 73974 1111 63 0 75393 0
vsize: 301824
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317865 0 0 0 94438 7573 0 0 25 0 1 0 815208944 318664704 75740 4294967295 134512640 134714508 3221221776 3221217660 1074860571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77799 75740 1111 63 0 77736 0
vsize: 311196
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317876 0 0 0 95437 7573 0 0 25 0 1 0 815208944 318664704 75751 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77799 75751 1111 63 0 77736 0
vsize: 311196
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 96438 7574 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221217916 1075116478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77799 75753 1111 63 0 77736 0
vsize: 311196
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 97437 7574 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77799 75753 1111 63 0 77736 0
vsize: 311196
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 98437 7575 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221217660 1074860637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77799 75753 1111 63 0 77736 0
vsize: 311196
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317888 0 0 0 99437 7575 0 0 25 0 1 0 815208944 319401984 75763 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77979 75763 1111 63 0 77916 0
vsize: 311916
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317888 0 0 0 100436 7576 0 0 25 0 1 0 815208944 319401984 75763 4294967295 134512640 134714508 3221221776 3221217832 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77979 75763 1111 63 0 77916 0
vsize: 311916
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3322780 0 0 0 101426 7586 0 0 25 0 1 0 815208944 312709120 74330 4294967295 134512640 134714508 3221221776 3221217564 1074787518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76345 74330 1111 63 0 76282 0
vsize: 305380
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3322781 0 0 0 102425 7587 0 0 25 0 1 0 815208944 312709120 74331 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76345 74331 1111 63 0 76282 0
vsize: 305380
[startup+1110.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3340704 0 0 0 103382 7631 0 0 25 0 1 0 815208944 305098752 72974 4294967295 134512640 134714508 3221221776 3221220016 1075006839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74487 72974 1111 63 0 74424 0
vsize: 297948
[startup+1120.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3375001 0 0 0 104303 7710 0 0 25 0 1 0 815208944 311119872 74444 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75957 74444 1111 63 0 75894 0
vsize: 303828
[startup+1130.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 27602
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395160 0 0 0 105257 7756 0 0 25 0 1 0 815208944 320630784 76255 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78279 76255 1111 63 0 78216 0
vsize: 313116
[startup+1140.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395168 0 0 0 106256 7757 0 0 25 0 1 0 815208944 320630784 76263 4294967295 134512640 134714508 3221221776 3221217660 1074860826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78279 76263 1111 63 0 78216 0
vsize: 313116
[startup+1150.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395172 0 0 0 107256 7757 0 0 25 0 1 0 815208944 320630784 76267 4294967295 134512640 134714508 3221221776 3221217564 1074787800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78279 76267 1111 63 0 78216 0
vsize: 313116
[startup+1160.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395173 0 0 0 108256 7757 0 0 25 0 1 0 815208944 320630784 76268 4294967295 134512640 134714508 3221221776 3221218688 1075338870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78279 76268 1111 63 0 78216 0
vsize: 313116
[startup+1170.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395183 0 0 0 109256 7758 0 0 25 0 1 0 815208944 321368064 76278 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78459 76278 1111 63 0 78396 0
vsize: 313836
[startup+1180.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395183 0 0 0 110256 7758 0 0 25 0 1 0 815208944 321368064 76278 4294967295 134512640 134714508 3221221776 3221217564 1074787576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78459 76278 1111 63 0 78396 0
vsize: 313836
[startup+1190.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395194 0 0 0 111257 7758 0 0 25 0 1 0 815208944 321368064 76289 4294967295 134512640 134714508 3221221776 3221218696 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78459 76289 1111 63 0 78396 0
vsize: 313836
[startup+1200.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27604
Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395194 0 0 0 112257 7758 0 0 25 0 1 0 815208944 321368064 76289 4294967295 134512640 134714508 3221221776 3221217916 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78459 76289 1111 63 0 78396 0
vsize: 313836
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.01 1.00 0.92 1/55 27604
Raw data (stat): 27547 (bsolo_lpr) Z 27546 7876 7672 0 -1 1036 3395194 0 0 0 112257 7772 0 0 25 0 1 0 815208944 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.18
CPU time (s): 1200.3
CPU user time (s): 1122.57
CPU system time (s): 77.7222
CPU usage (%): 100.01
Max. virtual memory (Kb): 313836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####