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/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
MD5SUM	6a0000bd3257094a387dbf208b4df8cf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.073987
Number of variables	2400
Total number of constraints	140
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	40
Trace number 39389

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 07:33:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27455 boxname=wulflinc2 idbench=13 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6a0000bd3257094a387dbf208b4df8cf  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl30_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl30_40_pb.cnf.cr.opb
IDLAUNCH: 27455
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        271040 kB
Buffers:         34008 kB
Cached:         705620 kB
SwapCached:       1164 kB
Active:          21580 kB
Inactive:       720480 kB
HighTotal:      131008 kB
HighFree:        17388 kB
LowTotal:       903652 kB
LowFree:        253652 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15816 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:53:20 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27455 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2400 variables and 140 constraints.
c After prepocess the problem consists of 2400 variables and 140 constraints.
c preprocess terminated 0.877 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.99 0.97 0.69 1/54 21594
Raw data (stat): 21594 (runsolver) R 21593 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891229518 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+9.99943 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1493 0 0 0 993 5 0 0 25 0 1 0 891229518 9293824 1411 4294967295 134512640 134716908 3221224576 3221223124 134699049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 1411 1111 63 0 2206 0
vsize: 9076
[startup+20.0001 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1604 0 0 0 1991 7 0 0 25 0 1 0 891229518 9699328 1522 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1522 1111 63 0 2305 0
vsize: 9472
[startup+29.9998 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1690 0 0 0 2989 9 0 0 25 0 1 0 891229518 10084352 1608 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2462 1608 1111 63 0 2399 0
vsize: 9848
[startup+39.9995 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1822 0 0 0 3987 11 0 0 25 0 1 0 891229518 10616832 1740 4294967295 134512640 134716908 3221224576 3221223124 134699093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2592 1740 1111 63 0 2529 0
vsize: 10368
[startup+49.9992 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1885 0 0 0 4986 13 0 0 25 0 1 0 891229518 10874880 1803 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2655 1803 1111 63 0 2592 0
vsize: 10620
[startup+59.9989 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1904 0 0 0 5984 14 0 0 25 0 1 0 891229518 11001856 1822 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1822 1111 63 0 2623 0
vsize: 10744
[startup+69.9996 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1916 0 0 0 6983 16 0 0 25 0 1 0 891229518 11001856 1834 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1834 1111 63 0 2623 0
vsize: 10744
[startup+79.9993 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1937 0 0 0 7980 18 0 0 25 0 1 0 891229518 11132928 1855 4294967295 134512640 134716908 3221224576 3221223236 134524380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1855 1111 63 0 2655 0
vsize: 10872
[startup+89.9989 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1954 0 0 0 8979 20 0 0 25 0 1 0 891229518 11132928 1872 4294967295 134512640 134716908 3221224576 3221223216 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1872 1111 63 0 2655 0
vsize: 10872
[startup+99.9987 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 1983 0 0 0 9977 22 0 0 25 0 1 0 891229518 11264000 1901 4294967295 134512640 134716908 3221224576 3221222972 1077379860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2750 1901 1111 63 0 2687 0
vsize: 11000
[startup+109.998 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2041 0 0 0 10975 24 0 0 25 0 1 0 891229518 11534336 1959 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2816 1959 1111 63 0 2753 0
vsize: 11264
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2149 0 0 0 11973 26 0 0 25 0 1 0 891229518 11939840 2067 4294967295 134512640 134716908 3221224576 3221223328 134592391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2067 1111 63 0 2852 0
vsize: 11660
[startup+129.998 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2213 0 0 0 12972 28 0 0 25 0 1 0 891229518 12210176 2131 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2981 2131 1111 63 0 2918 0
vsize: 11924
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.73 3/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2236 0 0 0 13971 29 0 0 25 0 1 0 891229518 12345344 2154 4294967295 134512640 134716908 3221224576 3221223216 134698416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 2154 1111 63 0 2951 0
vsize: 12056
[startup+149.998 s]
Raw data (loadavg): 0.99 0.97 0.73 3/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2249 0 0 0 14969 31 0 0 25 0 1 0 891229518 12345344 2167 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 2167 1111 63 0 2951 0
vsize: 12056
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.73 3/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2259 0 0 0 15968 33 0 0 25 0 1 0 891229518 12345344 2177 4294967295 134512640 134716908 3221224576 3221223152 134549718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 2177 1111 63 0 2951 0
vsize: 12056
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.74 3/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2290 0 0 0 16966 34 0 0 25 0 1 0 891229518 12472320 2208 4294967295 134512640 134716908 3221224576 3221223328 134534146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2208 1111 63 0 2982 0
vsize: 12180
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.74 3/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2296 0 0 0 17965 36 0 0 25 0 1 0 891229518 12607488 2214 4294967295 134512640 134716908 3221224576 3221223072 1077377147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3078 2214 1111 63 0 3015 0
vsize: 12312
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2341 0 0 0 18962 38 0 0 25 0 1 0 891229518 12742656 2259 4294967295 134512640 134716908 3221224576 3221223184 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2259 1111 63 0 3048 0
vsize: 12444
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2389 0 0 0 19961 40 0 0 25 0 1 0 891229518 12877824 2307 4294967295 134512640 134716908 3221224576 3221223216 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2307 1111 63 0 3081 0
vsize: 12576
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2425 0 0 0 20959 42 0 0 25 0 1 0 891229518 13148160 2343 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2343 1111 63 0 3147 0
vsize: 12840
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2425 0 0 0 21958 44 0 0 25 0 1 0 891229518 13148160 2343 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2343 1111 63 0 3147 0
vsize: 12840
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2472 0 0 0 22956 46 0 0 25 0 1 0 891229518 13283328 2390 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2390 1111 63 0 3180 0
vsize: 12972
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2518 0 0 0 23954 48 0 0 25 0 1 0 891229518 13418496 2436 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3276 2436 1111 63 0 3213 0
vsize: 13104
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2555 0 0 0 24953 49 0 0 25 0 1 0 891229518 13680640 2473 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3340 2473 1111 63 0 3277 0
vsize: 13360
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2576 0 0 0 25950 52 0 0 25 0 1 0 891229518 13680640 2494 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3340 2494 1111 63 0 3277 0
vsize: 13360
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2587 0 0 0 26949 54 0 0 25 0 1 0 891229518 13815808 2505 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2505 1111 63 0 3310 0
vsize: 13492
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2603 0 0 0 27947 55 0 0 25 0 1 0 891229518 13815808 2521 4294967295 134512640 134716908 3221224576 3221222980 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2521 1111 63 0 3310 0
vsize: 13492
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2612 0 0 0 28946 57 0 0 25 0 1 0 891229518 13815808 2530 4294967295 134512640 134716908 3221224576 3221223196 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2530 1111 63 0 3310 0
vsize: 13492
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2621 0 0 0 29945 58 0 0 25 0 1 0 891229518 13950976 2539 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2539 1111 63 0 3343 0
vsize: 13624
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2684 0 0 0 30944 59 0 0 25 0 1 0 891229518 14086144 2602 4294967295 134512640 134716908 3221224576 3221222420 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2602 1111 63 0 3376 0
vsize: 13756
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2735 0 0 0 31943 61 0 0 25 0 1 0 891229518 14356480 2653 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2653 1111 63 0 3442 0
vsize: 14020
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2751 0 0 0 32942 62 0 0 25 0 1 0 891229518 14491648 2669 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2669 1111 63 0 3475 0
vsize: 14152
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2767 0 0 0 33940 63 0 0 25 0 1 0 891229518 14483456 2685 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2685 1111 63 0 3473 0
vsize: 14144
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2769 0 0 0 34939 65 0 0 25 0 1 0 891229518 14483456 2687 4294967295 134512640 134716908 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2687 1111 63 0 3473 0
vsize: 14144
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2785 0 0 0 35937 67 0 0 25 0 1 0 891229518 14618624 2703 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2703 1111 63 0 3506 0
vsize: 14276
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2807 0 0 0 36936 68 0 0 25 0 1 0 891229518 14618624 2725 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2725 1111 63 0 3506 0
vsize: 14276
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2817 0 0 0 37935 70 0 0 25 0 1 0 891229518 14753792 2735 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2735 1111 63 0 3539 0
vsize: 14408
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2825 0 0 0 38934 71 0 0 25 0 1 0 891229518 14753792 2743 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2743 1111 63 0 3539 0
vsize: 14408
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2860 0 0 0 39932 73 0 0 25 0 1 0 891229518 14868480 2778 4294967295 134512640 134716908 3221224576 3221223200 134698633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3630 2778 1111 63 0 3567 0
vsize: 14520
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2900 0 0 0 40930 75 0 0 25 0 1 0 891229518 15003648 2818 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3663 2818 1111 63 0 3600 0
vsize: 14652
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2937 0 0 0 41928 77 0 0 25 0 1 0 891229518 15138816 2855 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3696 2855 1111 63 0 3633 0
vsize: 14784
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2971 0 0 0 42927 79 0 0 25 0 1 0 891229518 15273984 2889 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2889 1111 63 0 3666 0
vsize: 14916
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 2983 0 0 0 43926 80 0 0 25 0 1 0 891229518 15405056 2901 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3761 2901 1111 63 0 3698 0
vsize: 15044
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3038 0 0 0 44924 82 0 0 25 0 1 0 891229518 15540224 2956 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3794 2956 1111 63 0 3731 0
vsize: 15176
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3048 0 0 0 45923 83 0 0 25 0 1 0 891229518 15675392 2966 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2966 1111 63 0 3764 0
vsize: 15308
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3060 0 0 0 46923 84 0 0 25 0 1 0 891229518 15675392 2978 4294967295 134512640 134716908 3221224576 3221222880 134699864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2978 1111 63 0 3764 0
vsize: 15308
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3062 0 0 0 47922 85 0 0 25 0 1 0 891229518 15675392 2980 4294967295 134512640 134716908 3221224576 3221223288 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2980 1111 63 0 3764 0
vsize: 15308
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3067 0 0 0 48920 87 0 0 25 0 1 0 891229518 15675392 2985 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2985 1111 63 0 3764 0
vsize: 15308
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3070 0 0 0 49919 88 0 0 25 0 1 0 891229518 15675392 2988 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2988 1111 63 0 3764 0
vsize: 15308
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3090 0 0 0 50918 89 0 0 25 0 1 0 891229518 15810560 3008 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 3008 1111 63 0 3797 0
vsize: 15440
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3095 0 0 0 51917 90 0 0 25 0 1 0 891229518 15810560 3013 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 3013 1111 63 0 3797 0
vsize: 15440
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3118 0 0 0 52915 92 0 0 25 0 1 0 891229518 15945728 3036 4294967295 134512640 134716908 3221224576 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3036 1111 63 0 3830 0
vsize: 15572
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3136 0 0 0 53914 94 0 0 25 0 1 0 891229518 15945728 3054 4294967295 134512640 134716908 3221224576 3221223296 1076647545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3054 1111 63 0 3830 0
vsize: 15572
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3150 0 0 0 54913 95 0 0 25 0 1 0 891229518 16080896 3068 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 3068 1111 63 0 3863 0
vsize: 15704
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3202 0 0 0 55911 97 0 0 25 0 1 0 891229518 16216064 3120 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3959 3120 1111 63 0 3896 0
vsize: 15836
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3253 0 0 0 56910 99 0 0 25 0 1 0 891229518 16486400 3171 4294967295 134512640 134716908 3221224576 3221223132 134535976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4025 3171 1111 63 0 3962 0
vsize: 16100
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3277 0 0 0 57909 100 0 0 25 0 1 0 891229518 16621568 3195 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 3195 1111 63 0 3995 0
vsize: 16232
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3279 0 0 0 58907 102 0 0 25 0 1 0 891229518 16621568 3197 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 3197 1111 63 0 3995 0
vsize: 16232
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3291 0 0 0 59906 103 0 0 25 0 1 0 891229518 16621568 3209 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 3209 1111 63 0 3995 0
vsize: 16232
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3317 0 0 0 60905 104 0 0 25 0 1 0 891229518 16756736 3235 4294967295 134512640 134716908 3221224576 3221223104 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4091 3235 1111 63 0 4028 0
vsize: 16364
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3326 0 0 0 61903 107 0 0 25 0 1 0 891229518 16756736 3244 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4091 3244 1111 63 0 4028 0
vsize: 16364
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3345 0 0 0 62902 108 0 0 25 0 1 0 891229518 16891904 3263 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4124 3263 1111 63 0 4061 0
vsize: 16496
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3363 0 0 0 63900 110 0 0 25 0 1 0 891229518 16891904 3281 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4124 3281 1111 63 0 4061 0
vsize: 16496
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3393 0 0 0 64900 111 0 0 25 0 1 0 891229518 17022976 3311 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4156 3311 1111 63 0 4093 0
vsize: 16624
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3417 0 0 0 65898 112 0 0 25 0 1 0 891229518 17158144 3335 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3335 1111 63 0 4126 0
vsize: 16756
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3438 0 0 0 66898 113 0 0 25 0 1 0 891229518 17293312 3356 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3356 1111 63 0 4159 0
vsize: 16888
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3438 0 0 0 67897 114 0 0 25 0 1 0 891229518 17293312 3356 4294967295 134512640 134716908 3221224576 3221223228 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3356 1111 63 0 4159 0
vsize: 16888
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3451 0 0 0 68896 115 0 0 25 0 1 0 891229518 17293312 3369 4294967295 134512640 134716908 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3451 0 0 0 69894 117 0 0 25 0 1 0 891229518 17293312 3369 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3451 0 0 0 70893 118 0 0 25 0 1 0 891229518 17293312 3369 4294967295 134512640 134716908 3221224576 3221223144 134535987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3453 0 0 0 71892 120 0 0 25 0 1 0 891229518 17293312 3371 4294967295 134512640 134716908 3221224576 3221223216 134524203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3371 1111 63 0 4159 0
vsize: 16888
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3460 0 0 0 72891 121 0 0 25 0 1 0 891229518 17293312 3378 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3378 1111 63 0 4159 0
vsize: 16888
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3525 0 0 0 73888 124 0 0 25 0 1 0 891229518 17559552 3443 4294967295 134512640 134716908 3221224576 3221223124 134699091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3443 1111 63 0 4224 0
vsize: 17148
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3560 0 0 0 74887 125 0 0 25 0 1 0 891229518 17690624 3478 4294967295 134512640 134716908 3221224576 3221223248 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4319 3478 1111 63 0 4256 0
vsize: 17276
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3566 0 0 0 75885 127 0 0 25 0 1 0 891229518 17825792 3484 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3484 1111 63 0 4289 0
vsize: 17408
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3569 0 0 0 76885 128 0 0 25 0 1 0 891229518 17825792 3487 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3487 1111 63 0 4289 0
vsize: 17408
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3570 0 0 0 77884 128 0 0 25 0 1 0 891229518 17825792 3488 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3488 1111 63 0 4289 0
vsize: 17408
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3576 0 0 0 78883 130 0 0 25 0 1 0 891229518 17825792 3494 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3494 1111 63 0 4289 0
vsize: 17408
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3589 0 0 0 79883 130 0 0 25 0 1 0 891229518 17825792 3507 4294967295 134512640 134716908 3221224576 3221223228 134536787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3507 1111 63 0 4289 0
vsize: 17408
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3608 0 0 0 80882 131 0 0 25 0 1 0 891229518 17956864 3526 4294967295 134512640 134716908 3221224576 3221223332 134592437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4384 3526 1111 63 0 4321 0
vsize: 17536
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3645 0 0 0 81881 133 0 0 25 0 1 0 891229518 18092032 3563 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3563 1111 63 0 4354 0
vsize: 17668
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3655 0 0 0 82879 135 0 0 25 0 1 0 891229518 18092032 3573 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3573 1111 63 0 4354 0
vsize: 17668
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3669 0 0 0 83878 136 0 0 25 0 1 0 891229518 18214912 3587 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3587 1111 63 0 4384 0
vsize: 17788
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3712 0 0 0 84877 137 0 0 25 0 1 0 891229518 18350080 3630 4294967295 134512640 134716908 3221224576 3221223312 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4480 3630 1111 63 0 4417 0
vsize: 17920
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3767 0 0 0 85876 138 0 0 25 0 1 0 891229518 18620416 3685 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4546 3685 1111 63 0 4483 0
vsize: 18184
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3797 0 0 0 86875 139 0 0 25 0 1 0 891229518 18755584 3715 4294967295 134512640 134716908 3221224576 3221223344 134592328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4579 3715 1111 63 0 4516 0
vsize: 18316
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3837 0 0 0 87874 141 0 0 25 0 1 0 891229518 18890752 3755 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4612 3755 1111 63 0 4549 0
vsize: 18448
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3849 0 0 0 88873 142 0 0 25 0 1 0 891229518 18890752 3767 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4612 3767 1111 63 0 4549 0
vsize: 18448
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3860 0 0 0 89871 144 0 0 25 0 1 0 891229518 19013632 3778 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 3778 1111 63 0 4579 0
vsize: 18568
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3874 0 0 0 90870 145 0 0 25 0 1 0 891229518 19013632 3792 4294967295 134512640 134716908 3221224576 3221223332 134592387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 3792 1111 63 0 4579 0
vsize: 18568
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3920 0 0 0 91869 146 0 0 25 0 1 0 891229518 19279872 3838 4294967295 134512640 134716908 3221224576 3221223144 134523391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4707 3838 1111 63 0 4644 0
vsize: 18828
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 3957 0 0 0 92868 147 0 0 25 0 1 0 891229518 19415040 3875 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3875 1111 63 0 4677 0
vsize: 18960
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4001 0 0 0 93867 149 0 0 25 0 1 0 891229518 19525632 3919 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 3919 1111 63 0 4704 0
vsize: 19068
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4074 0 0 0 94866 151 0 0 25 0 1 0 891229518 19787776 3992 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4831 3992 1111 63 0 4768 0
vsize: 19324
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4107 0 0 0 95865 151 0 0 25 0 1 0 891229518 19922944 4025 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 4025 1111 63 0 4801 0
vsize: 19456
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4115 0 0 0 96864 152 0 0 25 0 1 0 891229518 20058112 4033 4294967295 134512640 134716908 3221224576 3221222988 1077379860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4897 4033 1111 63 0 4834 0
vsize: 19588
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4127 0 0 0 97863 154 0 0 25 0 1 0 891229518 20058112 4045 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4897 4045 1111 63 0 4834 0
vsize: 19588
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4141 0 0 0 98862 155 0 0 25 0 1 0 891229518 20058112 4059 4294967295 134512640 134716908 3221224576 3221222904 134699836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4897 4059 1111 63 0 4834 0
vsize: 19588
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4151 0 0 0 99862 156 0 0 25 0 1 0 891229518 20193280 4069 4294967295 134512640 134716908 3221224576 3221223240 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4930 4069 1111 63 0 4867 0
vsize: 19720
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4168 0 0 0 100861 157 0 0 25 0 1 0 891229518 20193280 4086 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4930 4086 1111 63 0 4867 0
vsize: 19720
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4173 0 0 0 101859 159 0 0 25 0 1 0 891229518 20193280 4091 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4930 4091 1111 63 0 4867 0
vsize: 19720
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4185 0 0 0 102858 160 0 0 25 0 1 0 891229518 20324352 4103 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4185 0 0 0 103857 161 0 0 25 0 1 0 891229518 20324352 4103 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4185 0 0 0 104855 164 0 0 25 0 1 0 891229518 20324352 4103 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4185 0 0 0 105856 165 0 0 25 0 1 0 891229518 20324352 4103 4294967295 134512640 134716908 3221224576 3221223136 134698912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4188 0 0 0 106857 166 0 0 25 0 1 0 891229518 20324352 4106 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4106 1111 63 0 4899 0
vsize: 19848
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4201 0 0 0 107855 168 0 0 25 0 1 0 891229518 20324352 4119 4294967295 134512640 134716908 3221224576 3221223168 134549588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4119 1111 63 0 4899 0
vsize: 19848
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4221 0 0 0 108853 170 0 0 25 0 1 0 891229518 20455424 4139 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4139 1111 63 0 4931 0
vsize: 19976
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4221 0 0 0 109852 171 0 0 25 0 1 0 891229518 20455424 4139 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4139 1111 63 0 4931 0
vsize: 19976
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4223 0 0 0 110851 172 0 0 25 0 1 0 891229518 20455424 4141 4294967295 134512640 134716908 3221224576 3221223264 134528605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4141 1111 63 0 4931 0
vsize: 19976
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4223 0 0 0 111850 174 0 0 25 0 1 0 891229518 20455424 4141 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4141 1111 63 0 4931 0
vsize: 19976
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4224 0 0 0 112848 175 0 0 25 0 1 0 891229518 20455424 4142 4294967295 134512640 134716908 3221224576 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4142 1111 63 0 4931 0
vsize: 19976
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4233 0 0 0 113847 177 0 0 25 0 1 0 891229518 20455424 4151 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4994 4151 1111 63 0 4931 0
vsize: 19976
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4240 0 0 0 114846 179 0 0 25 0 1 0 891229518 20590592 4158 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5027 4158 1111 63 0 4964 0
vsize: 20108
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4247 0 0 0 115843 181 0 0 25 0 1 0 891229518 20590592 4165 4294967295 134512640 134716908 3221224576 3221223140 134535492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5027 4165 1111 63 0 4964 0
vsize: 20108
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4260 0 0 0 116842 182 0 0 25 0 1 0 891229518 20590592 4178 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5027 4178 1111 63 0 4964 0
vsize: 20108
[startup+1174.83 s]
Raw data (loadavg): 0.99 0.97 0.88 1/53 21594
Raw data (stat): 21594 (bsolo_lpr-v2) R 21593 31399 31398 0 -1 0 4260 0 0 0 116842 182 0 0 25 0 1 0 891229518 20590592 4178 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5027 4178 1111 63 0 4964 0
vsize: 0

Child status: 0
Real time (s): 1174.83
CPU time (s): 1175.02
CPU user time (s): 1173.18
CPU system time (s): 1.83872
CPU usage (%): 100.016
Max. virtual memory (Kb): 20108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####