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/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
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	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 25365

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 21:48:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20086 boxname=wulflinc31 idbench=1546 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 20086
/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:        747184 kB
Buffers:         32384 kB
Cached:         233176 kB
SwapCached:        932 kB
Active:         110780 kB
Inactive:       157040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        746932 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13928 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 22:08:18 (client local time) WITH STATUS 0 IN 1200.58 SECONDS
stats: 20086 7 1200.58 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): 0.92 0.98 0.95 2/55 11915
Raw data (stat): 11915 (runsolver) R 11914 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 781733193 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): 0.93 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 2033 0 0 0 988 7 0 0 25 0 1 0 781733193 19865600 1956 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 1956 1111 63 0 4787 0
vsize: 19400
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 3193 0 0 0 1986 9 0 0 25 0 1 0 781733193 24641536 3116 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6016 3116 1111 63 0 5953 0
vsize: 24064
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 4360 0 0 0 2984 11 0 0 25 0 1 0 781733193 29421568 4283 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7183 4283 1111 63 0 7120 0
vsize: 28732
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 5532 0 0 0 3982 13 0 0 25 0 1 0 781733193 34197504 5455 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8349 5455 1111 63 0 8286 0
vsize: 33396
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 6704 0 0 0 4980 15 0 0 25 0 1 0 781733193 38973440 6627 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9515 6627 1111 63 0 9452 0
vsize: 38060
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 7880 0 0 0 5978 18 0 0 25 0 1 0 781733193 43737088 7803 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10678 7803 1111 63 0 10615 0
vsize: 42712
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 9066 0 0 0 6976 20 0 0 25 0 1 0 781733193 48668672 8989 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11882 8989 1111 63 0 11819 0
vsize: 47528
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 10250 0 0 0 7974 22 0 0 25 0 1 0 781733193 53448704 10173 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13049 10173 1111 63 0 12986 0
vsize: 52196
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 11434 0 0 0 8972 25 0 0 25 0 1 0 781733193 58372096 11357 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14251 11357 1111 63 0 14188 0
vsize: 57004
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 12625 0 0 0 9970 27 0 0 25 0 1 0 781733193 63152128 12548 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15418 12548 1111 63 0 15355 0
vsize: 61672
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 13820 0 0 0 10968 29 0 0 25 0 1 0 781733193 68050944 13743 4294967295 134512640 134714508 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16614 13743 1111 63 0 16551 0
vsize: 66456
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 15018 0 0 0 11966 31 0 0 25 0 1 0 781733193 72978432 14941 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17817 14941 1111 63 0 17754 0
vsize: 71268
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 16222 0 0 0 12965 33 0 0 25 0 1 0 781733193 77901824 16145 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19019 16145 1111 63 0 18956 0
vsize: 76076
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 17601 0 0 0 13962 35 0 0 25 0 1 0 781733193 83578880 17524 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20405 17524 1111 63 0 20342 0
vsize: 81620
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 18822 0 0 0 14961 37 0 0 25 0 1 0 781733193 88653824 18745 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21644 18745 1111 63 0 21581 0
vsize: 86576
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 20030 0 0 0 15959 39 0 0 25 0 1 0 781733193 93581312 19953 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22847 19953 1111 63 0 22784 0
vsize: 91388
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 21429 0 0 0 16956 42 0 0 25 0 1 0 781733193 99258368 21352 4294967295 134512640 134714508 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24233 21352 1111 63 0 24170 0
vsize: 96932
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 22649 0 0 0 17954 44 0 0 25 0 1 0 781733193 104333312 22572 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25472 22572 1111 63 0 25409 0
vsize: 101888
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 23955 0 0 0 18952 47 0 0 25 0 1 0 781733193 109559808 23878 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26748 23878 1111 63 0 26685 0
vsize: 106992
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 25383 0 0 0 19949 50 0 0 25 0 1 0 781733193 115503104 25306 4294967295 134512640 134714508 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28199 25306 1111 63 0 28136 0
vsize: 112796
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 26611 0 0 0 20947 52 0 0 25 0 1 0 781733193 120582144 26534 4294967295 134512640 134714508 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29439 26534 1111 63 0 29376 0
vsize: 117756
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 27972 0 0 0 21943 56 0 0 25 0 1 0 781733193 126107648 27895 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30788 27895 1111 63 0 30725 0
vsize: 123152
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 29212 0 0 0 22942 58 0 0 25 0 1 0 781733193 131182592 29135 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32027 29135 1111 63 0 31964 0
vsize: 128108
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 30451 0 0 0 23939 60 0 0 25 0 1 0 781733193 136257536 30374 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33266 30374 1111 63 0 33203 0
vsize: 133064
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 31758 0 0 0 24937 63 0 0 25 0 1 0 781733193 141627392 31681 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34577 31681 1111 63 0 34514 0
vsize: 138308
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 33223 0 0 0 25935 65 0 0 25 0 1 0 781733193 147603456 33146 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36036 33146 1111 63 0 35973 0
vsize: 144144
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 34475 0 0 0 26933 67 0 0 25 0 1 0 781733193 152678400 34398 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37275 34398 1111 63 0 37212 0
vsize: 149100
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 35738 0 0 0 27931 69 0 0 25 0 1 0 781733193 157904896 35661 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38551 35661 1111 63 0 38488 0
vsize: 154204
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 37057 0 0 0 28930 71 0 0 25 0 1 0 781733193 163282944 36980 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39864 36980 1111 63 0 39801 0
vsize: 159456
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 38328 0 0 0 29928 73 0 0 25 0 1 0 781733193 168509440 38251 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41140 38251 1111 63 0 41077 0
vsize: 164560
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 39597 0 0 0 30925 76 0 0 25 0 1 0 781733193 173731840 39520 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42415 39520 1111 63 0 42352 0
vsize: 169660
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 41136 0 0 0 31923 78 0 0 25 0 1 0 781733193 180006912 41059 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43947 41059 1111 63 0 43884 0
vsize: 175788
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 42418 0 0 0 32921 80 0 0 25 0 1 0 781733193 185229312 42341 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45222 42341 1111 63 0 45159 0
vsize: 180888
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 43699 0 0 0 33918 83 0 0 25 0 1 0 781733193 190455808 43622 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46498 43622 1111 63 0 46435 0
vsize: 185992
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 45248 0 0 0 34915 87 0 0 25 0 1 0 781733193 196870144 45171 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48064 45171 1111 63 0 48001 0
vsize: 192256
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 46543 0 0 0 35914 88 0 0 25 0 1 0 781733193 202100736 46466 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49341 46466 1111 63 0 49278 0
vsize: 197364
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 47842 0 0 0 36911 91 0 0 25 0 1 0 781733193 207474688 47765 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50653 47765 1111 63 0 50590 0
vsize: 202612
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 49148 0 0 0 37910 93 0 0 25 0 1 0 781733193 212848640 49071 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51965 49071 1111 63 0 51902 0
vsize: 207860
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 50466 0 0 0 38908 95 0 0 25 0 1 0 781733193 218218496 50389 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53276 50389 1111 63 0 53213 0
vsize: 213104
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 51779 0 0 0 39906 97 0 0 25 0 1 0 781733193 223596544 51702 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54589 51702 1111 63 0 54526 0
vsize: 218356
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 53097 0 0 0 40904 99 0 0 25 0 1 0 781733193 228970496 53020 4294967295 134512640 134714508 3221221792 3221220512 134564419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55901 53020 1111 63 0 55838 0
vsize: 223604
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 54451 0 0 0 41902 101 0 0 25 0 1 0 781733193 234643456 54374 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57286 54374 1111 63 0 57223 0
vsize: 229144
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 55820 0 0 0 42900 104 0 0 25 0 1 0 781733193 240173056 55743 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58636 55743 1111 63 0 58573 0
vsize: 234544
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 57151 0 0 0 43898 106 0 0 25 0 1 0 781733193 245694464 57074 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59984 57074 1111 63 0 59921 0
vsize: 239936
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 58560 0 0 0 44896 108 0 0 25 0 1 0 781733193 251367424 58483 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61369 58483 1111 63 0 61306 0
vsize: 245476
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 59904 0 0 0 45895 110 0 0 25 0 1 0 781733193 256892928 59827 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62718 59827 1111 63 0 62655 0
vsize: 250872
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 61270 0 0 0 46892 112 0 0 25 0 1 0 781733193 262565888 61193 4294967295 134512640 134714508 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64103 61193 1111 63 0 64040 0
vsize: 256412
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 62643 0 0 0 47890 115 0 0 25 0 1 0 781733193 268087296 62566 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65451 62566 1111 63 0 65388 0
vsize: 261804
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 64097 0 0 0 48887 118 0 0 25 0 1 0 781733193 274063360 64020 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66910 64020 1111 63 0 66847 0
vsize: 267640
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 65470 0 0 0 49884 121 0 0 25 0 1 0 781733193 279736320 65393 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68295 65393 1111 63 0 68232 0
vsize: 273180
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 66891 0 0 0 50881 124 0 0 25 0 1 0 781733193 285556736 66814 4294967295 134512640 134714508 3221221792 3221220020 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69716 66814 1111 63 0 69653 0
vsize: 278864
[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 68302 0 0 0 51880 126 0 0 25 0 1 0 781733193 291233792 68225 4294967295 134512640 134714508 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71102 68225 1111 63 0 71039 0
vsize: 284408
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 69694 0 0 0 52877 128 0 0 25 0 1 0 781733193 297054208 69617 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72523 69617 1111 63 0 72460 0
vsize: 290092
[startup+540.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 71079 0 0 0 53875 131 0 0 25 0 1 0 781733193 302727168 71002 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73908 71002 1111 63 0 73845 0
vsize: 295632
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 72495 0 0 0 54872 134 0 0 25 0 1 0 781733193 308404224 72418 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75294 72418 1111 63 0 75231 0
vsize: 301176
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 73923 0 0 0 55870 136 0 0 25 0 1 0 781733193 314372096 73846 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76751 73846 1111 63 0 76688 0
vsize: 307004
[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 75358 0 0 0 56868 138 0 0 25 0 1 0 781733193 320200704 75281 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78174 75281 1111 63 0 78111 0
vsize: 312696
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 76774 0 0 0 57866 140 0 0 25 0 1 0 781733193 326021120 76697 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79595 76697 1111 63 0 79532 0
vsize: 318380
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 78189 0 0 0 58864 143 0 0 25 0 1 0 781733193 331841536 78112 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81016 78112 1111 63 0 80953 0
vsize: 324064
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 79617 0 0 0 59862 145 0 0 25 0 1 0 781733193 337666048 79540 4294967295 134512640 134714508 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82438 79540 1111 63 0 82375 0
vsize: 329752
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 81052 0 0 0 60859 149 0 0 25 0 1 0 781733193 343486464 80975 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83859 80975 1111 63 0 83796 0
vsize: 335436
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 82510 0 0 0 61856 151 0 0 25 0 1 0 781733193 349458432 82433 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85317 82433 1111 63 0 85254 0
vsize: 341268
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 84030 0 0 0 62854 154 0 0 25 0 1 0 781733193 355733504 83953 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86849 83953 1111 63 0 86786 0
vsize: 347396
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 85548 0 0 0 63851 157 0 0 25 0 1 0 781733193 361848832 85471 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88342 85471 1111 63 0 88279 0
vsize: 353368
[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 87026 0 0 0 64849 159 0 0 25 0 1 0 781733193 367976448 86949 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89838 86949 1111 63 0 89775 0
vsize: 359352
[startup+660.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 88509 0 0 0 65847 161 0 0 25 0 1 0 781733193 374095872 88432 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91332 88432 1111 63 0 91269 0
vsize: 365328
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 90059 0 0 0 66844 164 0 0 25 0 1 0 781733193 380366848 89982 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92863 89982 1111 63 0 92800 0
vsize: 371452
[startup+680.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 91637 0 0 0 67842 166 0 0 25 0 1 0 781733193 386785280 91560 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94430 91560 1111 63 0 94367 0
vsize: 377720
[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 93193 0 0 0 68839 170 0 0 25 0 1 0 781733193 393207808 93116 4294967295 134512640 134714508 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95998 93116 1111 63 0 95935 0
vsize: 383992
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 94730 0 0 0 69836 173 0 0 25 0 1 0 781733193 399474688 94653 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97528 94653 1111 63 0 97465 0
vsize: 390112
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11915
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 96237 0 0 0 70833 176 0 0 25 0 1 0 781733193 405749760 96160 4294967295 134512640 134714508 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99060 96160 1111 63 0 98997 0
vsize: 396240
[startup+720.038 s]
Raw data (loadavg): 1.07 1.00 0.95 4/60 11967
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 97755 0 0 0 71829 180 0 0 25 0 1 0 781733193 411869184 97678 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100554 97678 1111 63 0 100491 0
vsize: 402216
[startup+730.081 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 99359 0 0 0 72831 182 0 0 25 0 1 0 781733193 418656256 99282 4294967295 134512640 134714508 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102211 99282 1111 63 0 102148 0
vsize: 408844
[startup+740.081 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 100878 0 0 0 73829 185 0 0 25 0 1 0 781733193 424775680 100801 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103705 100801 1111 63 0 103642 0
vsize: 414820
[startup+750.082 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 102441 0 0 0 74826 188 0 0 25 0 1 0 781733193 431198208 102364 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105273 102364 1111 63 0 105210 0
vsize: 421092
[startup+760.082 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 104044 0 0 0 75823 191 0 0 25 0 1 0 781733193 437764096 103967 4294967295 134512640 134714508 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106876 103967 1111 63 0 106813 0
vsize: 427504
[startup+770.083 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 105631 0 0 0 76820 194 0 0 25 0 1 0 781733193 444338176 105554 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108481 105554 1111 63 0 108418 0
vsize: 433924
[startup+780.084 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 11968
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 107258 0 0 0 77816 198 0 0 25 0 1 0 781733193 450904064 107181 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110084 107181 1111 63 0 110021 0
vsize: 440336
[startup+790.084 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 108973 0 0 0 78814 201 0 0 25 0 1 0 781733193 457924608 108896 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 111798 108896 1111 63 0 111735 0
vsize: 447192
[startup+800.085 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 110559 0 0 0 79812 203 0 0 25 0 1 0 781733193 464490496 110482 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113401 110482 1111 63 0 113338 0
vsize: 453604
[startup+810.085 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 112133 0 0 0 80810 205 0 0 25 0 1 0 781733193 470913024 112056 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 114969 112056 1111 63 0 114906 0
vsize: 459876
[startup+820.086 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 113750 0 0 0 81807 208 0 0 25 0 1 0 781733193 477478912 113673 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 116572 113673 1111 63 0 116509 0
vsize: 466288
[startup+830.085 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 115348 0 0 0 82805 210 0 0 25 0 1 0 781733193 484048896 115271 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118176 115271 1111 63 0 118113 0
vsize: 472704
[startup+840.085 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 116959 0 0 0 83802 213 0 0 25 0 1 0 781733193 490622976 116882 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 119781 116882 1111 63 0 119718 0
vsize: 479124
[startup+850.086 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 118587 0 0 0 84800 216 0 0 25 0 1 0 781733193 497336320 118510 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121420 118510 1111 63 0 121357 0
vsize: 485680
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 120294 0 0 0 85797 219 0 0 25 0 1 0 781733193 504356864 120217 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123134 120217 1111 63 0 123071 0
vsize: 492536
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 121965 0 0 0 86795 221 0 0 25 0 1 0 781733193 511221760 121888 4294967295 134512640 134714508 3221221792 3221220020 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 124810 121888 1111 63 0 124747 0
vsize: 499240
[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 123649 0 0 0 87792 224 0 0 25 0 1 0 781733193 518090752 123572 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 126487 123572 1111 63 0 126424 0
vsize: 505948
[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 125309 0 0 0 88790 226 0 0 25 0 1 0 781733193 524812288 125232 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128128 125232 1111 63 0 128065 0
vsize: 512512
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 126979 0 0 0 89787 230 0 0 25 0 1 0 781733193 531677184 126902 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 129804 126902 1111 63 0 129741 0
vsize: 519216
[startup+910.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 128724 0 0 0 90784 233 0 0 25 0 1 0 781733193 538845184 128647 4294967295 134512640 134714508 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131554 128647 1111 63 0 131491 0
vsize: 526216
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 130487 0 0 0 91781 236 0 0 25 0 1 0 781733193 546013184 130410 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 133304 130410 1111 63 0 133241 0
vsize: 533216
[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 132193 0 0 0 92779 238 0 0 25 0 1 0 781733193 553029632 132116 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 135017 132116 1111 63 0 134954 0
vsize: 540068
[startup+940.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 133938 0 0 0 93776 241 0 0 25 0 1 0 781733193 560197632 133861 4294967295 134512640 134714508 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 136767 133861 1111 63 0 136704 0
vsize: 547068
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 135683 0 0 0 94773 244 0 0 25 0 1 0 781733193 567365632 135606 4294967295 134512640 134714508 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 138517 135606 1111 63 0 138454 0
vsize: 554068
[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 137425 0 0 0 95770 248 0 0 25 0 1 0 781733193 574525440 137348 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 140265 137348 1111 63 0 140202 0
vsize: 561060
[startup+970.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 139157 0 0 0 96768 250 0 0 25 0 1 0 781733193 581545984 139080 4294967295 134512640 134714508 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 141979 139080 1111 63 0 141916 0
vsize: 567916
[startup+980.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 140916 0 0 0 97765 253 0 0 25 0 1 0 781733193 588713984 140839 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 143729 140839 1111 63 0 143666 0
vsize: 574916
[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 142689 0 0 0 98761 257 0 0 25 0 1 0 781733193 596025344 142612 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 145514 142612 1111 63 0 145451 0
vsize: 582056
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 144487 0 0 0 99759 260 0 0 25 0 1 0 781733193 603344896 144410 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 147301 144410 1111 63 0 147238 0
vsize: 589204
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 146317 0 0 0 100756 263 0 0 25 0 1 0 781733193 610811904 146240 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 149124 146240 1111 63 0 149061 0
vsize: 596496
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 148177 0 0 0 101753 266 0 0 25 0 1 0 781733193 618426368 148100 4294967295 134512640 134714508 3221221792 3221220144 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 150983 148100 1111 63 0 150920 0
vsize: 603932
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 150067 0 0 0 102750 269 0 0 25 0 1 0 781733193 626192384 149990 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 152879 149990 1111 63 0 152816 0
vsize: 611516
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 151950 0 0 0 103747 273 0 0 25 0 1 0 781733193 633950208 151873 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 154773 151873 1111 63 0 154710 0
vsize: 619092
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 153841 0 0 0 104744 276 0 0 25 0 1 0 781733193 641716224 153764 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 156669 153764 1111 63 0 156606 0
vsize: 626676
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 155724 0 0 0 105740 279 0 0 25 0 1 0 781733193 649330688 155647 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 158528 155647 1111 63 0 158465 0
vsize: 634112
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 157638 0 0 0 106737 283 0 0 25 0 1 0 781733193 657244160 157561 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 160460 157561 1111 63 0 160397 0
vsize: 641840
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11970
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 159591 0 0 0 107733 287 0 0 25 0 1 0 781733193 665157632 159514 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 162392 159514 1111 63 0 162329 0
vsize: 649568
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 161565 0 0 0 108730 290 0 0 25 0 1 0 781733193 673370112 161488 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 164397 161488 1111 63 0 164334 0
vsize: 657588
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 163564 0 0 0 109727 293 0 0 25 0 1 0 781733193 681435136 163487 4294967295 134512640 134714508 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 166366 163487 1111 63 0 166303 0
vsize: 665464
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 165582 0 0 0 110723 297 0 0 25 0 1 0 781733193 689790976 165505 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 168406 165505 1111 63 0 168343 0
vsize: 673624
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 167605 0 0 0 111719 302 0 0 25 0 1 0 781733193 698003456 167528 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 170411 167528 1111 63 0 170348 0
vsize: 681644
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 169652 0 0 0 112716 305 0 0 25 0 1 0 781733193 706363392 169575 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 172452 169575 1111 63 0 172389 0
vsize: 689808
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 171732 0 0 0 113712 309 0 0 25 0 1 0 781733193 714874880 171655 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 174530 171655 1111 63 0 174467 0
vsize: 698120
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 173810 0 0 0 114709 313 0 0 25 0 1 0 781733193 723382272 173733 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 176607 173733 1111 63 0 176544 0
vsize: 706428
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 175918 0 0 0 115707 315 0 0 25 0 1 0 781733193 732041216 175841 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 178721 175841 1111 63 0 178658 0
vsize: 714884
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 178053 0 0 0 116703 319 0 0 25 0 1 0 781733193 740855808 177976 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 180873 177976 1111 63 0 180810 0
vsize: 723492
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 180192 0 0 0 117699 323 0 0 25 0 1 0 781733193 749518848 180115 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 182988 180115 1111 63 0 182925 0
vsize: 731952
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 182361 0 0 0 118694 328 0 0 25 0 1 0 781733193 758472704 182284 4294967295 134512640 134714508 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 185174 182284 1111 63 0 185111 0
vsize: 740696
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11972
Raw data (stat): 11915 (bsolo_lpr) R 11914 7876 7672 0 -1 0 184562 0 0 0 119690 332 0 0 25 0 1 0 781733193 767430656 184485 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 187361 184485 1111 63 0 187298 0
vsize: 749444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.45 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11972
Raw data (stat): 11915 (bsolo_lpr) Z 11914 7876 7672 0 -1 1036 184562 0 0 0 119690 367 0 0 25 0 1 0 781733193 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.45
CPU time (s): 1200.58
CPU user time (s): 1196.91
CPU system time (s): 3.67344
CPU usage (%): 100.011
Max. virtual memory (Kb): 749444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####