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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.646901
Number of variables	71610
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	30
Maximum length of a constraint	1830
Trace number 39869

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 21:30:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27925 boxname=wulflinc5 idbench=881 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  7f0ee4cf0d8dc7a24a6781a6419bf20e  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ship08s.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ship08s.opb
IDLAUNCH: 27925
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        768032 kB
Buffers:         33960 kB
Cached:         207720 kB
SwapCached:        604 kB
Active:          50892 kB
Inactive:       192848 kB
HighTotal:      131008 kB
HighFree:         8344 kB
LowTotal:       903652 kB
LowFree:        759688 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            17080 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:50:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 27925 7 1200.25 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.92 0.95 0.90 1/54 8795
Raw data (stat): 8795 (runsolver) R 8794 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896244598 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.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1052 0 0 0 994 3 0 0 25 0 1 0 896244598 15663104 972 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 972 1111 63 0 3761 0
vsize: 15296
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1184 0 0 0 1994 3 0 0 25 0 1 0 896244598 16236544 1104 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1104 1111 63 0 3901 0
vsize: 15856
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1315 0 0 0 2994 3 0 0 25 0 1 0 896244598 16687104 1235 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1235 1111 63 0 4011 0
vsize: 16296
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1459 0 0 0 3994 3 0 0 25 0 1 0 896244598 17272832 1379 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1379 1111 63 0 4154 0
vsize: 16868
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1607 0 0 0 4994 4 0 0 25 0 1 0 896244598 17846272 1527 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1527 1111 63 0 4294 0
vsize: 17428
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1753 0 0 0 5993 5 0 0 25 0 1 0 896244598 18444288 1673 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 1673 1111 63 0 4440 0
vsize: 18012
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 1900 0 0 0 6993 5 0 0 25 0 1 0 896244598 19046400 1820 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 1820 1111 63 0 4587 0
vsize: 18600
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2053 0 0 0 7993 5 0 0 25 0 1 0 896244598 19795968 1973 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 1973 1111 63 0 4770 0
vsize: 19332
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2206 0 0 0 8993 5 0 0 25 0 1 0 896244598 20393984 2126 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2126 1111 63 0 4916 0
vsize: 19916
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2354 0 0 0 9993 5 0 0 25 0 1 0 896244598 20996096 2274 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2274 1111 63 0 5063 0
vsize: 20504
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2502 0 0 0 10993 6 0 0 25 0 1 0 896244598 21602304 2422 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 2422 1111 63 0 5211 0
vsize: 21096
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2656 0 0 0 11993 6 0 0 25 0 1 0 896244598 22200320 2576 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2576 1111 63 0 5357 0
vsize: 21680
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2803 0 0 0 12993 6 0 0 25 0 1 0 896244598 22802432 2723 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 2723 1111 63 0 5504 0
vsize: 22268
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 2964 0 0 0 13993 6 0 0 25 0 1 0 896244598 23543808 2884 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2884 1111 63 0 5685 0
vsize: 22992
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3112 0 0 0 14993 7 0 0 25 0 1 0 896244598 24145920 3032 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3032 1111 63 0 5832 0
vsize: 23580
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3264 0 0 0 15993 7 0 0 25 0 1 0 896244598 24743936 3184 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3184 1111 63 0 5978 0
vsize: 24164
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3421 0 0 0 16993 7 0 0 25 0 1 0 896244598 25350144 3341 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3341 1111 63 0 6126 0
vsize: 24756
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3570 0 0 0 17993 8 0 0 25 0 1 0 896244598 25952256 3490 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3490 1111 63 0 6273 0
vsize: 25344
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3729 0 0 0 18993 8 0 0 25 0 1 0 896244598 26550272 3649 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3649 1111 63 0 6419 0
vsize: 25928
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 3886 0 0 0 19993 8 0 0 25 0 1 0 896244598 27275264 3806 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3806 1111 63 0 6596 0
vsize: 26636
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4041 0 0 0 20993 8 0 0 25 0 1 0 896244598 27881472 3961 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 3961 1111 63 0 6744 0
vsize: 27228
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4194 0 0 0 21992 9 0 0 25 0 1 0 896244598 28475392 4114 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4114 1111 63 0 6889 0
vsize: 27808
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4351 0 0 0 22992 9 0 0 25 0 1 0 896244598 29081600 4271 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7100 4271 1111 63 0 7037 0
vsize: 28400
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4512 0 0 0 23992 9 0 0 25 0 1 0 896244598 29835264 4432 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 4432 1111 63 0 7221 0
vsize: 29136
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4673 0 0 0 24992 10 0 0 25 0 1 0 896244598 30433280 4593 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4594 1111 63 0 7367 0
vsize: 29720
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4821 0 0 0 25992 10 0 0 25 0 1 0 896244598 31039488 4741 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4741 1111 63 0 7515 0
vsize: 30312
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 4993 0 0 0 26992 10 0 0 25 0 1 0 896244598 31825920 4913 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 4913 1111 63 0 7707 0
vsize: 31080
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5154 0 0 0 27992 11 0 0 25 0 1 0 896244598 32432128 5074 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 5074 1111 63 0 7855 0
vsize: 31672
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5309 0 0 0 28992 11 0 0 25 0 1 0 896244598 33181696 5229 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5229 1111 63 0 8038 0
vsize: 32404
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5465 0 0 0 29992 11 0 0 25 0 1 0 896244598 33783808 5385 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5385 1111 63 0 8185 0
vsize: 32992
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5627 0 0 0 30992 11 0 0 25 0 1 0 896244598 34390016 5547 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 5547 1111 63 0 8333 0
vsize: 33584
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5790 0 0 0 31992 11 0 0 25 0 1 0 896244598 35139584 5710 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 5710 1111 63 0 8516 0
vsize: 34316
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 5952 0 0 0 32991 12 0 0 25 0 1 0 896244598 35737600 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5872 1111 63 0 8662 0
vsize: 34900
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6114 0 0 0 33991 12 0 0 25 0 1 0 896244598 36343808 6034 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6034 1111 63 0 8810 0
vsize: 35492
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6276 0 0 0 34991 12 0 0 25 0 1 0 896244598 37097472 6196 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9057 6196 1111 63 0 8994 0
vsize: 36228
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6445 0 0 0 35991 12 0 0 25 0 1 0 896244598 37695488 6365 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6365 1111 63 0 9140 0
vsize: 36812
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6607 0 0 0 36991 13 0 0 25 0 1 0 896244598 38445056 6527 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 6527 1111 63 0 9323 0
vsize: 37544
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6776 0 0 0 37991 13 0 0 25 0 1 0 896244598 39051264 6696 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 6696 1111 63 0 9471 0
vsize: 38136
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 6941 0 0 0 38991 13 0 0 25 0 1 0 896244598 39804928 6861 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6861 1111 63 0 9655 0
vsize: 38872
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7102 0 0 0 39991 13 0 0 25 0 1 0 896244598 40402944 7022 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 7022 1111 63 0 9801 0
vsize: 39456
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7271 0 0 0 40991 14 0 0 25 0 1 0 896244598 41156608 7191 4294967295 134512640 134716908 3221224576 3221222908 1077399585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7191 1111 63 0 9985 0
vsize: 40192
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7442 0 0 0 41991 14 0 0 25 0 1 0 896244598 41758720 7362 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7362 1111 63 0 10132 0
vsize: 40780
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7612 0 0 0 42991 14 0 0 25 0 1 0 896244598 42491904 7532 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7532 1111 63 0 10311 0
vsize: 41496
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7781 0 0 0 43991 14 0 0 25 0 1 0 896244598 43233280 7701 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 7701 1111 63 0 10492 0
vsize: 42220
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 7951 0 0 0 44991 14 0 0 25 0 1 0 896244598 43835392 7871 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10702 7871 1111 63 0 10639 0
vsize: 42808
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 8121 0 0 0 45990 15 0 0 25 0 1 0 896244598 44589056 8041 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 8041 1111 63 0 10823 0
vsize: 43544
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 8297 0 0 0 46990 16 0 0 25 0 1 0 896244598 45342720 8217 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8217 1111 63 0 11007 0
vsize: 44280
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 8467 0 0 0 47990 16 0 0 25 0 1 0 896244598 45940736 8387 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8387 1111 63 0 11153 0
vsize: 44864
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 8636 0 0 0 48990 16 0 0 25 0 1 0 896244598 46694400 8556 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 8556 1111 63 0 11337 0
vsize: 45600
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 8840 0 0 0 49989 17 0 0 25 0 1 0 896244598 47710208 8760 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11648 8760 1111 63 0 11585 0
vsize: 46592
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9007 0 0 0 50989 17 0 0 25 0 1 0 896244598 48304128 8927 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11793 8927 1111 63 0 11730 0
vsize: 47172
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9183 0 0 0 51989 18 0 0 25 0 1 0 896244598 49029120 9103 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11970 9103 1111 63 0 11907 0
vsize: 47880
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9355 0 0 0 52989 18 0 0 25 0 1 0 896244598 49774592 9275 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 9275 1111 63 0 12089 0
vsize: 48608
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9524 0 0 0 53989 18 0 0 25 0 1 0 896244598 50376704 9444 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12299 9444 1111 63 0 12236 0
vsize: 49196
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9701 0 0 0 54988 19 0 0 25 0 1 0 896244598 51101696 9621 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12476 9621 1111 63 0 12413 0
vsize: 49904
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 9879 0 0 0 55988 20 0 0 25 0 1 0 896244598 51855360 9799 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12660 9799 1111 63 0 12597 0
vsize: 50640
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10062 0 0 0 56988 20 0 0 25 0 1 0 896244598 52609024 9982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 9982 1111 63 0 12781 0
vsize: 51376
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10241 0 0 0 57987 20 0 0 25 0 1 0 896244598 53358592 10161 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10161 1111 63 0 12964 0
vsize: 52108
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10424 0 0 0 58987 21 0 0 25 0 1 0 896244598 54108160 10344 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10344 1111 63 0 13147 0
vsize: 52840
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10601 0 0 0 59987 21 0 0 25 0 1 0 896244598 54865920 10521 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13395 10521 1111 63 0 13332 0
vsize: 53580
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10792 0 0 0 60987 22 0 0 25 0 1 0 896244598 55615488 10712 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13578 10712 1111 63 0 13515 0
vsize: 54312
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 10971 0 0 0 61987 22 0 0 25 0 1 0 896244598 56373248 10891 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13763 10891 1111 63 0 13700 0
vsize: 55052
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 11161 0 0 0 62987 22 0 0 25 0 1 0 896244598 57122816 11081 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13946 11081 1111 63 0 13883 0
vsize: 55784
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 11340 0 0 0 63986 23 0 0 25 0 1 0 896244598 57872384 11260 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14129 11260 1111 63 0 14066 0
vsize: 56516
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 11530 0 0 0 64986 23 0 0 25 0 1 0 896244598 58626048 11450 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14313 11450 1111 63 0 14250 0
vsize: 57252
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 11714 0 0 0 65986 23 0 0 25 0 1 0 896244598 59379712 11634 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14497 11634 1111 63 0 14434 0
vsize: 57988
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 11901 0 0 0 66986 24 0 0 25 0 1 0 896244598 60133376 11821 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14681 11821 1111 63 0 14618 0
vsize: 58724
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 12092 0 0 0 67986 24 0 0 25 0 1 0 896244598 60887040 12012 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14865 12012 1111 63 0 14802 0
vsize: 59460
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 12285 0 0 0 68986 24 0 0 25 0 1 0 896244598 61640704 12205 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15049 12205 1111 63 0 14986 0
vsize: 60196
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 12477 0 0 0 69985 25 0 0 25 0 1 0 896244598 62541824 12397 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 12397 1111 63 0 15206 0
vsize: 61076
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 12666 0 0 0 70985 25 0 0 25 0 1 0 896244598 63291392 12586 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 12586 1111 63 0 15389 0
vsize: 61808
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 12860 0 0 0 71985 26 0 0 25 0 1 0 896244598 64045056 12780 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 12780 1111 63 0 15573 0
vsize: 62544
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 13058 0 0 0 72985 26 0 0 25 0 1 0 896244598 64798720 12978 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 12978 1111 63 0 15757 0
vsize: 63280
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 13257 0 0 0 73984 27 0 0 25 0 1 0 896244598 65699840 13177 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16040 13177 1111 63 0 15977 0
vsize: 64160
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 13450 0 0 0 74984 27 0 0 25 0 1 0 896244598 66453504 13370 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 13370 1111 63 0 16161 0
vsize: 64896
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 13641 0 0 0 75984 27 0 0 25 0 1 0 896244598 67207168 13561 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16408 13561 1111 63 0 16345 0
vsize: 65632
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 13842 0 0 0 76983 28 0 0 25 0 1 0 896244598 68112384 13762 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16629 13762 1111 63 0 16566 0
vsize: 66516
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 14040 0 0 0 77983 28 0 0 25 0 1 0 896244598 68861952 13960 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 13960 1111 63 0 16749 0
vsize: 67248
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 14240 0 0 0 78983 29 0 0 25 0 1 0 896244598 69611520 14160 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16995 14160 1111 63 0 16932 0
vsize: 67980
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 14445 0 0 0 79983 29 0 0 25 0 1 0 896244598 70516736 14365 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17216 14365 1111 63 0 17153 0
vsize: 68864
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 14644 0 0 0 80983 29 0 0 25 0 1 0 896244598 71266304 14564 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17399 14564 1111 63 0 17336 0
vsize: 69596
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 14852 0 0 0 81983 30 0 0 25 0 1 0 896244598 72171520 14772 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17620 14772 1111 63 0 17557 0
vsize: 70480
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 15058 0 0 0 82982 30 0 0 25 0 1 0 896244598 73072640 14978 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17840 14978 1111 63 0 17777 0
vsize: 71360
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 15265 0 0 0 83982 30 0 0 25 0 1 0 896244598 73797632 15185 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18017 15185 1111 63 0 17954 0
vsize: 72068
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 15478 0 0 0 84982 31 0 0 25 0 1 0 896244598 74698752 15398 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15398 1111 63 0 18174 0
vsize: 72948
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 15691 0 0 0 85982 31 0 0 25 0 1 0 896244598 75603968 15611 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 15611 1111 63 0 18395 0
vsize: 73832
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 15899 0 0 0 86982 31 0 0 25 0 1 0 896244598 76505088 15819 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18678 15819 1111 63 0 18615 0
vsize: 74712
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 16113 0 0 0 87981 32 0 0 25 0 1 0 896244598 77262848 16033 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18863 16033 1111 63 0 18800 0
vsize: 75452
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 16326 0 0 0 88982 32 0 0 25 0 1 0 896244598 78163968 16246 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16246 1111 63 0 19020 0
vsize: 76332
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 16539 0 0 0 89981 33 0 0 25 0 1 0 896244598 79069184 16459 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 16463 1111 63 0 19241 0
vsize: 77216
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 16793 0 0 0 90981 33 0 0 25 0 1 0 896244598 80326656 16713 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19611 16713 1111 63 0 19548 0
vsize: 78444
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 17007 0 0 0 91980 34 0 0 25 0 1 0 896244598 81203200 16927 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19825 16927 1111 63 0 19762 0
vsize: 79300
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 17229 0 0 0 92980 34 0 0 25 0 1 0 896244598 82104320 17149 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 17149 1111 63 0 19982 0
vsize: 80180
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 17449 0 0 0 93980 35 0 0 25 0 1 0 896244598 83009536 17369 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 17369 1111 63 0 20203 0
vsize: 81064
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 17671 0 0 0 94979 35 0 0 25 0 1 0 896244598 83910656 17591 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20486 17591 1111 63 0 20423 0
vsize: 81944
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 17893 0 0 0 95979 36 0 0 25 0 1 0 896244598 84815872 17813 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20707 17813 1111 63 0 20644 0
vsize: 82828
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 18120 0 0 0 96979 37 0 0 25 0 1 0 896244598 85716992 18040 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20927 18040 1111 63 0 20864 0
vsize: 83708
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 18349 0 0 0 97978 37 0 0 25 0 1 0 896244598 86769664 18269 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21184 18269 1111 63 0 21121 0
vsize: 84736
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 18571 0 0 0 98978 37 0 0 25 0 1 0 896244598 87670784 18491 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21404 18491 1111 63 0 21341 0
vsize: 85616
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 18806 0 0 0 99978 37 0 0 25 0 1 0 896244598 88576000 18726 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21625 18726 1111 63 0 21562 0
vsize: 86500
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 19035 0 0 0 100978 38 0 0 25 0 1 0 896244598 89477120 18955 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21845 18955 1111 63 0 21782 0
vsize: 87380
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 19265 0 0 0 101978 39 0 0 25 0 1 0 896244598 90501120 19185 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22095 19185 1111 63 0 22032 0
vsize: 88380
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 19500 0 0 0 102977 39 0 0 25 0 1 0 896244598 91402240 19420 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22315 19420 1111 63 0 22252 0
vsize: 89260
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 19737 0 0 0 103977 39 0 0 25 0 1 0 896244598 92307456 19657 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22536 19657 1111 63 0 22473 0
vsize: 90144
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 19972 0 0 0 104977 40 0 0 25 0 1 0 896244598 93360128 19892 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22793 19892 1111 63 0 22730 0
vsize: 91172
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 20216 0 0 0 105977 40 0 0 25 0 1 0 896244598 94261248 20136 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23013 20136 1111 63 0 22950 0
vsize: 92052
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 20459 0 0 0 106976 41 0 0 25 0 1 0 896244598 95313920 20379 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23270 20379 1111 63 0 23207 0
vsize: 93080
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 20703 0 0 0 107976 41 0 0 25 0 1 0 896244598 96366592 20623 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23527 20623 1111 63 0 23464 0
vsize: 94108
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 20947 0 0 0 108976 41 0 0 25 0 1 0 896244598 97271808 20867 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23748 20867 1111 63 0 23685 0
vsize: 94992
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 21198 0 0 0 109976 42 0 0 25 0 1 0 896244598 98328576 21118 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24006 21118 1111 63 0 23943 0
vsize: 96024
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 21448 0 0 0 110975 42 0 0 25 0 1 0 896244598 99381248 21368 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24263 21368 1111 63 0 24200 0
vsize: 97052
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 21706 0 0 0 111975 43 0 0 25 0 1 0 896244598 100433920 21626 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24520 21626 1111 63 0 24457 0
vsize: 98080
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 21956 0 0 0 112975 43 0 0 25 0 1 0 896244598 101486592 21876 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24777 21876 1111 63 0 24714 0
vsize: 99108
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 22214 0 0 0 113975 44 0 0 25 0 1 0 896244598 102539264 22134 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25034 22134 1111 63 0 24971 0
vsize: 100136
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 22471 0 0 0 114974 44 0 0 25 0 1 0 896244598 103591936 22391 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25291 22391 1111 63 0 25228 0
vsize: 101164
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 22733 0 0 0 115974 44 0 0 25 0 1 0 896244598 104648704 22653 4294967295 134512640 134716908 3221224576 3221221236 1077358145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25549 22653 1111 63 0 25486 0
vsize: 102196
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 22997 0 0 0 116974 45 0 0 25 0 1 0 896244598 105705472 22917 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25807 22917 1111 63 0 25744 0
vsize: 103228
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 23270 0 0 0 117973 45 0 0 25 0 1 0 896244598 106754048 23190 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26063 23190 1111 63 0 26000 0
vsize: 104252
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 23541 0 0 0 118973 46 0 0 25 0 1 0 896244598 107958272 23461 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26357 23461 1111 63 0 26294 0
vsize: 105428
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) R 8794 7266 7265 0 -1 0 23821 0 0 0 119972 47 0 0 25 0 1 0 896244598 109010944 23741 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26614 23741 1111 63 0 26551 0
vsize: 106456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8795
Raw data (stat): 8795 (bsolo_lpr-v2) Z 8794 7266 7265 0 -1 1036 23821 0 0 0 119972 51 0 0 25 0 1 0 896244598 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.06
CPU time (s): 1200.25
CPU user time (s): 1199.73
CPU system time (s): 0.517921
CPU usage (%): 100.015
Max. virtual memory (Kb): 106456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####