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/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39503

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 10:47:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27569 boxname=wulflinc1 idbench=127 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc1/normalized-f1000.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-f1000.opb
IDLAUNCH: 27569
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        291164 kB
Buffers:         34596 kB
Cached:         683564 kB
SwapCached:        668 kB
Active:          71520 kB
Inactive:       648892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        290912 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17312 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:07:10 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 27569 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2000 variables and 5250 constraints.
c After prepocess the problem consists of 2000 variables and 5250 constraints.
c preprocess terminated 1.165 s
c Initial Lower Bound: 666
c Lower Bound Elapsed time: 51.545
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/55 4913
Raw data (stat): 4913 (runsolver) R 4912 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 835532189 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2644 0 0 0 992 5 0 0 25 0 1 0 835532189 13426688 2324 4294967295 134512640 134716908 3221224592 3221221040 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2324 1111 63 0 3215 0
vsize: 13112
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2660 0 0 0 1992 6 0 0 25 0 1 0 835532189 13426688 2340 4294967295 134512640 134716908 3221224592 3221220372 1074786507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2340 1111 63 0 3215 0
vsize: 13112
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2667 0 0 0 2992 6 0 0 25 0 1 0 835532189 13426688 2347 4294967295 134512640 134716908 3221224592 3221220464 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2347 1111 63 0 3215 0
vsize: 13112
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2675 0 0 0 3992 6 0 0 25 0 1 0 835532189 13426688 2355 4294967295 134512640 134716908 3221224592 3221220704 1074815234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2355 1111 63 0 3215 0
vsize: 13112
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2728 0 0 0 4992 6 0 0 25 0 1 0 835532189 13574144 2408 4294967295 134512640 134716908 3221224592 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2408 1111 63 0 3251 0
vsize: 13256
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2782 0 0 0 5992 6 0 0 25 0 1 0 835532189 13733888 2462 4294967295 134512640 134716908 3221224592 3221220360 1074787052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2462 1111 63 0 3290 0
vsize: 13412
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2842 0 0 0 6992 7 0 0 25 0 1 0 835532189 13914112 2522 4294967295 134512640 134716908 3221224592 3221220596 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2522 1111 63 0 3334 0
vsize: 13588
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2877 0 0 0 7992 7 0 0 25 0 1 0 835532189 14000128 2557 4294967295 134512640 134716908 3221224592 3221221040 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 2557 1111 63 0 3355 0
vsize: 13672
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2910 0 0 0 8992 7 0 0 25 0 1 0 835532189 14110720 2590 4294967295 134512640 134716908 3221224592 3221221024 1075397206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3445 2590 1111 63 0 3382 0
vsize: 13780
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2939 0 0 0 9992 7 0 0 25 0 1 0 835532189 14209024 2619 4294967295 134512640 134716908 3221224592 3221220328 1074789281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2619 1111 63 0 3406 0
vsize: 13876
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 2947 0 0 0 10992 7 0 0 25 0 1 0 835532189 14209024 2627 4294967295 134512640 134716908 3221224592 3221220640 1074970259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2627 1111 63 0 3406 0
vsize: 13876
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3040 0 0 0 11992 7 0 0 25 0 1 0 835532189 14438400 2720 4294967295 134512640 134716908 3221224592 3221220768 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2720 1111 63 0 3462 0
vsize: 14100
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3086 0 0 0 12992 8 0 0 25 0 1 0 835532189 14557184 2766 4294967295 134512640 134716908 3221224592 3221220560 1074881420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2766 1111 63 0 3491 0
vsize: 14216
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3089 0 0 0 13992 8 0 0 25 0 1 0 835532189 14557184 2769 4294967295 134512640 134716908 3221224592 3221220428 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2769 1111 63 0 3491 0
vsize: 14216
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3089 0 0 0 14992 8 0 0 25 0 1 0 835532189 14557184 2769 4294967295 134512640 134716908 3221224592 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2769 1111 63 0 3491 0
vsize: 14216
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3098 0 0 0 15992 8 0 0 25 0 1 0 835532189 14692352 2778 4294967295 134512640 134716908 3221224592 3221221088 1074886139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3587 2778 1111 63 0 3524 0
vsize: 14348
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3138 0 0 0 16992 8 0 0 25 0 1 0 835532189 14819328 2818 4294967295 134512640 134716908 3221224592 3221220400 1074786854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2818 1111 63 0 3555 0
vsize: 14472
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3139 0 0 0 17992 8 0 0 25 0 1 0 835532189 14819328 2819 4294967295 134512640 134716908 3221224592 3221220460 1074788195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3139 0 0 0 18993 8 0 0 25 0 1 0 835532189 14819328 2819 4294967295 134512640 134716908 3221224592 3221220360 1074787115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 3139 0 0 0 19993 8 0 0 25 0 1 0 835532189 14819328 2819 4294967295 134512640 134716908 3221224592 3221220724 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 8258 0 0 0 20981 20 0 0 25 0 1 0 835532189 11120640 2016 4294967295 134512640 134716908 3221224592 3221223216 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2016 1111 63 0 2652 0
vsize: 10860
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 8346 0 0 0 21980 21 0 0 25 0 1 0 835532189 11522048 2104 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 2104 1111 63 0 2750 0
vsize: 11252
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 8546 0 0 0 22978 22 0 0 25 0 1 0 835532189 12328960 2304 4294967295 134512640 134716908 3221224592 3221223100 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2304 1111 63 0 2947 0
vsize: 12040
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 8736 0 0 0 23978 24 0 0 25 0 1 0 835532189 13139968 2494 4294967295 134512640 134716908 3221224592 3221223232 134543118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2494 1111 63 0 3145 0
vsize: 12832
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 8887 0 0 0 24977 24 0 0 25 0 1 0 835532189 13811712 2645 4294967295 134512640 134716908 3221224592 3221223264 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2645 1111 63 0 3309 0
vsize: 13488
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 9071 0 0 0 25976 26 0 0 25 0 1 0 835532189 14487552 2829 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2829 1111 63 0 3474 0
vsize: 14148
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 9344 0 0 0 26975 27 0 0 25 0 1 0 835532189 15568896 3102 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3801 3102 1111 63 0 3738 0
vsize: 15204
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 9560 0 0 0 27974 28 0 0 25 0 1 0 835532189 16515072 3318 4294967295 134512640 134716908 3221224592 3221223216 134698391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 3318 1111 63 0 3969 0
vsize: 16128
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 9746 0 0 0 28973 29 0 0 25 0 1 0 835532189 17326080 3504 4294967295 134512640 134716908 3221224592 3221223232 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3504 1111 63 0 4167 0
vsize: 16920
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 9944 0 0 0 29973 30 0 0 25 0 1 0 835532189 18128896 3702 4294967295 134512640 134716908 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4426 3702 1111 63 0 4363 0
vsize: 17704
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10110 0 0 0 30972 31 0 0 25 0 1 0 835532189 18804736 3868 4294967295 134512640 134716908 3221224592 3221223388 134554894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3868 1111 63 0 4528 0
vsize: 18364
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10247 0 0 0 31972 31 0 0 25 0 1 0 835532189 19345408 4005 4294967295 134512640 134716908 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4005 1111 63 0 4660 0
vsize: 18892
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10339 0 0 0 32970 33 0 0 25 0 1 0 835532189 19755008 4097 4294967295 134512640 134716908 3221224592 3221223232 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 4097 1111 63 0 4760 0
vsize: 19292
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10419 0 0 0 33970 33 0 0 25 0 1 0 835532189 20025344 4177 4294967295 134512640 134716908 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4889 4177 1111 63 0 4826 0
vsize: 19556
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10487 0 0 0 34970 33 0 0 25 0 1 0 835532189 20287488 4245 4294967295 134512640 134716908 3221224592 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4245 1111 63 0 4890 0
vsize: 19812
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10573 0 0 0 35970 34 0 0 25 0 1 0 835532189 20688896 4331 4294967295 134512640 134716908 3221224592 3221223160 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5051 4331 1111 63 0 4988 0
vsize: 20204
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10740 0 0 0 36969 35 0 0 25 0 1 0 835532189 21364736 4498 4294967295 134512640 134716908 3221224592 3221223232 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4498 1111 63 0 5153 0
vsize: 20864
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 10927 0 0 0 37969 35 0 0 25 0 1 0 835532189 22175744 4685 4294967295 134512640 134716908 3221224592 3221223232 134543113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5414 4685 1111 63 0 5351 0
vsize: 21656
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11090 0 0 0 38968 36 0 0 25 0 1 0 835532189 22851584 4848 4294967295 134512640 134716908 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5579 4848 1111 63 0 5516 0
vsize: 22316
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11281 0 0 0 39967 38 0 0 25 0 1 0 835532189 23527424 5039 4294967295 134512640 134716908 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5744 5039 1111 63 0 5681 0
vsize: 22976
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11446 0 0 0 40966 38 0 0 25 0 1 0 835532189 24203264 5204 4294967295 134512640 134716908 3221224592 3221223280 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 5204 1111 63 0 5846 0
vsize: 23636
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11595 0 0 0 41966 39 0 0 25 0 1 0 835532189 24879104 5353 4294967295 134512640 134716908 3221224592 3221223136 134698788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 5353 1111 63 0 6011 0
vsize: 24296
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11694 0 0 0 42965 40 0 0 25 0 1 0 835532189 25276416 5452 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 5452 1111 63 0 6108 0
vsize: 24684
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11774 0 0 0 43965 40 0 0 25 0 1 0 835532189 25542656 5532 4294967295 134512640 134716908 3221224592 3221223184 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5532 1111 63 0 6173 0
vsize: 24944
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11841 0 0 0 44965 41 0 0 25 0 1 0 835532189 25812992 5599 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6302 5599 1111 63 0 6239 0
vsize: 25208
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11929 0 0 0 45965 41 0 0 25 0 1 0 835532189 26218496 5687 4294967295 134512640 134716908 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6401 5687 1111 63 0 6338 0
vsize: 25604
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 11984 0 0 0 46964 42 0 0 25 0 1 0 835532189 26480640 5742 4294967295 134512640 134716908 3221224592 3221223168 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5742 1111 63 0 6402 0
vsize: 25860
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12048 0 0 0 47963 43 0 0 25 0 1 0 835532189 26750976 5806 4294967295 134512640 134716908 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6531 5806 1111 63 0 6468 0
vsize: 26124
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12113 0 0 0 48963 43 0 0 25 0 1 0 835532189 27021312 5871 4294967295 134512640 134716908 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6597 5871 1111 63 0 6534 0
vsize: 26388
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12266 0 0 0 49963 44 0 0 25 0 1 0 835532189 27557888 6024 4294967295 134512640 134716908 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6728 6024 1111 63 0 6665 0
vsize: 26912
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12423 0 0 0 50962 45 0 0 25 0 1 0 835532189 28233728 6181 4294967295 134512640 134716908 3221224592 3221223360 134584894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6893 6181 1111 63 0 6830 0
vsize: 27572
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12575 0 0 0 51961 45 0 0 25 0 1 0 835532189 28909568 6333 4294967295 134512640 134716908 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7058 6333 1111 63 0 6995 0
vsize: 28232
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12701 0 0 0 52960 46 0 0 25 0 1 0 835532189 29450240 6459 4294967295 134512640 134716908 3221224592 3221223224 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7190 6459 1111 63 0 7127 0
vsize: 28760
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12819 0 0 0 53960 47 0 0 25 0 1 0 835532189 29855744 6577 4294967295 134512640 134716908 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7289 6577 1111 63 0 7226 0
vsize: 29156
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 12920 0 0 0 54960 47 0 0 25 0 1 0 835532189 30261248 6678 4294967295 134512640 134716908 3221224592 3221223360 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 6678 1111 63 0 7325 0
vsize: 29552
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13001 0 0 0 55959 48 0 0 25 0 1 0 835532189 30662656 6759 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 6759 1111 63 0 7423 0
vsize: 29944
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13170 0 0 0 56959 48 0 0 25 0 1 0 835532189 31338496 6928 4294967295 134512640 134716908 3221224592 3221223160 1077378425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7651 6928 1111 63 0 7588 0
vsize: 30604
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13311 0 0 0 57958 49 0 0 25 0 1 0 835532189 31879168 7069 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7783 7069 1111 63 0 7720 0
vsize: 31132
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13434 0 0 0 58958 50 0 0 25 0 1 0 835532189 32419840 7192 4294967295 134512640 134716908 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 7192 1111 63 0 7852 0
vsize: 31660
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13561 0 0 0 59958 50 0 0 25 0 1 0 835532189 32960512 7319 4294967295 134512640 134716908 3221224592 3221223376 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8047 7319 1111 63 0 7984 0
vsize: 32188
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13635 0 0 0 60958 51 0 0 25 0 1 0 835532189 33230848 7393 4294967295 134512640 134716908 3221224592 3221223256 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8113 7393 1111 63 0 8050 0
vsize: 32452
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13712 0 0 0 61957 51 0 0 25 0 1 0 835532189 33497088 7470 4294967295 134512640 134716908 3221224592 3221223296 134528623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8178 7470 1111 63 0 8115 0
vsize: 32712
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13752 0 0 0 62957 51 0 0 25 0 1 0 835532189 33632256 7510 4294967295 134512640 134716908 3221224592 3221223160 1077377159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 7510 1111 63 0 8148 0
vsize: 32844
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13839 0 0 0 63957 52 0 0 25 0 1 0 835532189 34045952 7597 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8312 7597 1111 63 0 8249 0
vsize: 33248
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 13963 0 0 0 64957 53 0 0 25 0 1 0 835532189 34586624 7721 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8444 7721 1111 63 0 8381 0
vsize: 33776
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14053 0 0 0 65957 53 0 0 25 0 1 0 835532189 34992128 7811 4294967295 134512640 134716908 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8543 7811 1111 63 0 8480 0
vsize: 34172
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14157 0 0 0 66957 54 0 0 25 0 1 0 835532189 35393536 7915 4294967295 134512640 134716908 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8641 7915 1111 63 0 8578 0
vsize: 34564
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14255 0 0 0 67956 55 0 0 25 0 1 0 835532189 35799040 8013 4294967295 134512640 134716908 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8740 8013 1111 63 0 8677 0
vsize: 34960
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14329 0 0 0 68956 56 0 0 25 0 1 0 835532189 36069376 8087 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8806 8087 1111 63 0 8743 0
vsize: 35224
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14394 0 0 0 69955 56 0 0 25 0 1 0 835532189 36339712 8152 4294967295 134512640 134716908 3221224592 3221223168 134542692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8872 8152 1111 63 0 8809 0
vsize: 35488
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14456 0 0 0 70955 57 0 0 25 0 1 0 835532189 36605952 8214 4294967295 134512640 134716908 3221224592 3221223340 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8937 8214 1111 63 0 8874 0
vsize: 35748
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14563 0 0 0 71955 57 0 0 25 0 1 0 835532189 37011456 8321 4294967295 134512640 134716908 3221224592 3221223376 134529291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 8321 1111 63 0 8973 0
vsize: 36144
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14657 0 0 0 72954 58 0 0 25 0 1 0 835532189 37412864 8415 4294967295 134512640 134716908 3221224592 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9134 8415 1111 63 0 9071 0
vsize: 36536
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4913
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14773 0 0 0 73954 58 0 0 25 0 1 0 835532189 37818368 8531 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 8531 1111 63 0 9170 0
vsize: 36932
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14855 0 0 0 74954 59 0 0 25 0 1 0 835532189 38219776 8613 4294967295 134512640 134716908 3221224592 3221223140 134699091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9331 8613 1111 63 0 9268 0
vsize: 37324
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14927 0 0 0 75953 59 0 0 25 0 1 0 835532189 38490112 8685 4294967295 134512640 134716908 3221224592 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9397 8685 1111 63 0 9334 0
vsize: 37588
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 14988 0 0 0 76952 60 0 0 25 0 1 0 835532189 38760448 8746 4294967295 134512640 134716908 3221224592 3221223152 134699105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 8746 1111 63 0 9400 0
vsize: 37852
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15032 0 0 0 77952 60 0 0 25 0 1 0 835532189 38883328 8790 4294967295 134512640 134716908 3221224592 3221222904 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9493 8790 1111 63 0 9430 0
vsize: 37972
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15076 0 0 0 78952 60 0 0 25 0 1 0 835532189 39145472 8834 4294967295 134512640 134716908 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9557 8834 1111 63 0 9494 0
vsize: 38228
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4966
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15112 0 0 0 79951 61 0 0 25 0 1 0 835532189 39276544 8870 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9589 8870 1111 63 0 9526 0
vsize: 38356
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4968
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15151 0 0 0 80950 63 0 0 25 0 1 0 835532189 39411712 8909 4294967295 134512640 134716908 3221224592 3221223232 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9622 8909 1111 63 0 9559 0
vsize: 38488
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15236 0 0 0 81949 64 0 0 25 0 1 0 835532189 39817216 8994 4294967295 134512640 134716908 3221224592 3221223412 134590265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9721 8994 1111 63 0 9658 0
vsize: 38884
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15345 0 0 0 82949 64 0 0 25 0 1 0 835532189 40222720 9103 4294967295 134512640 134716908 3221224592 3221222996 134699729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9820 9103 1111 63 0 9757 0
vsize: 39280
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15420 0 0 0 83949 64 0 0 25 0 1 0 835532189 40493056 9178 4294967295 134512640 134716908 3221224592 3221223144 134698829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9886 9178 1111 63 0 9823 0
vsize: 39544
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15507 0 0 0 84948 65 0 0 25 0 1 0 835532189 40898560 9265 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9985 9265 1111 63 0 9922 0
vsize: 39940
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15564 0 0 0 85948 65 0 0 25 0 1 0 835532189 41168896 9322 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 9322 1111 63 0 9988 0
vsize: 40204
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15677 0 0 0 86948 66 0 0 25 0 1 0 835532189 41574400 9435 4294967295 134512640 134716908 3221224592 3221223088 134699785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10150 9435 1111 63 0 10087 0
vsize: 40600
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15789 0 0 0 87947 67 0 0 25 0 1 0 835532189 41979904 9547 4294967295 134512640 134716908 3221224592 3221223152 134698914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10249 9547 1111 63 0 10186 0
vsize: 40996
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15891 0 0 0 88947 67 0 0 25 0 1 0 835532189 42520576 9649 4294967295 134512640 134716908 3221224592 3221223296 134528592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10381 9649 1111 63 0 10318 0
vsize: 41524
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 15979 0 0 0 89947 67 0 0 25 0 1 0 835532189 42790912 9737 4294967295 134512640 134716908 3221224592 3221223248 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10447 9737 1111 63 0 10384 0
vsize: 41788
[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16055 0 0 0 90947 68 0 0 25 0 1 0 835532189 43196416 9813 4294967295 134512640 134716908 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10546 9813 1111 63 0 10483 0
vsize: 42184
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16131 0 0 0 91946 68 0 0 25 0 1 0 835532189 43466752 9889 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10612 9889 1111 63 0 10549 0
vsize: 42448
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16187 0 0 0 92946 69 0 0 25 0 1 0 835532189 43737088 9945 4294967295 134512640 134716908 3221224592 3221223304 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10678 9945 1111 63 0 10615 0
vsize: 42712
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16261 0 0 0 93946 69 0 0 25 0 1 0 835532189 44007424 10019 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10744 10019 1111 63 0 10681 0
vsize: 42976
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16357 0 0 0 94945 70 0 0 25 0 1 0 835532189 44408832 10115 4294967295 134512640 134716908 3221224592 3221223360 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10842 10115 1111 63 0 10779 0
vsize: 43368
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16433 0 0 0 95945 70 0 0 25 0 1 0 835532189 44679168 10191 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10908 10191 1111 63 0 10845 0
vsize: 43632
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16595 0 0 0 96944 72 0 0 25 0 1 0 835532189 45355008 10353 4294967295 134512640 134716908 3221224592 3221223348 134655231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11073 10353 1111 63 0 11010 0
vsize: 44292
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16764 0 0 0 97943 72 0 0 25 0 1 0 835532189 46026752 10522 4294967295 134512640 134716908 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11237 10522 1111 63 0 11174 0
vsize: 44948
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 16925 0 0 0 98943 73 0 0 25 0 1 0 835532189 46702592 10683 4294967295 134512640 134716908 3221224592 3221223160 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11402 10683 1111 63 0 11339 0
vsize: 45608
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17062 0 0 0 99942 73 0 0 25 0 1 0 835532189 47230976 10820 4294967295 134512640 134716908 3221224592 3221223232 134698316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11531 10820 1111 63 0 11468 0
vsize: 46124
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17184 0 0 0 100942 74 0 0 25 0 1 0 835532189 47771648 10942 4294967295 134512640 134716908 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11663 10942 1111 63 0 11600 0
vsize: 46652
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17312 0 0 0 101941 75 0 0 25 0 1 0 835532189 48312320 11070 4294967295 134512640 134716908 3221224592 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11795 11070 1111 63 0 11732 0
vsize: 47180
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17436 0 0 0 102940 76 0 0 25 0 1 0 835532189 48852992 11194 4294967295 134512640 134716908 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 11194 1111 63 0 11864 0
vsize: 47708
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17550 0 0 0 103939 77 0 0 25 0 1 0 835532189 49254400 11308 4294967295 134512640 134716908 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12025 11308 1111 63 0 11962 0
vsize: 48100
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17659 0 0 0 104939 78 0 0 25 0 1 0 835532189 49659904 11417 4294967295 134512640 134716908 3221224592 3221223384 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12124 11417 1111 63 0 12061 0
vsize: 48496
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17724 0 0 0 105939 78 0 0 25 0 1 0 835532189 49930240 11482 4294967295 134512640 134716908 3221224592 3221223088 134535394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12190 11482 1111 63 0 12127 0
vsize: 48760
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17779 0 0 0 106938 79 0 0 25 0 1 0 835532189 50200576 11537 4294967295 134512640 134716908 3221224592 3221223224 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12256 11537 1111 63 0 12193 0
vsize: 49024
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17868 0 0 0 107938 79 0 0 25 0 1 0 835532189 50606080 11626 4294967295 134512640 134716908 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12355 11626 1111 63 0 12292 0
vsize: 49420
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4970
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17921 0 0 0 108938 80 0 0 25 0 1 0 835532189 50741248 11679 4294967295 134512640 134716908 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12388 11679 1111 63 0 12325 0
vsize: 49552
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 17983 0 0 0 109937 80 0 0 25 0 1 0 835532189 51011584 11741 4294967295 134512640 134716908 3221224592 3221223232 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12454 11741 1111 63 0 12391 0
vsize: 49816
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18103 0 0 0 110937 81 0 0 25 0 1 0 835532189 51552256 11861 4294967295 134512640 134716908 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12586 11861 1111 63 0 12523 0
vsize: 50344
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18256 0 0 0 111936 82 0 0 25 0 1 0 835532189 52228096 12014 4294967295 134512640 134716908 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12751 12014 1111 63 0 12688 0
vsize: 51004
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18397 0 0 0 112935 83 0 0 25 0 1 0 835532189 52768768 12155 4294967295 134512640 134716908 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12883 12155 1111 63 0 12820 0
vsize: 51532
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18554 0 0 0 113934 84 0 0 25 0 1 0 835532189 53440512 12312 4294967295 134512640 134716908 3221224592 3221223244 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13047 12312 1111 63 0 12984 0
vsize: 52188
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18678 0 0 0 114934 85 0 0 25 0 1 0 835532189 53846016 12436 4294967295 134512640 134716908 3221224592 3221223148 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13146 12436 1111 63 0 13083 0
vsize: 52584
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18802 0 0 0 115933 85 0 0 25 0 1 0 835532189 54386688 12560 4294967295 134512640 134716908 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13278 12560 1111 63 0 13215 0
vsize: 53112
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18914 0 0 0 116932 86 0 0 25 0 1 0 835532189 54923264 12672 4294967295 134512640 134716908 3221224592 3221223336 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13409 12672 1111 63 0 13346 0
vsize: 53636
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4972
Raw data (stat): 4913 (bsolo_lpr-v2) R 4912 8378 8377 0 -1 0 18914 0 0 0 116932 86 0 0 25 0 1 0 835532189 54923264 12672 4294967295 134512640 134716908 3221224592 3221223336 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13409 12672 1111 63 0 13346 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.09
CPU user time (s): 1174.19
CPU system time (s): 0.898863
CPU usage (%): 100.013
Max. virtual memory (Kb): 53636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####