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-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
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	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 39810

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 20:48:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27866 boxname=wulflinc5 idbench=822 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 27866
/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:        835260 kB
Buffers:         33904 kB
Cached:         140252 kB
SwapCached:        604 kB
Active:          67248 kB
Inactive:       109012 kB
HighTotal:      131008 kB
HighFree:        45332 kB
LowTotal:       903652 kB
LowFree:        789928 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            17264 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:08:14 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27866 7 1200.26 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.93 0.95 0.90 2/54 8368
Raw data (stat): 8368 (runsolver) R 8367 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895993148 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.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1394 0 0 0 992 6 0 0 25 0 1 0 895993148 15511552 1314 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1314 1111 63 0 3724 0
vsize: 15148
[startup+20.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1490 0 0 0 1990 7 0 0 25 0 1 0 895993148 15806464 1410 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1410 1111 63 0 3796 0
vsize: 15436
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1578 0 0 0 2990 8 0 0 25 0 1 0 895993148 16232448 1498 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1498 1111 63 0 3900 0
vsize: 15852
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1678 0 0 0 3990 8 0 0 25 0 1 0 895993148 16678912 1598 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1598 1111 63 0 4009 0
vsize: 16288
[startup+50.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1768 0 0 0 4990 9 0 0 25 0 1 0 895993148 16982016 1688 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1688 1111 63 0 4083 0
vsize: 16584
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1865 0 0 0 5989 9 0 0 25 0 1 0 895993148 17412096 1785 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1785 1111 63 0 4188 0
vsize: 17004
[startup+70.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 1961 0 0 0 6989 9 0 0 25 0 1 0 895993148 17862656 1881 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1881 1111 63 0 4298 0
vsize: 17444
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2049 0 0 0 7989 9 0 0 25 0 1 0 895993148 18161664 1969 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1969 1111 63 0 4371 0
vsize: 17736
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2151 0 0 0 8989 10 0 0 25 0 1 0 895993148 18616320 2071 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 2071 1111 63 0 4482 0
vsize: 18180
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2239 0 0 0 9989 10 0 0 25 0 1 0 895993148 18915328 2159 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4618 2159 1111 63 0 4555 0
vsize: 18472
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2345 0 0 0 10989 10 0 0 25 0 1 0 895993148 19353600 2265 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4725 2265 1111 63 0 4662 0
vsize: 18900
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2436 0 0 0 11990 10 0 0 25 0 1 0 895993148 19804160 2356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4835 2356 1111 63 0 4772 0
vsize: 19340
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2536 0 0 0 12990 10 0 0 25 0 1 0 895993148 20103168 2456 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2456 1111 63 0 4845 0
vsize: 19632
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2626 0 0 0 13990 10 0 0 25 0 1 0 895993148 20557824 2546 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2546 1111 63 0 4956 0
vsize: 20076
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2721 0 0 0 14990 10 0 0 25 0 1 0 895993148 20856832 2641 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2641 1111 63 0 5029 0
vsize: 20368
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2817 0 0 0 15990 10 0 0 25 0 1 0 895993148 21299200 2737 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2737 1111 63 0 5137 0
vsize: 20800
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 2911 0 0 0 16990 10 0 0 25 0 1 0 895993148 21725184 2831 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2831 1111 63 0 5241 0
vsize: 21216
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3006 0 0 0 17990 10 0 0 25 0 1 0 895993148 22020096 2926 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5376 2926 1111 63 0 5313 0
vsize: 21504
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3102 0 0 0 18990 11 0 0 25 0 1 0 895993148 22474752 3022 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 3022 1111 63 0 5424 0
vsize: 21948
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3196 0 0 0 19990 11 0 0 25 0 1 0 895993148 22921216 3116 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5596 3116 1111 63 0 5533 0
vsize: 22384
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3299 0 0 0 20991 11 0 0 25 0 1 0 895993148 23367680 3219 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 3219 1111 63 0 5642 0
vsize: 22820
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3393 0 0 0 21991 11 0 0 25 0 1 0 895993148 23662592 3313 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3313 1111 63 0 5714 0
vsize: 23108
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3495 0 0 0 22991 11 0 0 25 0 1 0 895993148 24113152 3415 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3415 1111 63 0 5824 0
vsize: 23548
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3585 0 0 0 23991 11 0 0 25 0 1 0 895993148 24408064 3505 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3505 1111 63 0 5896 0
vsize: 23836
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3686 0 0 0 24991 11 0 0 25 0 1 0 895993148 24858624 3606 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 3606 1111 63 0 6006 0
vsize: 24276
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3777 0 0 0 25991 12 0 0 25 0 1 0 895993148 25309184 3697 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6179 3697 1111 63 0 6116 0
vsize: 24716
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3877 0 0 0 26991 12 0 0 25 0 1 0 895993148 25608192 3797 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6252 3797 1111 63 0 6189 0
vsize: 25008
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 3973 0 0 0 27991 12 0 0 25 0 1 0 895993148 26062848 3893 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 3893 1111 63 0 6300 0
vsize: 25452
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4068 0 0 0 28992 12 0 0 25 0 1 0 895993148 26505216 3988 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6471 3988 1111 63 0 6408 0
vsize: 25884
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4165 0 0 0 29992 12 0 0 25 0 1 0 895993148 26804224 4085 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 4085 1111 63 0 6481 0
vsize: 26176
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4261 0 0 0 30991 12 0 0 25 0 1 0 895993148 27258880 4181 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4181 1111 63 0 6592 0
vsize: 26620
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4355 0 0 0 31991 13 0 0 25 0 1 0 895993148 27557888 4275 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6728 4275 1111 63 0 6665 0
vsize: 26912
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4451 0 0 0 32991 13 0 0 25 0 1 0 895993148 28008448 4371 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4371 1111 63 0 6775 0
vsize: 27352
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4546 0 0 0 33991 13 0 0 25 0 1 0 895993148 28454912 4466 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6947 4466 1111 63 0 6884 0
vsize: 27788
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4643 0 0 0 34991 14 0 0 25 0 1 0 895993148 28737536 4563 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 4563 1111 63 0 6953 0
vsize: 28064
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4744 0 0 0 35991 14 0 0 25 0 1 0 895993148 29175808 4664 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4664 1111 63 0 7060 0
vsize: 28492
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4840 0 0 0 36991 14 0 0 25 0 1 0 895993148 29626368 4760 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4760 1111 63 0 7170 0
vsize: 28932
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 4935 0 0 0 37991 14 0 0 25 0 1 0 895993148 29925376 4855 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4855 1111 63 0 7243 0
vsize: 29224
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5031 0 0 0 38991 15 0 0 25 0 1 0 895993148 30375936 4951 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4951 1111 63 0 7353 0
vsize: 29664
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5126 0 0 0 39991 15 0 0 25 0 1 0 895993148 30826496 5046 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5046 1111 63 0 7463 0
vsize: 30104
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5226 0 0 0 40991 15 0 0 25 0 1 0 895993148 31121408 5146 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7598 5146 1111 63 0 7535 0
vsize: 30392
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5328 0 0 0 41991 15 0 0 25 0 1 0 895993148 31612928 5248 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7718 5248 1111 63 0 7655 0
vsize: 30872
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5429 0 0 0 42991 15 0 0 25 0 1 0 895993148 32059392 5349 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5349 1111 63 0 7764 0
vsize: 31308
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5526 0 0 0 43991 16 0 0 25 0 1 0 895993148 32514048 5446 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5446 1111 63 0 7875 0
vsize: 31752
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5621 0 0 0 44991 16 0 0 25 0 1 0 895993148 32813056 5541 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5541 1111 63 0 7948 0
vsize: 32044
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5723 0 0 0 45991 16 0 0 25 0 1 0 895993148 33263616 5643 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5643 1111 63 0 8058 0
vsize: 32484
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5813 0 0 0 46991 16 0 0 25 0 1 0 895993148 33558528 5733 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5733 1111 63 0 8130 0
vsize: 32772
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 5914 0 0 0 47991 16 0 0 25 0 1 0 895993148 34009088 5834 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5834 1111 63 0 8240 0
vsize: 33212
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6011 0 0 0 48991 16 0 0 25 0 1 0 895993148 34459648 5931 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5931 1111 63 0 8350 0
vsize: 33652
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6106 0 0 0 49991 17 0 0 25 0 1 0 895993148 34758656 6026 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 6026 1111 63 0 8423 0
vsize: 33944
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6208 0 0 0 50991 17 0 0 25 0 1 0 895993148 35213312 6128 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6128 1111 63 0 8534 0
vsize: 34388
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6304 0 0 0 51991 17 0 0 25 0 1 0 895993148 35655680 6224 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6224 1111 63 0 8642 0
vsize: 34820
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6401 0 0 0 52991 17 0 0 25 0 1 0 895993148 35958784 6321 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6321 1111 63 0 8716 0
vsize: 35116
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6502 0 0 0 53991 17 0 0 25 0 1 0 895993148 36409344 6422 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6422 1111 63 0 8826 0
vsize: 35556
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6599 0 0 0 54991 18 0 0 25 0 1 0 895993148 36859904 6519 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6519 1111 63 0 8936 0
vsize: 35996
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6694 0 0 0 55991 18 0 0 25 0 1 0 895993148 37158912 6614 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9072 6614 1111 63 0 9009 0
vsize: 36288
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6796 0 0 0 56991 18 0 0 25 0 1 0 895993148 37605376 6716 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9181 6716 1111 63 0 9118 0
vsize: 36724
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6886 0 0 0 57991 18 0 0 25 0 1 0 895993148 38055936 6806 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6806 1111 63 0 9228 0
vsize: 37164
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 6988 0 0 0 58991 19 0 0 25 0 1 0 895993148 38354944 6908 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6908 1111 63 0 9301 0
vsize: 37456
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7084 0 0 0 59991 19 0 0 25 0 1 0 895993148 38809600 7004 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 7004 1111 63 0 9412 0
vsize: 37900
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7179 0 0 0 60991 19 0 0 25 0 1 0 895993148 39256064 7099 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7099 1111 63 0 9521 0
vsize: 38336
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7283 0 0 0 61991 19 0 0 25 0 1 0 895993148 39559168 7203 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7203 1111 63 0 9595 0
vsize: 38632
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7384 0 0 0 62991 20 0 0 25 0 1 0 895993148 40005632 7304 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7304 1111 63 0 9704 0
vsize: 39068
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7481 0 0 0 63991 20 0 0 25 0 1 0 895993148 40456192 7401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7401 1111 63 0 9814 0
vsize: 39508
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7576 0 0 0 64991 20 0 0 25 0 1 0 895993148 40755200 7496 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7496 1111 63 0 9887 0
vsize: 39800
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7677 0 0 0 65991 20 0 0 25 0 1 0 895993148 41205760 7597 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7597 1111 63 0 9997 0
vsize: 40240
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7775 0 0 0 66991 20 0 0 25 0 1 0 895993148 41656320 7695 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7695 1111 63 0 10107 0
vsize: 40680
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7870 0 0 0 67991 21 0 0 25 0 1 0 895993148 41951232 7790 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7790 1111 63 0 10179 0
vsize: 40968
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 7972 0 0 0 68991 21 0 0 25 0 1 0 895993148 42405888 7892 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7892 1111 63 0 10290 0
vsize: 41412
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8068 0 0 0 69991 21 0 0 25 0 1 0 895993148 42852352 7988 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7988 1111 63 0 10399 0
vsize: 41848
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8368
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8165 0 0 0 70991 21 0 0 25 0 1 0 895993148 43151360 8085 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 8085 1111 63 0 10472 0
vsize: 42140
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8266 0 0 0 71988 24 0 0 25 0 1 0 895993148 43606016 8186 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8186 1111 63 0 10583 0
vsize: 42584
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8368 0 0 0 72988 24 0 0 25 0 1 0 895993148 44048384 8288 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8288 1111 63 0 10691 0
vsize: 43016
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8463 0 0 0 73988 25 0 0 25 0 1 0 895993148 44470272 8383 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8383 1111 63 0 10794 0
vsize: 43428
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8560 0 0 0 74988 25 0 0 25 0 1 0 895993148 44769280 8480 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8480 1111 63 0 10867 0
vsize: 43720
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8662 0 0 0 75988 25 0 0 25 0 1 0 895993148 45223936 8582 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8582 1111 63 0 10978 0
vsize: 44164
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8757 0 0 0 76988 25 0 0 25 0 1 0 895993148 45670400 8677 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8677 1111 63 0 11087 0
vsize: 44600
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8421
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8860 0 0 0 77988 25 0 0 25 0 1 0 895993148 46125056 8780 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8780 1111 63 0 11198 0
vsize: 45044
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 8955 0 0 0 78988 26 0 0 25 0 1 0 895993148 46419968 8875 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8875 1111 63 0 11270 0
vsize: 45332
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9058 0 0 0 79988 26 0 0 25 0 1 0 895993148 46874624 8978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8978 1111 63 0 11381 0
vsize: 45776
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9187 0 0 0 80987 26 0 0 25 0 1 0 895993148 47579136 9107 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9107 1111 63 0 11553 0
vsize: 46464
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9275 0 0 0 81988 26 0 0 25 0 1 0 895993148 47853568 9195 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 9195 1111 63 0 11620 0
vsize: 46732
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9371 0 0 0 82988 26 0 0 25 0 1 0 895993148 48291840 9291 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11790 9291 1111 63 0 11727 0
vsize: 47160
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9472 0 0 0 83987 27 0 0 25 0 1 0 895993148 48738304 9392 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11899 9392 1111 63 0 11836 0
vsize: 47596
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9574 0 0 0 84987 27 0 0 25 0 1 0 895993148 49041408 9494 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9494 1111 63 0 11910 0
vsize: 47892
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9671 0 0 0 85987 27 0 0 25 0 1 0 895993148 49491968 9591 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9591 1111 63 0 12020 0
vsize: 48332
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9768 0 0 0 86987 28 0 0 25 0 1 0 895993148 49942528 9688 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9688 1111 63 0 12130 0
vsize: 48772
[startup+880.045 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9870 0 0 0 87989 28 0 0 25 0 1 0 895993148 50241536 9790 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12266 9790 1111 63 0 12203 0
vsize: 49064
[startup+890.044 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 9972 0 0 0 88988 28 0 0 25 0 1 0 895993148 50671616 9892 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12371 9892 1111 63 0 12308 0
vsize: 49484
[startup+900.044 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10068 0 0 0 89988 28 0 0 25 0 1 0 895993148 51109888 9988 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12478 9988 1111 63 0 12415 0
vsize: 49912
[startup+910.045 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10171 0 0 0 90988 29 0 0 25 0 1 0 895993148 51560448 10091 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 10091 1111 63 0 12525 0
vsize: 50352
[startup+920.045 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10268 0 0 0 91988 29 0 0 25 0 1 0 895993148 51859456 10188 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10188 1111 63 0 12598 0
vsize: 50644
[startup+930.045 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10370 0 0 0 92988 29 0 0 25 0 1 0 895993148 52310016 10290 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10290 1111 63 0 12708 0
vsize: 51084
[startup+940.045 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10472 0 0 0 93989 29 0 0 25 0 1 0 895993148 52760576 10392 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10392 1111 63 0 12818 0
vsize: 51524
[startup+950.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10573 0 0 0 94988 29 0 0 25 0 1 0 895993148 53207040 10493 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10493 1111 63 0 12927 0
vsize: 51960
[startup+960.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10671 0 0 0 95988 30 0 0 25 0 1 0 895993148 53510144 10591 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10591 1111 63 0 13001 0
vsize: 52256
[startup+970.046 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10773 0 0 0 96988 30 0 0 25 0 1 0 895993148 53956608 10693 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13173 10693 1111 63 0 13110 0
vsize: 52692
[startup+980.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10870 0 0 0 97988 30 0 0 25 0 1 0 895993148 54411264 10790 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13284 10790 1111 63 0 13221 0
vsize: 53136
[startup+990.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 10971 0 0 0 98988 31 0 0 25 0 1 0 895993148 54857728 10891 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13393 10891 1111 63 0 13330 0
vsize: 53572
[startup+1000.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11074 0 0 0 99988 31 0 0 25 0 1 0 895993148 55160832 10994 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10994 1111 63 0 13404 0
vsize: 53868
[startup+1010.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11177 0 0 0 100988 31 0 0 25 0 1 0 895993148 55607296 11097 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 11097 1111 63 0 13513 0
vsize: 54304
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11275 0 0 0 101988 31 0 0 25 0 1 0 895993148 56057856 11195 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11195 1111 63 0 13623 0
vsize: 54744
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11376 0 0 0 102988 31 0 0 25 0 1 0 895993148 56508416 11296 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11296 1111 63 0 13733 0
vsize: 55184
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11473 0 0 0 103988 31 0 0 25 0 1 0 895993148 56803328 11393 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 11393 1111 63 0 13805 0
vsize: 55472
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11574 0 0 0 104988 31 0 0 25 0 1 0 895993148 57257984 11494 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13979 11494 1111 63 0 13916 0
vsize: 55916
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11677 0 0 0 105988 32 0 0 25 0 1 0 895993148 57704448 11597 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14088 11597 1111 63 0 14025 0
vsize: 56352
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8423
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11781 0 0 0 106988 32 0 0 25 0 1 0 895993148 58155008 11701 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 11701 1111 63 0 14135 0
vsize: 56792
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11882 0 0 0 107988 32 0 0 25 0 1 0 895993148 58454016 11802 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11802 1111 63 0 14208 0
vsize: 57084
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 11979 0 0 0 108988 32 0 0 25 0 1 0 895993148 58908672 11899 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11899 1111 63 0 14319 0
vsize: 57528
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12081 0 0 0 109988 33 0 0 25 0 1 0 895993148 59351040 12001 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 12001 1111 63 0 14427 0
vsize: 57960
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12185 0 0 0 110988 33 0 0 25 0 1 0 895993148 59805696 12105 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12105 1111 63 0 14538 0
vsize: 58404
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12281 0 0 0 111988 33 0 0 25 0 1 0 895993148 60104704 12201 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14674 12201 1111 63 0 14611 0
vsize: 58696
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12384 0 0 0 112988 33 0 0 25 0 1 0 895993148 60555264 12304 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14784 12304 1111 63 0 14721 0
vsize: 59136
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12486 0 0 0 113988 33 0 0 25 0 1 0 895993148 61005824 12406 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12406 1111 63 0 14831 0
vsize: 59576
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12589 0 0 0 114988 33 0 0 25 0 1 0 895993148 61456384 12509 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12509 1111 63 0 14941 0
vsize: 60016
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12690 0 0 0 115988 33 0 0 25 0 1 0 895993148 61755392 12610 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12610 1111 63 0 15014 0
vsize: 60308
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12793 0 0 0 116988 34 0 0 25 0 1 0 895993148 62201856 12713 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12713 1111 63 0 15123 0
vsize: 60744
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12896 0 0 0 117988 34 0 0 25 0 1 0 895993148 62652416 12816 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15296 12816 1111 63 0 15233 0
vsize: 61184
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 12998 0 0 0 118988 35 0 0 25 0 1 0 895993148 63102976 12918 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15406 12918 1111 63 0 15343 0
vsize: 61624
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) R 8367 7266 7265 0 -1 0 13096 0 0 0 119988 35 0 0 25 0 1 0 895993148 63406080 13016 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15480 13016 1111 63 0 15417 0
vsize: 61920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8425
Raw data (stat): 8368 (bsolo_lpr-v2) Z 8367 7266 7265 0 -1 1036 13096 0 0 0 119988 37 0 0 25 0 1 0 895993148 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.08
CPU time (s): 1200.26
CPU user time (s): 1199.88
CPU system time (s): 0.377942
CPU usage (%): 100.015
Max. virtual memory (Kb): 61920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####