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_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
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.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
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	35
Trace number 39388

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 07:32:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27454 boxname=wulflinc6 idbench=12 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 27454
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        255064 kB
Buffers:         33812 kB
Cached:         723104 kB
SwapCached:        536 kB
Active:          45708 kB
Inactive:       713196 kB
HighTotal:      131008 kB
HighFree:        14140 kB
LowTotal:       903652 kB
LowFree:        240924 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14988 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:51:53 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27454 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 2100 variables and 130 constraints.
c After prepocess the problem consists of 2100 variables and 130 constraints.
c preprocess terminated 0.702 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.91 0.95 0.68 2/54 11488
Raw data (stat): 11488 (runsolver) R 11487 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891216245 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.68 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1409 0 0 0 992 5 0 0 25 0 1 0 891216245 8929280 1327 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 1327 1111 63 0 2117 0
vsize: 8720
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.95 0.69 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1567 0 0 0 1990 8 0 0 25 0 1 0 891216245 9592832 1485 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1485 1111 63 0 2279 0
vsize: 9368
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.95 0.69 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1658 0 0 0 2989 10 0 0 25 0 1 0 891216245 9998336 1576 4294967295 134512640 134716908 3221224576 3221223200 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2441 1576 1111 63 0 2378 0
vsize: 9764
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.95 0.69 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1704 0 0 0 3986 12 0 0 25 0 1 0 891216245 10133504 1622 4294967295 134512640 134716908 3221224576 3221223332 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 1622 1111 63 0 2411 0
vsize: 9896
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1732 0 0 0 4985 14 0 0 25 0 1 0 891216245 10268672 1650 4294967295 134512640 134716908 3221224576 3221223184 134549485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1650 1111 63 0 2444 0
vsize: 10028
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.70 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1754 0 0 0 5983 16 0 0 25 0 1 0 891216245 10268672 1672 4294967295 134512640 134716908 3221224576 3221223216 134698459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1672 1111 63 0 2444 0
vsize: 10028
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.96 0.70 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1788 0 0 0 6982 18 0 0 25 0 1 0 891216245 10530816 1706 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1706 1111 63 0 2508 0
vsize: 10284
[startup+80.0108 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1800 0 0 0 7981 19 0 0 25 0 1 0 891216245 10530816 1718 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1718 1111 63 0 2508 0
vsize: 10284
[startup+90.011 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1824 0 0 0 8980 21 0 0 25 0 1 0 891216245 10665984 1742 4294967295 134512640 134716908 3221224576 3221223344 134592113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1742 1111 63 0 2541 0
vsize: 10416
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 1835 0 0 0 9978 23 0 0 25 0 1 0 891216245 10665984 1753 4294967295 134512640 134716908 3221224576 3221223360 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1753 1111 63 0 2541 0
vsize: 10416
[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2035 0 0 0 10976 26 0 0 25 0 1 0 891216245 11472896 1953 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1953 1111 63 0 2738 0
vsize: 11204
[startup+120.013 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2138 0 0 0 11975 27 0 0 25 0 1 0 891216245 11874304 2056 4294967295 134512640 134716908 3221224576 3221223068 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2899 2056 1111 63 0 2836 0
vsize: 11596
[startup+130.013 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2274 0 0 0 12974 28 0 0 25 0 1 0 891216245 12414976 2192 4294967295 134512640 134716908 3221224576 3221223072 134699621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2192 1111 63 0 2968 0
vsize: 12124
[startup+140.014 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2430 0 0 0 13972 30 0 0 25 0 1 0 891216245 13090816 2348 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3196 2348 1111 63 0 3133 0
vsize: 12784
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2542 0 0 0 14971 32 0 0 25 0 1 0 891216245 13496320 2460 4294967295 134512640 134716908 3221224576 3221223536 134575946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3295 2460 1111 63 0 3232 0
vsize: 13180
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2582 0 0 0 15969 34 0 0 25 0 1 0 891216245 13758464 2500 4294967295 134512640 134716908 3221224576 3221223184 134548659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3359 2500 1111 63 0 3296 0
vsize: 13436
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2635 0 0 0 16968 35 0 0 25 0 1 0 891216245 13893632 2553 4294967295 134512640 134716908 3221224576 3221223136 134698945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3392 2553 1111 63 0 3329 0
vsize: 13568
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2678 0 0 0 17966 37 0 0 25 0 1 0 891216245 14163968 2596 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2596 1111 63 0 3395 0
vsize: 13832
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2720 0 0 0 18964 40 0 0 25 0 1 0 891216245 14299136 2638 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2638 1111 63 0 3428 0
vsize: 13964
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2746 0 0 0 19963 41 0 0 25 0 1 0 891216245 14434304 2664 4294967295 134512640 134716908 3221224576 3221223136 134698909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2664 1111 63 0 3461 0
vsize: 14096
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2774 0 0 0 20963 42 0 0 25 0 1 0 891216245 14569472 2692 4294967295 134512640 134716908 3221224576 3221223292 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2692 1111 63 0 3494 0
vsize: 14228
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2786 0 0 0 21961 44 0 0 25 0 1 0 891216245 14565376 2704 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3556 2704 1111 63 0 3493 0
vsize: 14224
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2835 0 0 0 22960 46 0 0 25 0 1 0 891216245 14700544 2753 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2753 1111 63 0 3526 0
vsize: 14356
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2888 0 0 0 23959 47 0 0 25 0 1 0 891216245 14970880 2806 4294967295 134512640 134716908 3221224576 3221223184 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2806 1111 63 0 3592 0
vsize: 14620
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2913 0 0 0 24958 49 0 0 25 0 1 0 891216245 15106048 2831 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3688 2831 1111 63 0 3625 0
vsize: 14752
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2967 0 0 0 25956 51 0 0 25 0 1 0 891216245 15241216 2885 4294967295 134512640 134716908 3221224576 3221223232 134536627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3721 2885 1111 63 0 3658 0
vsize: 14884
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 2988 0 0 0 26955 52 0 0 25 0 1 0 891216245 15376384 2906 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3754 2906 1111 63 0 3691 0
vsize: 15016
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3026 0 0 0 27955 53 0 0 25 0 1 0 891216245 15491072 2944 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3782 2944 1111 63 0 3719 0
vsize: 15128
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3054 0 0 0 28954 54 0 0 25 0 1 0 891216245 15626240 2972 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3815 2972 1111 63 0 3752 0
vsize: 15260
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3081 0 0 0 29953 55 0 0 25 0 1 0 891216245 15761408 2999 4294967295 134512640 134716908 3221224576 3221223232 134536753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2999 1111 63 0 3785 0
vsize: 15392
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3081 0 0 0 30953 56 0 0 25 0 1 0 891216245 15761408 2999 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2999 1111 63 0 3785 0
vsize: 15392
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3081 0 0 0 31952 57 0 0 25 0 1 0 891216245 15761408 2999 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2999 1111 63 0 3785 0
vsize: 15392
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3123 0 0 0 32951 59 0 0 25 0 1 0 891216245 15896576 3041 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3881 3041 1111 63 0 3818 0
vsize: 15524
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3145 0 0 0 33950 60 0 0 25 0 1 0 891216245 16023552 3063 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 3063 1111 63 0 3849 0
vsize: 15648
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3239 0 0 0 34948 62 0 0 25 0 1 0 891216245 16429056 3157 4294967295 134512640 134716908 3221224576 3221222832 134699867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 3157 1111 63 0 3948 0
vsize: 16044
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3257 0 0 0 35947 64 0 0 25 0 1 0 891216245 16429056 3175 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 3175 1111 63 0 3948 0
vsize: 16044
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3291 0 0 0 36945 66 0 0 25 0 1 0 891216245 16564224 3209 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3209 1111 63 0 3981 0
vsize: 16176
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3296 0 0 0 37945 67 0 0 25 0 1 0 891216245 16699392 3214 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3214 1111 63 0 4014 0
vsize: 16308
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3318 0 0 0 38945 67 0 0 25 0 1 0 891216245 16699392 3236 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3236 1111 63 0 4014 0
vsize: 16308
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3337 0 0 0 39944 68 0 0 25 0 1 0 891216245 16834560 3255 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3255 1111 63 0 4047 0
vsize: 16440
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3356 0 0 0 40944 69 0 0 25 0 1 0 891216245 16834560 3274 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3274 1111 63 0 4047 0
vsize: 16440
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3363 0 0 0 41942 71 0 0 25 0 1 0 891216245 16969728 3281 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4143 3281 1111 63 0 4080 0
vsize: 16572
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3379 0 0 0 42941 73 0 0 25 0 1 0 891216245 16961536 3297 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3297 1111 63 0 4078 0
vsize: 16564
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3401 0 0 0 43940 74 0 0 25 0 1 0 891216245 17088512 3319 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 3319 1111 63 0 4109 0
vsize: 16688
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3406 0 0 0 44939 75 0 0 25 0 1 0 891216245 17088512 3324 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 3324 1111 63 0 4109 0
vsize: 16688
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3409 0 0 0 45938 77 0 0 25 0 1 0 891216245 17088512 3327 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 3327 1111 63 0 4109 0
vsize: 16688
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3426 0 0 0 46937 78 0 0 25 0 1 0 891216245 17219584 3344 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4204 3344 1111 63 0 4141 0
vsize: 16816
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3442 0 0 0 47937 79 0 0 25 0 1 0 891216245 17219584 3360 4294967295 134512640 134716908 3221224576 3221223152 134549640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4204 3360 1111 63 0 4141 0
vsize: 16816
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3446 0 0 0 48936 80 0 0 25 0 1 0 891216245 17219584 3364 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4204 3364 1111 63 0 4141 0
vsize: 16816
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3470 0 0 0 49935 81 0 0 25 0 1 0 891216245 17354752 3388 4294967295 134512640 134716908 3221224576 3221223312 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4237 3388 1111 63 0 4174 0
vsize: 16948
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3491 0 0 0 50935 82 0 0 25 0 1 0 891216245 17477632 3409 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3409 1111 63 0 4204 0
vsize: 17068
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3547 0 0 0 51934 84 0 0 25 0 1 0 891216245 17612800 3465 4294967295 134512640 134716908 3221224576 3221223060 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3465 1111 63 0 4237 0
vsize: 17200
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3578 0 0 0 52933 86 0 0 25 0 1 0 891216245 17747968 3496 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4333 3496 1111 63 0 4270 0
vsize: 17332
[startup+540.056 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3602 0 0 0 53933 87 0 0 25 0 1 0 891216245 17874944 3520 4294967295 134512640 134716908 3221224576 3221223304 134558801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3520 1111 63 0 4301 0
vsize: 17456
[startup+550.056 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3652 0 0 0 54932 88 0 0 25 0 1 0 891216245 18145280 3570 4294967295 134512640 134716908 3221224576 3221223200 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3570 1111 63 0 4367 0
vsize: 17720
[startup+560.056 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3657 0 0 0 55931 89 0 0 25 0 1 0 891216245 18145280 3575 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3575 1111 63 0 4367 0
vsize: 17720
[startup+570.057 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3671 0 0 0 56931 90 0 0 25 0 1 0 891216245 18145280 3589 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3589 1111 63 0 4367 0
vsize: 17720
[startup+580.057 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3692 0 0 0 57930 91 0 0 25 0 1 0 891216245 18272256 3610 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3610 1111 63 0 4398 0
vsize: 17844
[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3713 0 0 0 58929 93 0 0 25 0 1 0 891216245 18407424 3631 4294967295 134512640 134716908 3221224576 3221223200 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4494 3631 1111 63 0 4431 0
vsize: 17976
[startup+600.057 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3762 0 0 0 59928 94 0 0 25 0 1 0 891216245 18534400 3680 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3680 1111 63 0 4462 0
vsize: 18100
[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3766 0 0 0 60928 95 0 0 25 0 1 0 891216245 18534400 3684 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3684 1111 63 0 4462 0
vsize: 18100
[startup+620.059 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3767 0 0 0 61927 96 0 0 25 0 1 0 891216245 18534400 3685 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3685 1111 63 0 4462 0
vsize: 18100
[startup+630.06 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3768 0 0 0 62927 97 0 0 25 0 1 0 891216245 18534400 3686 4294967295 134512640 134716908 3221224576 3221223264 134534092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3686 1111 63 0 4462 0
vsize: 18100
[startup+640.061 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3776 0 0 0 63927 97 0 0 25 0 1 0 891216245 18669568 3694 4294967295 134512640 134716908 3221224576 3221223312 134552104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3694 1111 63 0 4495 0
vsize: 18232
[startup+650.061 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3810 0 0 0 64925 99 0 0 25 0 1 0 891216245 18804736 3728 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3728 1111 63 0 4528 0
vsize: 18364
[startup+660.061 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3828 0 0 0 65925 100 0 0 25 0 1 0 891216245 18804736 3746 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3746 1111 63 0 4528 0
vsize: 18364
[startup+670.062 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3837 0 0 0 66924 101 0 0 25 0 1 0 891216245 18804736 3755 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3755 1111 63 0 4528 0
vsize: 18364
[startup+680.063 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3837 0 0 0 67923 102 0 0 25 0 1 0 891216245 18804736 3755 4294967295 134512640 134716908 3221224576 3221223148 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3755 1111 63 0 4528 0
vsize: 18364
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3844 0 0 0 68923 103 0 0 25 0 1 0 891216245 18935808 3762 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3762 1111 63 0 4560 0
vsize: 18492
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3852 0 0 0 69922 104 0 0 25 0 1 0 891216245 18935808 3770 4294967295 134512640 134716908 3221224576 3221223360 134528993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3770 1111 63 0 4560 0
vsize: 18492
[startup+710.065 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3871 0 0 0 70921 106 0 0 25 0 1 0 891216245 18935808 3789 4294967295 134512640 134716908 3221224576 3221223340 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3789 1111 63 0 4560 0
vsize: 18492
[startup+720.065 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3887 0 0 0 71920 107 0 0 25 0 1 0 891216245 19070976 3805 4294967295 134512640 134716908 3221224576 3221223324 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3805 1111 63 0 4593 0
vsize: 18624
[startup+730.065 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3897 0 0 0 72920 107 0 0 25 0 1 0 891216245 19070976 3815 4294967295 134512640 134716908 3221224576 3221223308 134528392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3815 1111 63 0 4593 0
vsize: 18624
[startup+740.067 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3909 0 0 0 73919 109 0 0 25 0 1 0 891216245 19206144 3827 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 3827 1111 63 0 4626 0
vsize: 18756
[startup+750.068 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3925 0 0 0 74918 110 0 0 25 0 1 0 891216245 19206144 3843 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 3843 1111 63 0 4626 0
vsize: 18756
[startup+760.068 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3925 0 0 0 75917 111 0 0 25 0 1 0 891216245 19206144 3843 4294967295 134512640 134716908 3221224576 3221223200 1077377136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 3843 1111 63 0 4626 0
vsize: 18756
[startup+770.068 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3938 0 0 0 76917 112 0 0 25 0 1 0 891216245 19333120 3856 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+780.069 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3938 0 0 0 77916 113 0 0 25 0 1 0 891216245 19333120 3856 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+790.069 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3938 0 0 0 78915 114 0 0 25 0 1 0 891216245 19333120 3856 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+800.07 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3938 0 0 0 79915 115 0 0 25 0 1 0 891216245 19333120 3856 4294967295 134512640 134716908 3221224576 3221223360 134528801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+810.071 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3948 0 0 0 80913 117 0 0 25 0 1 0 891216245 19333120 3866 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3866 1111 63 0 4657 0
vsize: 18880
[startup+820.072 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3967 0 0 0 81913 118 0 0 25 0 1 0 891216245 19333120 3885 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3885 1111 63 0 4657 0
vsize: 18880
[startup+830.072 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3972 0 0 0 82912 119 0 0 25 0 1 0 891216245 19468288 3890 4294967295 134512640 134716908 3221224576 3221223220 134524197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4753 3890 1111 63 0 4690 0
vsize: 19012
[startup+840.072 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3979 0 0 0 83912 120 0 0 25 0 1 0 891216245 19468288 3897 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4753 3897 1111 63 0 4690 0
vsize: 19012
[startup+850.073 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 3995 0 0 0 84911 121 0 0 25 0 1 0 891216245 19468288 3913 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4753 3913 1111 63 0 4690 0
vsize: 19012
[startup+860.075 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4021 0 0 0 85910 123 0 0 25 0 1 0 891216245 19603456 3939 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4786 3939 1111 63 0 4723 0
vsize: 19144
[startup+870.076 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4047 0 0 0 86909 124 0 0 25 0 1 0 891216245 19738624 3965 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 3965 1111 63 0 4756 0
vsize: 19276
[startup+880.077 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4064 0 0 0 87908 125 0 0 25 0 1 0 891216245 19738624 3982 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 3982 1111 63 0 4756 0
vsize: 19276
[startup+890.078 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4089 0 0 0 88907 127 0 0 25 0 1 0 891216245 19873792 4007 4294967295 134512640 134716908 3221224576 3221223200 134698633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4852 4007 1111 63 0 4789 0
vsize: 19408
[startup+900.078 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4117 0 0 0 89905 129 0 0 25 0 1 0 891216245 19984384 4035 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4879 4035 1111 63 0 4816 0
vsize: 19516
[startup+910.078 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4131 0 0 0 90905 130 0 0 25 0 1 0 891216245 20119552 4049 4294967295 134512640 134716908 3221224576 3221223288 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4912 4049 1111 63 0 4849 0
vsize: 19648
[startup+920.088 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4182 0 0 0 91904 131 0 0 25 0 1 0 891216245 20234240 4100 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4940 4100 1111 63 0 4877 0
vsize: 19760
[startup+930.088 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4188 0 0 0 92904 132 0 0 25 0 1 0 891216245 20234240 4106 4294967295 134512640 134716908 3221224576 3221223340 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4940 4106 1111 63 0 4877 0
vsize: 19760
[startup+940.09 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4195 0 0 0 93904 133 0 0 25 0 1 0 891216245 20369408 4113 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4973 4113 1111 63 0 4910 0
vsize: 19892
[startup+950.09 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4200 0 0 0 94902 134 0 0 25 0 1 0 891216245 20369408 4118 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4973 4118 1111 63 0 4910 0
vsize: 19892
[startup+960.091 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4211 0 0 0 95901 137 0 0 25 0 1 0 891216245 20369408 4129 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4973 4129 1111 63 0 4910 0
vsize: 19892
[startup+970.092 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4217 0 0 0 96899 138 0 0 25 0 1 0 891216245 20369408 4135 4294967295 134512640 134716908 3221224576 3221223320 134554889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4973 4135 1111 63 0 4910 0
vsize: 19892
[startup+980.093 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4240 0 0 0 97898 140 0 0 25 0 1 0 891216245 20496384 4158 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4158 1111 63 0 4941 0
vsize: 20016
[startup+990.094 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4244 0 0 0 98898 141 0 0 25 0 1 0 891216245 20496384 4162 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4162 1111 63 0 4941 0
vsize: 20016
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4254 0 0 0 99897 142 0 0 25 0 1 0 891216245 20631552 4172 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 4172 1111 63 0 4974 0
vsize: 20148
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4260 0 0 0 100896 143 0 0 25 0 1 0 891216245 20631552 4178 4294967295 134512640 134716908 3221224576 3221223052 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 4178 1111 63 0 4974 0
vsize: 20148
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4306 0 0 0 101896 144 0 0 25 0 1 0 891216245 20766720 4224 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5070 4224 1111 63 0 5007 0
vsize: 20280
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4344 0 0 0 102895 145 0 0 25 0 1 0 891216245 20901888 4262 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5103 4262 1111 63 0 5040 0
vsize: 20412
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4402 0 0 0 103894 147 0 0 25 0 1 0 891216245 21172224 4320 4294967295 134512640 134716908 3221224576 3221223132 134535667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4320 1111 63 0 5106 0
vsize: 20676
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4462 0 0 0 104893 148 0 0 25 0 1 0 891216245 21442560 4380 4294967295 134512640 134716908 3221224576 3221223196 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5235 4380 1111 63 0 5172 0
vsize: 20940
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4529 0 0 0 105891 150 0 0 25 0 1 0 891216245 21712896 4447 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4447 1111 63 0 5238 0
vsize: 21204
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4553 0 0 0 106890 152 0 0 25 0 1 0 891216245 21843968 4471 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4471 1111 63 0 5270 0
vsize: 21332
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4582 0 0 0 107889 153 0 0 25 0 1 0 891216245 21934080 4500 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5355 4500 1111 63 0 5292 0
vsize: 21420
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4611 0 0 0 108888 154 0 0 25 0 1 0 891216245 22069248 4529 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4529 1111 63 0 5325 0
vsize: 21552
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4611 0 0 0 109887 155 0 0 25 0 1 0 891216245 22069248 4529 4294967295 134512640 134716908 3221224576 3221223240 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4529 1111 63 0 5325 0
vsize: 21552
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4617 0 0 0 110886 157 0 0 25 0 1 0 891216245 22069248 4535 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4535 1111 63 0 5325 0
vsize: 21552
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4629 0 0 0 111885 158 0 0 25 0 1 0 891216245 22069248 4547 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4547 1111 63 0 5325 0
vsize: 21552
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4636 0 0 0 112885 159 0 0 25 0 1 0 891216245 22069248 4554 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4554 1111 63 0 5325 0
vsize: 21552
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4659 0 0 0 113884 160 0 0 25 0 1 0 891216245 22200320 4577 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4577 1111 63 0 5357 0
vsize: 21680
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4672 0 0 0 114883 161 0 0 25 0 1 0 891216245 22335488 4590 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4590 1111 63 0 5390 0
vsize: 21812
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4687 0 0 0 115882 163 0 0 25 0 1 0 891216245 22327296 4605 4294967295 134512640 134716908 3221224576 3221223216 134698428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5451 4605 1111 63 0 5388 0
vsize: 21804
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4699 0 0 0 116881 164 0 0 25 0 1 0 891216245 22327296 4617 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5451 4617 1111 63 0 5388 0
vsize: 21804
[startup+1174.66 s]
Raw data (loadavg): 0.99 0.97 0.87 1/53 11488
Raw data (stat): 11488 (bsolo_lpr-v2) R 11487 25568 25567 0 -1 0 4699 0 0 0 116881 164 0 0 25 0 1 0 891216245 22327296 4617 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5451 4617 1111 63 0 5388 0
vsize: 0

Child status: 0
Real time (s): 1174.66
CPU time (s): 1175.02
CPU user time (s): 1173.36
CPU system time (s): 1.66175
CPU usage (%): 100.031
Max. virtual memory (Kb): 21812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####