PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 12:46:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28565 boxname=wulflinc6 idbench=1521 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 28565
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        582560 kB
Buffers:         27288 kB
Cached:         402892 kB
SwapCached:        940 kB
Active:          80992 kB
Inactive:       351252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        582308 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14176 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:06:53 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 28565 7 1200.51 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.89 0.94 0.91 2/54 31081
Raw data (stat): 31081 (runsolver) R 31080 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901744987 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 2704 0 0 0 990 7 0 0 25 0 1 0 901744987 21950464 2624 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5359 2624 1111 63 0 5296 0
vsize: 21436
[startup+20.0005 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 4412 0 0 0 1987 11 0 0 25 0 1 0 901744987 28966912 4332 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7072 4332 1111 63 0 7009 0
vsize: 28288
[startup+30.0007 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 6125 0 0 0 2983 15 0 0 25 0 1 0 901744987 35987456 6045 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 6045 1111 63 0 8723 0
vsize: 35144
[startup+40.0008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 7840 0 0 0 3980 18 0 0 25 0 1 0 901744987 42987520 7760 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 7760 1111 63 0 10432 0
vsize: 41980
[startup+50.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 9560 0 0 0 4977 21 0 0 25 0 1 0 901744987 50008064 9480 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9480 1111 63 0 12146 0
vsize: 48836
[startup+60.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 11280 0 0 0 5974 25 0 0 25 0 1 0 901744987 57028608 11200 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 11200 1111 63 0 13860 0
vsize: 55692
[startup+70.0013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 13004 0 0 0 6972 28 0 0 25 0 1 0 901744987 64188416 12924 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12924 1111 63 0 15608 0
vsize: 62684
[startup+80.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 14041 0 0 0 7970 30 0 0 25 0 1 0 901744987 68382720 13961 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16695 13961 1111 63 0 16632 0
vsize: 66780
[startup+90.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 14498 0 0 0 8969 32 0 0 25 0 1 0 901744987 70230016 14418 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17146 14418 1111 63 0 17083 0
vsize: 68584
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 14955 0 0 0 9967 34 0 0 25 0 1 0 901744987 72073216 14875 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 14875 1111 63 0 17533 0
vsize: 70384
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 15411 0 0 0 10966 35 0 0 25 0 1 0 901744987 73920512 15331 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18047 15331 1111 63 0 17984 0
vsize: 72188
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 15868 0 0 0 11965 36 0 0 25 0 1 0 901744987 75919360 15788 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18535 15788 1111 63 0 18472 0
vsize: 74140
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 16325 0 0 0 12965 37 0 0 25 0 1 0 901744987 77766656 16245 4294967295 134512640 134716908 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18986 16245 1111 63 0 18923 0
vsize: 75944
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 16782 0 0 0 13964 38 0 0 25 0 1 0 901744987 79609856 16702 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19436 16702 1111 63 0 19373 0
vsize: 77744
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 17245 0 0 0 14963 39 0 0 25 0 1 0 901744987 81444864 17165 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19884 17165 1111 63 0 19821 0
vsize: 79536
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 17702 0 0 0 15963 40 0 0 25 0 1 0 901744987 83447808 17622 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20373 17622 1111 63 0 20310 0
vsize: 81492
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 18159 0 0 0 16962 41 0 0 25 0 1 0 901744987 85291008 18079 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20823 18079 1111 63 0 20760 0
vsize: 83292
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 18623 0 0 0 17962 42 0 0 25 0 1 0 901744987 87138304 18543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21274 18543 1111 63 0 21211 0
vsize: 85096
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 19087 0 0 0 18961 43 0 0 25 0 1 0 901744987 88985600 19007 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 19007 1111 63 0 21662 0
vsize: 86900
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 19544 0 0 0 19960 44 0 0 25 0 1 0 901744987 90984448 19464 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22213 19464 1111 63 0 22150 0
vsize: 88852
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 20001 0 0 0 20960 45 0 0 25 0 1 0 901744987 92848128 19921 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22668 19921 1111 63 0 22605 0
vsize: 90672
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 20471 0 0 0 21959 45 0 0 25 0 1 0 901744987 94695424 20391 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23119 20391 1111 63 0 23056 0
vsize: 92476
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 20928 0 0 0 22957 47 0 0 25 0 1 0 901744987 96514048 20848 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23563 20848 1111 63 0 23500 0
vsize: 94252
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 21397 0 0 0 23957 48 0 0 25 0 1 0 901744987 98512896 21317 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24051 21317 1111 63 0 23988 0
vsize: 96204
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 21854 0 0 0 24956 49 0 0 25 0 1 0 901744987 100360192 21774 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24502 21774 1111 63 0 24439 0
vsize: 98008
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 22323 0 0 0 25955 51 0 0 25 0 1 0 901744987 102359040 22243 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24990 22243 1111 63 0 24927 0
vsize: 99960
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 22781 0 0 0 26954 52 0 0 25 0 1 0 901744987 104206336 22701 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25441 22701 1111 63 0 25378 0
vsize: 101764
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 23259 0 0 0 27954 53 0 0 25 0 1 0 901744987 106217472 23179 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25932 23179 1111 63 0 25869 0
vsize: 103728
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 23728 0 0 0 28952 54 0 0 25 0 1 0 901744987 108064768 23648 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26383 23648 1111 63 0 26320 0
vsize: 105532
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 24185 0 0 0 29951 56 0 0 25 0 1 0 901744987 109907968 24105 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26833 24105 1111 63 0 26770 0
vsize: 107332
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 24656 0 0 0 30950 57 0 0 25 0 1 0 901744987 111886336 24576 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27316 24576 1111 63 0 27253 0
vsize: 109264
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 25126 0 0 0 31950 58 0 0 25 0 1 0 901744987 113885184 25046 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27804 25046 1111 63 0 27741 0
vsize: 111216
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 25595 0 0 0 32949 59 0 0 25 0 1 0 901744987 115732480 25515 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28255 25515 1111 63 0 28192 0
vsize: 113020
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 26065 0 0 0 33948 60 0 0 25 0 1 0 901744987 117731328 25985 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28743 25985 1111 63 0 28680 0
vsize: 114972
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 26530 0 0 0 34948 61 0 0 25 0 1 0 901744987 119595008 26450 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29198 26450 1111 63 0 29135 0
vsize: 116792
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 26998 0 0 0 35947 62 0 0 25 0 1 0 901744987 121442304 26918 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29649 26918 1111 63 0 29586 0
vsize: 118596
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 27462 0 0 0 36946 63 0 0 25 0 1 0 901744987 123416576 27382 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30131 27382 1111 63 0 30068 0
vsize: 120524
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 27939 0 0 0 37945 65 0 0 25 0 1 0 901744987 125259776 27859 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30581 27859 1111 63 0 30518 0
vsize: 122324
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 28409 0 0 0 38944 66 0 0 25 0 1 0 901744987 127262720 28329 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31070 28329 1111 63 0 31007 0
vsize: 124280
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 28884 0 0 0 39944 67 0 0 25 0 1 0 901744987 129261568 28804 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31558 28804 1111 63 0 31495 0
vsize: 126232
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 29355 0 0 0 40944 67 0 0 25 0 1 0 901744987 131108864 29275 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32009 29275 1111 63 0 31946 0
vsize: 128036
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 29826 0 0 0 41943 68 0 0 25 0 1 0 901744987 133107712 29746 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32497 29746 1111 63 0 32434 0
vsize: 129988
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 30294 0 0 0 42942 69 0 0 25 0 1 0 901744987 134975488 30214 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32953 30214 1111 63 0 32890 0
vsize: 131812
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 30769 0 0 0 43942 70 0 0 25 0 1 0 901744987 136974336 30689 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33441 30689 1111 63 0 33378 0
vsize: 133764
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 31247 0 0 0 44941 71 0 0 25 0 1 0 901744987 138821632 31167 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33892 31167 1111 63 0 33829 0
vsize: 135568
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 31717 0 0 0 45940 73 0 0 25 0 1 0 901744987 140820480 31637 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34380 31637 1111 63 0 34317 0
vsize: 137520
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 32193 0 0 0 46939 74 0 0 25 0 1 0 901744987 142667776 32113 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34831 32113 1111 63 0 34768 0
vsize: 139324
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 32669 0 0 0 47938 75 0 0 25 0 1 0 901744987 144642048 32589 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35313 32589 1111 63 0 35250 0
vsize: 141252
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 33146 0 0 0 48936 77 0 0 25 0 1 0 901744987 146640896 33066 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35801 33066 1111 63 0 35738 0
vsize: 143204
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 33622 0 0 0 49935 78 0 0 25 0 1 0 901744987 148643840 33542 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36290 33542 1111 63 0 36227 0
vsize: 145160
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 34096 0 0 0 50934 80 0 0 25 0 1 0 901744987 150507520 34016 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36745 34016 1111 63 0 36682 0
vsize: 146980
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 34573 0 0 0 51933 81 0 0 25 0 1 0 901744987 152510464 34493 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37234 34493 1111 63 0 37171 0
vsize: 148936
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 35055 0 0 0 52933 82 0 0 25 0 1 0 901744987 154509312 34975 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37722 34975 1111 63 0 37659 0
vsize: 150888
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 35525 0 0 0 53932 83 0 0 25 0 1 0 901744987 156356608 35445 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38173 35445 1111 63 0 38110 0
vsize: 152692
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 36027 0 0 0 54931 85 0 0 25 0 1 0 901744987 158572544 35947 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38714 35947 1111 63 0 38651 0
vsize: 154856
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 36509 0 0 0 55930 86 0 0 25 0 1 0 901744987 160575488 36429 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39203 36429 1111 63 0 39140 0
vsize: 156812
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 36985 0 0 0 56929 87 0 0 25 0 1 0 901744987 162418688 36905 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39653 36905 1111 63 0 39590 0
vsize: 158612
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 37461 0 0 0 57929 87 0 0 25 0 1 0 901744987 164421632 37381 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40142 37381 1111 63 0 40079 0
vsize: 160568
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 37945 0 0 0 58928 89 0 0 25 0 1 0 901744987 166420480 37865 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40630 37865 1111 63 0 40567 0
vsize: 162520
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 38425 0 0 0 59927 90 0 0 25 0 1 0 901744987 168288256 38345 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41086 38345 1111 63 0 41023 0
vsize: 164344
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 38907 0 0 0 60927 91 0 0 25 0 1 0 901744987 170287104 38827 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41574 38827 1111 63 0 41511 0
vsize: 166296
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 39392 0 0 0 61926 92 0 0 25 0 1 0 901744987 172290048 39312 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42063 39312 1111 63 0 42000 0
vsize: 168252
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 39874 0 0 0 62925 93 0 0 25 0 1 0 901744987 174264320 39794 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42545 39794 1111 63 0 42482 0
vsize: 170180
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 40356 0 0 0 63925 94 0 0 25 0 1 0 901744987 176263168 40276 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43033 40276 1111 63 0 42970 0
vsize: 172132
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 40839 0 0 0 64924 95 0 0 25 0 1 0 901744987 178266112 40759 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43522 40759 1111 63 0 43459 0
vsize: 174088
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 41322 0 0 0 65923 96 0 0 25 0 1 0 901744987 180264960 41242 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44010 41242 1111 63 0 43947 0
vsize: 176040
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 41804 0 0 0 66922 97 0 0 25 0 1 0 901744987 182112256 41724 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44461 41724 1111 63 0 44398 0
vsize: 177844
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 42288 0 0 0 67922 98 0 0 25 0 1 0 901744987 184111104 42208 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44949 42208 1111 63 0 44886 0
vsize: 179796
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 42775 0 0 0 68920 100 0 0 25 0 1 0 901744987 186105856 42695 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45436 42695 1111 63 0 45373 0
vsize: 181744
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 43264 0 0 0 69920 101 0 0 25 0 1 0 901744987 188104704 43184 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45924 43184 1111 63 0 45861 0
vsize: 183696
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 43746 0 0 0 70919 102 0 0 25 0 1 0 901744987 190107648 43666 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46413 43666 1111 63 0 46350 0
vsize: 185652
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 44230 0 0 0 71917 104 0 0 25 0 1 0 901744987 192106496 44150 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46901 44150 1111 63 0 46838 0
vsize: 187604
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 44725 0 0 0 72916 106 0 0 25 0 1 0 901744987 194109440 44645 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47390 44645 1111 63 0 47327 0
vsize: 189560
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 45207 0 0 0 73915 107 0 0 25 0 1 0 901744987 196108288 45127 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47878 45127 1111 63 0 47815 0
vsize: 191512
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 45697 0 0 0 74914 108 0 0 25 0 1 0 901744987 198111232 45617 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48367 45617 1111 63 0 48304 0
vsize: 193468
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 46186 0 0 0 75914 109 0 0 25 0 1 0 901744987 200110080 46106 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48855 46106 1111 63 0 48792 0
vsize: 195420
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 46668 0 0 0 76913 110 0 0 25 0 1 0 901744987 202113024 46588 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49344 46588 1111 63 0 49281 0
vsize: 197376
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 47163 0 0 0 77912 111 0 0 25 0 1 0 901744987 204111872 47083 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49832 47083 1111 63 0 49769 0
vsize: 199328
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31081
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 47651 0 0 0 78911 113 0 0 25 0 1 0 901744987 206106624 47571 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50319 47571 1111 63 0 50256 0
vsize: 201276
[startup+800.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 48139 0 0 0 79910 114 0 0 25 0 1 0 901744987 208105472 48059 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50807 48059 1111 63 0 50744 0
vsize: 203228
[startup+810.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 48623 0 0 0 80909 115 0 0 25 0 1 0 901744987 210108416 48543 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 48543 1111 63 0 51233 0
vsize: 205184
[startup+820.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 49112 0 0 0 81909 115 0 0 25 0 1 0 901744987 212107264 49032 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51784 49032 1111 63 0 51721 0
vsize: 207136
[startup+830.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 49600 0 0 0 82908 116 0 0 25 0 1 0 901744987 214110208 49520 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52273 49520 1111 63 0 52210 0
vsize: 209092
[startup+840.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 50083 0 0 0 83907 118 0 0 25 0 1 0 901744987 216109056 50003 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52761 50003 1111 63 0 52698 0
vsize: 211044
[startup+850.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 50572 0 0 0 84906 119 0 0 25 0 1 0 901744987 218112000 50492 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53250 50492 1111 63 0 53187 0
vsize: 213000
[startup+860.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 51062 0 0 0 85906 119 0 0 25 0 1 0 901744987 220110848 50982 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53738 50982 1111 63 0 53675 0
vsize: 214952
[startup+870.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31134
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 51550 0 0 0 86906 120 0 0 25 0 1 0 901744987 222113792 51470 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54227 51470 1111 63 0 54164 0
vsize: 216908
[startup+880.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 52040 0 0 0 87905 121 0 0 25 0 1 0 901744987 224112640 51960 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54715 51960 1111 63 0 54652 0
vsize: 218860
[startup+890.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 52527 0 0 0 88905 122 0 0 25 0 1 0 901744987 225980416 52447 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55171 52447 1111 63 0 55108 0
vsize: 220684
[startup+900.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 53016 0 0 0 89904 123 0 0 25 0 1 0 901744987 228110336 52936 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55691 52936 1111 63 0 55628 0
vsize: 222764
[startup+910.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 53511 0 0 0 90904 124 0 0 25 0 1 0 901744987 230109184 53431 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56179 53431 1111 63 0 56116 0
vsize: 224716
[startup+920.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 53995 0 0 0 91903 124 0 0 25 0 1 0 901744987 232112128 53915 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56668 53915 1111 63 0 56605 0
vsize: 226672
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 54490 0 0 0 92903 125 0 0 25 0 1 0 901744987 234110976 54410 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57156 54410 1111 63 0 57093 0
vsize: 228624
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 54979 0 0 0 93903 126 0 0 25 0 1 0 901744987 236113920 54899 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57645 54899 1111 63 0 57582 0
vsize: 230580
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 55468 0 0 0 94903 126 0 0 25 0 1 0 901744987 238112768 55388 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58133 55388 1111 63 0 58070 0
vsize: 232532
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 55963 0 0 0 95902 127 0 0 25 0 1 0 901744987 240091136 55883 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58616 55883 1111 63 0 58553 0
vsize: 234464
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 56458 0 0 0 96902 128 0 0 25 0 1 0 901744987 242089984 56378 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59104 56378 1111 63 0 59041 0
vsize: 236416
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 56954 0 0 0 97901 128 0 0 25 0 1 0 901744987 244088832 56874 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59592 56874 1111 63 0 59529 0
vsize: 238368
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 57443 0 0 0 98900 130 0 0 25 0 1 0 901744987 246112256 57363 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60086 57363 1111 63 0 60023 0
vsize: 240344
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 57931 0 0 0 99900 131 0 0 25 0 1 0 901744987 248111104 57851 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60574 57851 1111 63 0 60511 0
vsize: 242296
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 58426 0 0 0 100899 132 0 0 25 0 1 0 901744987 250114048 58346 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61063 58346 1111 63 0 61000 0
vsize: 244252
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 58922 0 0 0 101899 132 0 0 25 0 1 0 901744987 252268544 58842 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61589 58842 1111 63 0 61526 0
vsize: 246356
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 59417 0 0 0 102899 133 0 0 25 0 1 0 901744987 254267392 59337 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62077 59337 1111 63 0 62014 0
vsize: 248308
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 59912 0 0 0 103898 134 0 0 25 0 1 0 901744987 256270336 59832 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62566 59832 1111 63 0 62503 0
vsize: 250264
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 60407 0 0 0 104897 135 0 0 25 0 1 0 901744987 258269184 60327 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63054 60327 1111 63 0 62991 0
vsize: 252216
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 60907 0 0 0 105897 136 0 0 25 0 1 0 901744987 260272128 60827 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63543 60827 1111 63 0 63480 0
vsize: 254172
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 61442 0 0 0 106896 137 0 0 25 0 1 0 901744987 262766592 61362 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64152 61362 1111 63 0 64089 0
vsize: 256608
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 61937 0 0 0 107896 137 0 0 25 0 1 0 901744987 264765440 61857 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64640 61857 1111 63 0 64577 0
vsize: 258560
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 62432 0 0 0 108895 138 0 0 25 0 1 0 901744987 266764288 62352 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65128 62352 1111 63 0 65065 0
vsize: 260512
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 62935 0 0 0 109894 139 0 0 25 0 1 0 901744987 268918784 62855 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65654 62855 1111 63 0 65591 0
vsize: 262616
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31136
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 63436 0 0 0 110893 141 0 0 25 0 1 0 901744987 270942208 63356 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66148 63356 1111 63 0 66085 0
vsize: 264592
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 63930 0 0 0 111892 142 0 0 25 0 1 0 901744987 272941056 63850 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66636 63850 1111 63 0 66573 0
vsize: 266544
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 64425 0 0 0 112892 143 0 0 25 0 1 0 901744987 274944000 64345 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67125 64345 1111 63 0 67062 0
vsize: 268500
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 64933 0 0 0 113891 144 0 0 25 0 1 0 901744987 277098496 64853 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67651 64853 1111 63 0 67588 0
vsize: 270604
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 65429 0 0 0 114891 144 0 0 25 0 1 0 901744987 279101440 65349 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68140 65349 1111 63 0 68077 0
vsize: 272560
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 65937 0 0 0 115890 145 0 0 25 0 1 0 901744987 281100288 65857 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68628 65857 1111 63 0 68565 0
vsize: 274512
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 66433 0 0 0 116890 146 0 0 25 0 1 0 901744987 283254784 66353 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69154 66353 1111 63 0 69091 0
vsize: 276616
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 66934 0 0 0 117890 147 0 0 25 0 1 0 901744987 285257728 66854 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69643 66854 1111 63 0 69580 0
vsize: 278572
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 67436 0 0 0 118889 148 0 0 25 0 1 0 901744987 287256576 67356 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70131 67356 1111 63 0 70068 0
vsize: 280524
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) R 31080 25568 25567 0 -1 0 67944 0 0 0 119888 149 0 0 25 0 1 0 901744987 289415168 67864 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70658 67864 1111 63 0 70595 0
vsize: 282632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31138
Raw data (stat): 31081 (bsolo_lpr-v2) Z 31080 25568 25567 0 -1 1036 67944 0 0 0 119888 162 0 0 25 0 1 0 901744987 0 0 4294967295 0 0 0 0 0 0 0 7 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.16
CPU time (s): 1200.51
CPU user time (s): 1198.89
CPU system time (s): 1.62175
CPU usage (%): 100.029
Max. virtual memory (Kb): 282632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####