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-chnl10_20_pb.cnf.cr.opb
MD5SUM	f6063d1ff7b0ba7c7cab7a438daedff8
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	400
Total number of constraints	60
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23157

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 21:24:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28 boxname=wulflinc31 idbench=4 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 28
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933064 kB
Buffers:         35148 kB
Cached:          44568 kB
SwapCached:        864 kB
Active:          67288 kB
Inactive:        14788 kB
HighTotal:      131008 kB
HighFree:        85372 kB
LowTotal:       903652 kB
LowFree:        847692 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13900 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 21:42:50 (client local time) WITH STATUS 20 IN 1089.13 SECONDS
stats: 28 7 1089.13 20
#### 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 400 variables and 60 constraints.
c After prepocess the problem consists of 400 variables and 60 constraints.
c preprocess terminated 0.105 s
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 1089.05 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
Raw data (loadavg): 0.92 0.95 0.91 2/54 5288
Raw data (stat): 5288 (runsolver) R 5287 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626053881 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 2717 0 0 0 984 10 0 0 25 0 1 0 626053881 14262272 2638 4294967295 134512640 134714508 3221221744 3221220400 134524111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2638 1111 63 0 3419 0
vsize: 13928
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 3559 0 0 0 1981 14 0 0 25 0 1 0 626053881 17641472 3480 4294967295 134512640 134714508 3221221744 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4307 3480 1111 63 0 4244 0
vsize: 17228
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 4447 0 0 0 2977 17 0 0 25 0 1 0 626053881 21291008 4368 4294967295 134512640 134714508 3221221744 3221220300 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4368 1111 63 0 5135 0
vsize: 20792
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 5103 0 0 0 3974 20 0 0 25 0 1 0 626053881 24002560 5024 4294967295 134512640 134714508 3221221744 3221220184 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5860 5024 1111 63 0 5797 0
vsize: 23440
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 5807 0 0 0 4973 22 0 0 25 0 1 0 626053881 26992640 5728 4294967295 134512640 134714508 3221221744 3221220508 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6590 5728 1111 63 0 6527 0
vsize: 26360
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 6310 0 0 0 5970 25 0 0 25 0 1 0 626053881 29061120 6231 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6231 1111 63 0 7032 0
vsize: 28380
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 6728 0 0 0 6968 27 0 0 25 0 1 0 626053881 30867456 6648 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7536 6648 1111 63 0 7473 0
vsize: 30144
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 7671 0 0 0 7965 31 0 0 25 0 1 0 626053881 34689024 7591 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8469 7591 1111 63 0 8406 0
vsize: 33876
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 8559 0 0 0 8961 35 0 0 25 0 1 0 626053881 38342656 8478 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9361 8478 1111 63 0 9298 0
vsize: 37444
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 9050 0 0 0 9959 37 0 0 25 0 1 0 626053881 40419328 8967 4294967295 134512640 134714508 3221221744 3221220448 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9868 8967 1111 63 0 9805 0
vsize: 39472
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 9737 0 0 0 10956 40 0 0 25 0 1 0 626053881 43315200 9652 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10575 9652 1111 63 0 10512 0
vsize: 42300
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 10225 0 0 0 11955 42 0 0 25 0 1 0 626053881 45383680 10140 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11080 10140 1111 63 0 11017 0
vsize: 44320
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 10644 0 0 0 12953 44 0 0 25 0 1 0 626053881 47005696 10559 4294967295 134512640 134714508 3221221744 3221220512 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11476 10559 1111 63 0 11413 0
vsize: 45904
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 11109 0 0 0 13951 46 0 0 25 0 1 0 626053881 48918528 11024 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11943 11024 1111 63 0 11880 0
vsize: 47772
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 11501 0 0 0 14949 49 0 0 25 0 1 0 626053881 50704384 11413 4294967295 134512640 134714508 3221221744 3221220528 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12379 11413 1111 63 0 12316 0
vsize: 49516
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 11784 0 0 0 15947 50 0 0 25 0 1 0 626053881 51949568 11695 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12683 11695 1111 63 0 12620 0
vsize: 50732
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 12225 0 0 0 16946 52 0 0 25 0 1 0 626053881 53825536 12132 4294967295 134512640 134714508 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13141 12132 1111 63 0 13078 0
vsize: 52564
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 12741 0 0 0 17944 54 0 0 25 0 1 0 626053881 55857152 12646 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13637 12646 1111 63 0 13574 0
vsize: 54548
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 13259 0 0 0 18943 56 0 0 25 0 1 0 626053881 58052608 13160 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14173 13160 1111 63 0 14110 0
vsize: 56692
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 13632 0 0 0 19942 56 0 0 25 0 1 0 626053881 59539456 13533 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14536 13533 1111 63 0 14473 0
vsize: 58144
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 13948 0 0 0 20941 58 0 0 25 0 1 0 626053881 60891136 13849 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14866 13849 1111 63 0 14803 0
vsize: 59464
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 14264 0 0 0 21940 59 0 0 25 0 1 0 626053881 62246912 14165 4294967295 134512640 134714508 3221221744 3221220464 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15197 14165 1111 63 0 15134 0
vsize: 60788
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 14530 0 0 0 22939 59 0 0 25 0 1 0 626053881 63356928 14430 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15468 14430 1111 63 0 15405 0
vsize: 61872
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 14763 0 0 0 23938 61 0 0 25 0 1 0 626053881 64167936 14663 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15666 14663 1111 63 0 15603 0
vsize: 62664
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 14981 0 0 0 24938 61 0 0 25 0 1 0 626053881 65183744 14879 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15914 14879 1111 63 0 15851 0
vsize: 63656
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 15257 0 0 0 25937 63 0 0 25 0 1 0 626053881 66437120 15152 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16220 15152 1111 63 0 16157 0
vsize: 64880
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 15550 0 0 0 26936 63 0 0 25 0 1 0 626053881 67723264 15439 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16534 15439 1111 63 0 16471 0
vsize: 66136
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 15811 0 0 0 27935 65 0 0 25 0 1 0 626053881 68677632 15700 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16767 15700 1111 63 0 16704 0
vsize: 67068
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 16116 0 0 0 28934 66 0 0 25 0 1 0 626053881 70033408 16000 4294967295 134512640 134714508 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17098 16000 1111 63 0 17035 0
vsize: 68392
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 16407 0 0 0 29933 67 0 0 25 0 1 0 626053881 71270400 16291 4294967295 134512640 134714508 3221221744 3221220480 134535821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17400 16291 1111 63 0 17337 0
vsize: 69600
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 16616 0 0 0 30932 68 0 0 25 0 1 0 626053881 72110080 16498 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17605 16498 1111 63 0 17542 0
vsize: 70420
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 17068 0 0 0 31930 70 0 0 25 0 1 0 626053881 73965568 16947 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18058 16947 1111 63 0 17995 0
vsize: 72232
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 17542 0 0 0 32929 72 0 0 25 0 1 0 626053881 75857920 17421 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18520 17421 1111 63 0 18457 0
vsize: 74080
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 17928 0 0 0 33927 74 0 0 25 0 1 0 626053881 77516800 17805 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18925 17805 1111 63 0 18862 0
vsize: 75700
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 18241 0 0 0 34925 76 0 0 25 0 1 0 626053881 78872576 18118 4294967295 134512640 134714508 3221221744 3221220336 134549789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19256 18118 1111 63 0 19193 0
vsize: 77024
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 18560 0 0 0 35924 78 0 0 25 0 1 0 626053881 80089088 18437 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19553 18437 1111 63 0 19490 0
vsize: 78212
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 18883 0 0 0 36923 79 0 0 25 0 1 0 626053881 81534976 18751 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19906 18751 1111 63 0 19843 0
vsize: 79624
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 19223 0 0 0 37922 80 0 0 25 0 1 0 626053881 82886656 19091 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20236 19091 1111 63 0 20173 0
vsize: 80944
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 19427 0 0 0 38921 81 0 0 25 0 1 0 626053881 83697664 19295 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20434 19295 1111 63 0 20371 0
vsize: 81736
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 19645 0 0 0 39920 82 0 0 25 0 1 0 626053881 84643840 19513 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20665 19513 1111 63 0 20602 0
vsize: 82660
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 19923 0 0 0 40919 84 0 0 25 0 1 0 626053881 85782528 19791 4294967295 134512640 134714508 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20943 19791 1111 63 0 20880 0
vsize: 83772
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 20204 0 0 0 41918 85 0 0 25 0 1 0 626053881 87064576 20068 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21256 20068 1111 63 0 21193 0
vsize: 85024
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 20475 0 0 0 42917 86 0 0 25 0 1 0 626053881 88145920 20339 4294967295 134512640 134714508 3221221744 3221220480 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21520 20339 1111 63 0 21457 0
vsize: 86080
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 20830 0 0 0 43915 88 0 0 25 0 1 0 626053881 89632768 20694 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21883 20694 1111 63 0 21820 0
vsize: 87532
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 21061 0 0 0 44914 89 0 0 25 0 1 0 626053881 90578944 20925 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22114 20925 1111 63 0 22051 0
vsize: 88456
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 21334 0 0 0 45913 90 0 0 25 0 1 0 626053881 91664384 21198 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22379 21198 1111 63 0 22316 0
vsize: 89516
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 21619 0 0 0 46912 92 0 0 25 0 1 0 626053881 92880896 21483 4294967295 134512640 134714508 3221221744 3221220480 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22676 21483 1111 63 0 22613 0
vsize: 90704
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 21762 0 0 0 47912 92 0 0 25 0 1 0 626053881 93466624 21626 4294967295 134512640 134714508 3221221744 3221220336 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22819 21626 1111 63 0 22756 0
vsize: 91276
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 22043 0 0 0 48911 93 0 0 25 0 1 0 626053881 94785536 21899 4294967295 134512640 134714508 3221221744 3221220528 134529240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23141 21899 1111 63 0 23078 0
vsize: 92564
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 22297 0 0 0 49910 94 0 0 25 0 1 0 626053881 95731712 22153 4294967295 134512640 134714508 3221221744 3221220416 134536653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23372 22153 1111 63 0 23309 0
vsize: 93488
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 22547 0 0 0 50910 95 0 0 25 0 1 0 626053881 96841728 22401 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23643 22401 1111 63 0 23580 0
vsize: 94572
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 22739 0 0 0 51909 96 0 0 25 0 1 0 626053881 97746944 22590 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23864 22590 1111 63 0 23801 0
vsize: 95456
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 22891 0 0 0 52909 96 0 0 25 0 1 0 626053881 98603008 22739 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24073 22739 1111 63 0 24010 0
vsize: 96292
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 23035 0 0 0 53909 97 0 0 25 0 1 0 626053881 99188736 22882 4294967295 134512640 134714508 3221221744 3221220312 1077377639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24216 22882 1111 63 0 24153 0
vsize: 96864
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 23219 0 0 0 54908 98 0 0 25 0 1 0 626053881 99999744 23066 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24414 23066 1111 63 0 24351 0
vsize: 97656
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 23443 0 0 0 55907 99 0 0 25 0 1 0 626053881 100933632 23284 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24642 23284 1111 63 0 24579 0
vsize: 98568
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 23682 0 0 0 56906 100 0 0 25 0 1 0 626053881 102125568 23506 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24933 23506 1111 63 0 24870 0
vsize: 99732
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 23962 0 0 0 57905 101 0 0 25 0 1 0 626053881 103407616 23777 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25246 23777 1111 63 0 25183 0
vsize: 100984
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 24285 0 0 0 58905 102 0 0 25 0 1 0 626053881 104624128 24100 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25543 24100 1111 63 0 25480 0
vsize: 102172
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 24534 0 0 0 59904 102 0 0 25 0 1 0 626053881 105705472 24349 4294967295 134512640 134714508 3221221744 3221220336 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25807 24349 1111 63 0 25744 0
vsize: 103228
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 24752 0 0 0 60903 104 0 0 25 0 1 0 626053881 106516480 24567 4294967295 134512640 134714508 3221221744 3221220272 134535468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26005 24567 1111 63 0 25942 0
vsize: 104020
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 24922 0 0 0 61902 105 0 0 25 0 1 0 626053881 107192320 24737 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26170 24737 1111 63 0 26107 0
vsize: 104680
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25052 0 0 0 62902 105 0 0 25 0 1 0 626053881 107732992 24867 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26302 24867 1111 63 0 26239 0
vsize: 105208
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25248 0 0 0 63902 106 0 0 25 0 1 0 626053881 108687360 25053 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26535 25053 1111 63 0 26472 0
vsize: 106140
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25461 0 0 0 64901 106 0 0 25 0 1 0 626053881 109793280 25263 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26805 25263 1111 63 0 26742 0
vsize: 107220
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25602 0 0 0 65901 107 0 0 25 0 1 0 626053881 110379008 25402 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26948 25402 1111 63 0 26885 0
vsize: 107792
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25838 0 0 0 66900 108 0 0 25 0 1 0 626053881 111443968 25629 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27208 25629 1111 63 0 27145 0
vsize: 108832
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 25982 0 0 0 67900 108 0 0 25 0 1 0 626053881 111984640 25773 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27340 25773 1111 63 0 27277 0
vsize: 109360
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 26164 0 0 0 68899 109 0 0 25 0 1 0 626053881 112799744 25950 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27539 25950 1111 63 0 27476 0
vsize: 110156
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 26403 0 0 0 69898 110 0 0 25 0 1 0 626053881 113745920 26189 4294967295 134512640 134714508 3221221744 3221220300 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27770 26189 1111 63 0 27707 0
vsize: 111080
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 26607 0 0 0 70897 112 0 0 25 0 1 0 626053881 114556928 26393 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27968 26393 1111 63 0 27905 0
vsize: 111872
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 26791 0 0 0 71896 113 0 0 25 0 1 0 626053881 115277824 26577 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28144 26577 1111 63 0 28081 0
vsize: 112576
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27026 0 0 0 72895 114 0 0 25 0 1 0 626053881 116424704 26808 4294967295 134512640 134714508 3221221744 3221220300 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28424 26808 1111 63 0 28361 0
vsize: 113696
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27247 0 0 0 73893 116 0 0 25 0 1 0 626053881 117264384 27029 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27029 1111 63 0 28566 0
vsize: 114516
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27396 0 0 0 74893 117 0 0 25 0 1 0 626053881 117948416 27177 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28796 27177 1111 63 0 28733 0
vsize: 115184
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27590 0 0 0 75892 117 0 0 25 0 1 0 626053881 118853632 27360 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29017 27360 1111 63 0 28954 0
vsize: 116068
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27763 0 0 0 76892 118 0 0 25 0 1 0 626053881 119529472 27533 4294967295 134512640 134714508 3221221744 3221220336 134549702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29182 27533 1111 63 0 29119 0
vsize: 116728
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 27893 0 0 0 77891 119 0 0 25 0 1 0 626053881 120090624 27663 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29319 27663 1111 63 0 29256 0
vsize: 117276
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28049 0 0 0 78891 119 0 0 25 0 1 0 626053881 120897536 27811 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29516 27811 1111 63 0 29453 0
vsize: 118064
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28140 0 0 0 79891 120 0 0 25 0 1 0 626053881 121339904 27902 4294967295 134512640 134714508 3221221744 3221220300 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29624 27902 1111 63 0 29561 0
vsize: 118496
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28276 0 0 0 80890 120 0 0 25 0 1 0 626053881 121880576 28038 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29756 28038 1111 63 0 29693 0
vsize: 119024
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28480 0 0 0 81890 121 0 0 25 0 1 0 626053881 122822656 28225 4294967295 134512640 134714508 3221221744 3221220372 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29986 28225 1111 63 0 29923 0
vsize: 119944
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28638 0 0 0 82889 122 0 0 25 0 1 0 626053881 123498496 28383 4294967295 134512640 134714508 3221221744 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30151 28383 1111 63 0 30088 0
vsize: 120604
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28772 0 0 0 83889 122 0 0 25 0 1 0 626053881 124092416 28517 4294967295 134512640 134714508 3221221744 3221220448 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30296 28517 1111 63 0 30233 0
vsize: 121184
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 28876 0 0 0 84888 123 0 0 25 0 1 0 626053881 124362752 28621 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30362 28621 1111 63 0 30299 0
vsize: 121448
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29025 0 0 0 85887 124 0 0 25 0 1 0 626053881 125104128 28765 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30543 28765 1111 63 0 30480 0
vsize: 122172
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29183 0 0 0 86887 125 0 0 25 0 1 0 626053881 125845504 28918 4294967295 134512640 134714508 3221221744 3221220376 134536668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30724 28918 1111 63 0 30661 0
vsize: 122896
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29308 0 0 0 87887 125 0 0 25 0 1 0 626053881 126251008 29043 4294967295 134512640 134714508 3221221744 3221220336 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30823 29043 1111 63 0 30760 0
vsize: 123292
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29453 0 0 0 88886 126 0 0 25 0 1 0 626053881 126840832 29187 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30967 29187 1111 63 0 30904 0
vsize: 123868
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29596 0 0 0 89886 126 0 0 25 0 1 0 626053881 127647744 29320 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31164 29320 1111 63 0 31101 0
vsize: 124656
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29666 0 0 0 90886 127 0 0 25 0 1 0 626053881 127983616 29381 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31246 29381 1111 63 0 31183 0
vsize: 124984
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 29777 0 0 0 91885 127 0 0 25 0 1 0 626053881 128331776 29492 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31331 29492 1111 63 0 31268 0
vsize: 125324
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30011 0 0 0 92885 128 0 0 25 0 1 0 626053881 129343488 29717 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31578 29717 1111 63 0 31515 0
vsize: 126312
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30253 0 0 0 93883 130 0 0 25 0 1 0 626053881 130490368 29950 4294967295 134512640 134714508 3221221744 3221220248 134613753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31858 29950 1111 63 0 31795 0
vsize: 127432
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30422 0 0 0 94883 130 0 0 25 0 1 0 626053881 131166208 30119 4294967295 134512640 134714508 3221221744 3221220480 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32023 30119 1111 63 0 31960 0
vsize: 128092
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30532 0 0 0 95883 131 0 0 25 0 1 0 626053881 131571712 30229 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32122 30229 1111 63 0 32059 0
vsize: 128488
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30640 0 0 0 96882 131 0 0 25 0 1 0 626053881 132030464 30337 4294967295 134512640 134714508 3221221744 3221220528 134528996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32234 30337 1111 63 0 32171 0
vsize: 128936
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30754 0 0 0 97882 131 0 0 25 0 1 0 626053881 132640768 30451 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32383 30451 1111 63 0 32320 0
vsize: 129532
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30829 0 0 0 98882 132 0 0 25 0 1 0 626053881 132956160 30526 4294967295 134512640 134714508 3221221744 3221220472 134535782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32460 30526 1111 63 0 32397 0
vsize: 129840
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 30931 0 0 0 99882 132 0 0 25 0 1 0 626053881 133361664 30628 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32559 30628 1111 63 0 32496 0
vsize: 130236
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31032 0 0 0 100881 133 0 0 25 0 1 0 626053881 133767168 30729 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32658 30729 1111 63 0 32595 0
vsize: 130632
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31149 0 0 0 101881 134 0 0 25 0 1 0 626053881 134172672 30846 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32757 30846 1111 63 0 32694 0
vsize: 131028
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31264 0 0 0 102881 134 0 0 25 0 1 0 626053881 134713344 30961 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32889 30961 1111 63 0 32826 0
vsize: 131556
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31426 0 0 0 103881 134 0 0 25 0 1 0 626053881 135315456 31120 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33036 31120 1111 63 0 32973 0
vsize: 132144
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31512 0 0 0 104880 135 0 0 25 0 1 0 626053881 135757824 31206 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33144 31206 1111 63 0 33081 0
vsize: 132576
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31601 0 0 0 105880 135 0 0 25 0 1 0 626053881 136163328 31295 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33243 31295 1111 63 0 33180 0
vsize: 132972
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31673 0 0 0 106880 136 0 0 25 0 1 0 626053881 136298496 31367 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33276 31367 1111 63 0 33213 0
vsize: 133104
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31747 0 0 0 107879 137 0 0 25 0 1 0 626053881 136577024 31441 4294967295 134512640 134714508 3221221744 3221220504 134552549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33344 31441 1111 63 0 33281 0
vsize: 133376
[startup+1089.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5288
Raw data (stat): 5288 (bsolo_lpr) R 5287 3722 3553 0 -1 0 31747 0 0 0 107879 137 0 0 25 0 1 0 626053881 136577024 31441 4294967295 134512640 134714508 3221221744 3221220504 134552549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33344 31441 1111 63 0 33281 0
vsize: 0

Child status: 20
Real time (s): 1089.01
CPU time (s): 1089.13
CPU user time (s): 1087.7
CPU system time (s): 1.43278
CPU usage (%): 100.011
Max. virtual memory (Kb): 133376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####