PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
MD5SUM	bd6d0785955b31f4cbdede5ce3d2b1e9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	58150
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807821537690881359872
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6808845537690881359872
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1305.36
Number of variables	58150
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	58150
Trace number 27966

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 23:50:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15068 boxname=wulflinc5 idbench=1160 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bd6d0785955b31f4cbdede5ce3d2b1e9  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dc1c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dc1c.opb
IDLAUNCH: 15068
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        807532 kB
Buffers:         18356 kB
Cached:         184312 kB
SwapCached:       3780 kB
Active:          41452 kB
Inactive:       166908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        807280 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            13044 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:10:23 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 15068 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.79 0.95 0.91 2/54 14694
Raw data (stat): 14694 (runsolver) R 14693 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776109981 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0021 s]
Raw data (loadavg): 0.82 0.95 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 1893 0 0 0 991 6 0 0 25 0 1 0 776109981 19415040 1817 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 1817 1111 63 0 4677 0
vsize: 18960
[startup+20.0036 s]
Raw data (loadavg): 0.85 0.95 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 2969 0 0 0 1990 8 0 0 25 0 1 0 776109981 23891968 2893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 2893 1111 63 0 5770 0
vsize: 23332
[startup+30.0044 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 4044 0 0 0 2987 10 0 0 25 0 1 0 776109981 28221440 3968 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6890 3968 1111 63 0 6827 0
vsize: 27560
[startup+40.0037 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 5204 0 0 0 3985 13 0 0 25 0 1 0 776109981 33001472 5128 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8057 5128 1111 63 0 7994 0
vsize: 32228
[startup+50.0048 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 6540 0 0 0 4983 15 0 0 25 0 1 0 776109981 38522880 6464 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9405 6464 1111 63 0 9342 0
vsize: 37620
[startup+60.0046 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 7661 0 0 0 5980 18 0 0 25 0 1 0 776109981 43139072 7585 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 7585 1111 63 0 10469 0
vsize: 42128
[startup+70.0049 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 8888 0 0 0 6978 20 0 0 25 0 1 0 776109981 48062464 8812 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11734 8812 1111 63 0 11671 0
vsize: 46936
[startup+80.0061 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 10055 0 0 0 7976 22 0 0 25 0 1 0 776109981 52846592 9979 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12902 9979 1111 63 0 12839 0
vsize: 51608
[startup+90.0059 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 11361 0 0 0 8975 24 0 0 25 0 1 0 776109981 58220544 11285 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14214 11285 1111 63 0 14151 0
vsize: 56856
[startup+100.006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 12788 0 0 0 9972 27 0 0 25 0 1 0 776109981 64040960 12712 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 12712 1111 63 0 15572 0
vsize: 62540
[startup+110.007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 13985 0 0 0 10969 29 0 0 25 0 1 0 776109981 68939776 13909 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 13909 1111 63 0 16768 0
vsize: 67324
[startup+120.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 15201 0 0 0 11967 32 0 0 25 0 1 0 776109981 74022912 15125 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18072 15125 1111 63 0 18009 0
vsize: 72288
[startup+130.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 16586 0 0 0 12964 35 0 0 25 0 1 0 776109981 79695872 16510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19457 16510 1111 63 0 19394 0
vsize: 77828
[startup+140.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 17740 0 0 0 13962 37 0 0 25 0 1 0 776109981 84320256 17664 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20586 17664 1111 63 0 20523 0
vsize: 82344
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 18888 0 0 0 14959 40 0 0 25 0 1 0 776109981 89100288 18812 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21753 18812 1111 63 0 21690 0
vsize: 87012
[startup+160.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 20018 0 0 0 15956 43 0 0 25 0 1 0 776109981 93728768 19942 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22883 19942 1111 63 0 22820 0
vsize: 91532
[startup+170.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 21380 0 0 0 16953 46 0 0 25 0 1 0 776109981 99254272 21304 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24232 21304 1111 63 0 24169 0
vsize: 96928
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 22649 0 0 0 17951 49 0 0 25 0 1 0 776109981 104480768 22573 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25508 22573 1111 63 0 25445 0
vsize: 102032
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 23876 0 0 0 18948 51 0 0 25 0 1 0 776109981 109555712 23800 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26747 23800 1111 63 0 26684 0
vsize: 106988
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 25127 0 0 0 19947 53 0 0 25 0 1 0 776109981 114630656 25051 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27986 25051 1111 63 0 27923 0
vsize: 111944
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 26494 0 0 0 20944 56 0 0 25 0 1 0 776109981 120274944 26418 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29364 26418 1111 63 0 29301 0
vsize: 117456
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 27807 0 0 0 21942 58 0 0 25 0 1 0 776109981 125652992 27731 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30677 27731 1111 63 0 30614 0
vsize: 122708
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 29096 0 0 0 22939 61 0 0 25 0 1 0 776109981 130879488 29020 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31953 29020 1111 63 0 31890 0
vsize: 127812
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 30353 0 0 0 23937 64 0 0 25 0 1 0 776109981 136101888 30277 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33228 30277 1111 63 0 33165 0
vsize: 132912
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 31636 0 0 0 24935 66 0 0 25 0 1 0 776109981 141328384 31560 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34504 31560 1111 63 0 34441 0
vsize: 138016
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 32876 0 0 0 25932 69 0 0 25 0 1 0 776109981 146407424 32800 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35744 32800 1111 63 0 35681 0
vsize: 142976
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 34212 0 0 0 26930 71 0 0 25 0 1 0 776109981 151928832 34136 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37092 34136 1111 63 0 37029 0
vsize: 148368
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 35732 0 0 0 27927 73 0 0 25 0 1 0 776109981 158048256 35656 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38586 35656 1111 63 0 38523 0
vsize: 154344
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 36924 0 0 0 28926 75 0 0 25 0 1 0 776109981 162979840 36848 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 36848 1111 63 0 39727 0
vsize: 159160
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 38115 0 0 0 29924 77 0 0 25 0 1 0 776109981 167907328 38039 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40993 38039 1111 63 0 40930 0
vsize: 163972
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 39312 0 0 0 30922 79 0 0 25 0 1 0 776109981 172683264 39236 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42159 39236 1111 63 0 42096 0
vsize: 168636
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 40539 0 0 0 31920 82 0 0 25 0 1 0 776109981 177758208 40463 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43398 40463 1111 63 0 43335 0
vsize: 173592
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 41803 0 0 0 32918 84 0 0 25 0 1 0 776109981 182984704 41727 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44674 41727 1111 63 0 44611 0
vsize: 178696
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 43084 0 0 0 33916 86 0 0 25 0 1 0 776109981 188207104 43008 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45949 43008 1111 63 0 45886 0
vsize: 183796
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 44331 0 0 0 34914 88 0 0 25 0 1 0 776109981 193290240 44255 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47190 44255 1111 63 0 47127 0
vsize: 188760
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 45582 0 0 0 35912 90 0 0 25 0 1 0 776109981 198365184 45506 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48429 45506 1111 63 0 48366 0
vsize: 193716
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 46894 0 0 0 36910 93 0 0 25 0 1 0 776109981 203739136 46818 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49741 46818 1111 63 0 49678 0
vsize: 198964
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 48426 0 0 0 37907 96 0 0 25 0 1 0 776109981 210010112 48350 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51272 48350 1111 63 0 51209 0
vsize: 205088
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 49669 0 0 0 38904 98 0 0 25 0 1 0 776109981 215232512 49593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52547 49593 1111 63 0 52484 0
vsize: 210188
[startup+400.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 50915 0 0 0 39903 100 0 0 25 0 1 0 776109981 220307456 50839 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53786 50839 1111 63 0 53723 0
vsize: 215144
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 51809 0 0 0 40902 103 0 0 25 0 1 0 776109981 224038912 51733 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54697 51733 1111 63 0 54634 0
vsize: 218788
[startup+420.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 51927 0 0 0 41901 104 0 0 25 0 1 0 776109981 224489472 51851 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54807 51851 1111 63 0 54744 0
vsize: 219228
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52043 0 0 0 42901 104 0 0 25 0 1 0 776109981 224940032 51967 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54917 51967 1111 63 0 54854 0
vsize: 219668
[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52162 0 0 0 43900 104 0 0 25 0 1 0 776109981 225386496 52086 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55026 52086 1111 63 0 54963 0
vsize: 220104
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52279 0 0 0 44900 105 0 0 25 0 1 0 776109981 225837056 52203 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55136 52203 1111 63 0 55073 0
vsize: 220544
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52397 0 0 0 45899 106 0 0 25 0 1 0 776109981 226439168 52321 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55283 52321 1111 63 0 55220 0
vsize: 221132
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52514 0 0 0 46899 106 0 0 25 0 1 0 776109981 226889728 52438 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55393 52438 1111 63 0 55330 0
vsize: 221572
[startup+480.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52633 0 0 0 47901 106 0 0 25 0 1 0 776109981 227340288 52557 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55503 52557 1111 63 0 55440 0
vsize: 222012
[startup+490.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52750 0 0 0 48901 106 0 0 25 0 1 0 776109981 227786752 52674 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55612 52674 1111 63 0 55549 0
vsize: 222448
[startup+500.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52881 0 0 0 49900 107 0 0 25 0 1 0 776109981 228388864 52805 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55759 52805 1111 63 0 55696 0
vsize: 223036
[startup+510.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 52998 0 0 0 50899 108 0 0 25 0 1 0 776109981 228835328 52922 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55868 52922 1111 63 0 55805 0
vsize: 223472
[startup+520.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53118 0 0 0 51899 108 0 0 25 0 1 0 776109981 229289984 53042 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55979 53042 1111 63 0 55916 0
vsize: 223916
[startup+530.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53250 0 0 0 52898 108 0 0 25 0 1 0 776109981 229883904 53174 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56124 53174 1111 63 0 56061 0
vsize: 224496
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53367 0 0 0 53898 109 0 0 25 0 1 0 776109981 230334464 53291 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56234 53291 1111 63 0 56171 0
vsize: 224936
[startup+550.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53485 0 0 0 54898 109 0 0 25 0 1 0 776109981 230785024 53409 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56344 53409 1111 63 0 56281 0
vsize: 225376
[startup+560.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53609 0 0 0 55897 110 0 0 25 0 1 0 776109981 231387136 53533 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56491 53533 1111 63 0 56428 0
vsize: 225964
[startup+570.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53735 0 0 0 56897 110 0 0 25 0 1 0 776109981 231837696 53659 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56601 53659 1111 63 0 56538 0
vsize: 226404
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14694
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53859 0 0 0 57896 111 0 0 25 0 1 0 776109981 232284160 53783 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56710 53783 1111 63 0 56647 0
vsize: 226840
[startup+590.066 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 53985 0 0 0 58896 111 0 0 25 0 1 0 776109981 232886272 53909 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56857 53909 1111 63 0 56794 0
vsize: 227428
[startup+600.066 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54116 0 0 0 59896 112 0 0 25 0 1 0 776109981 233332736 54040 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56966 54040 1111 63 0 56903 0
vsize: 227864
[startup+610.066 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54249 0 0 0 60896 112 0 0 25 0 1 0 776109981 233934848 54173 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57113 54173 1111 63 0 57050 0
vsize: 228452
[startup+620.067 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54382 0 0 0 61895 113 0 0 25 0 1 0 776109981 234532864 54306 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57259 54306 1111 63 0 57196 0
vsize: 229036
[startup+630.066 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54512 0 0 0 62895 113 0 0 25 0 1 0 776109981 234983424 54436 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57369 54436 1111 63 0 57306 0
vsize: 229476
[startup+640.066 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54645 0 0 0 63894 114 0 0 25 0 1 0 776109981 235585536 54569 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57516 54569 1111 63 0 57453 0
vsize: 230064
[startup+650.067 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54777 0 0 0 64894 115 0 0 25 0 1 0 776109981 236027904 54701 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57624 54701 1111 63 0 57561 0
vsize: 230496
[startup+660.067 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14747
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 54910 0 0 0 65894 115 0 0 25 0 1 0 776109981 236630016 54834 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57771 54834 1111 63 0 57708 0
vsize: 231084
[startup+670.068 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55043 0 0 0 66894 116 0 0 25 0 1 0 776109981 237232128 54967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57918 54967 1111 63 0 57855 0
vsize: 231672
[startup+680.069 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55180 0 0 0 67893 116 0 0 25 0 1 0 776109981 237682688 55104 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58028 55104 1111 63 0 57965 0
vsize: 232112
[startup+690.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55320 0 0 0 68893 117 0 0 25 0 1 0 776109981 238284800 55244 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58175 55244 1111 63 0 58112 0
vsize: 232700
[startup+700.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55451 0 0 0 69893 117 0 0 25 0 1 0 776109981 238878720 55375 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58320 55375 1111 63 0 58257 0
vsize: 233280
[startup+710.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55615 0 0 0 70892 118 0 0 25 0 1 0 776109981 239673344 55539 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58514 55539 1111 63 0 58451 0
vsize: 234056
[startup+720.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55735 0 0 0 71892 118 0 0 25 0 1 0 776109981 240123904 55659 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58624 55659 1111 63 0 58561 0
vsize: 234496
[startup+730.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 55880 0 0 0 72892 119 0 0 25 0 1 0 776109981 240717824 55804 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58769 55804 1111 63 0 58706 0
vsize: 235076
[startup+740.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56021 0 0 0 73891 119 0 0 25 0 1 0 776109981 241319936 55945 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58916 55945 1111 63 0 58853 0
vsize: 235664
[startup+750.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56162 0 0 0 74891 120 0 0 25 0 1 0 776109981 241922048 56086 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59063 56086 1111 63 0 59000 0
vsize: 236252
[startup+760.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56307 0 0 0 75891 120 0 0 25 0 1 0 776109981 242515968 56231 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59208 56231 1111 63 0 59145 0
vsize: 236832
[startup+770.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56453 0 0 0 76892 120 0 0 25 0 1 0 776109981 243118080 56377 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59355 56377 1111 63 0 59292 0
vsize: 237420
[startup+780.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56601 0 0 0 77893 121 0 0 25 0 1 0 776109981 243720192 56525 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59502 56525 1111 63 0 59439 0
vsize: 238008
[startup+790.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56747 0 0 0 78892 121 0 0 25 0 1 0 776109981 244318208 56671 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59648 56671 1111 63 0 59585 0
vsize: 238592
[startup+800.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 56887 0 0 0 79892 122 0 0 25 0 1 0 776109981 244772864 56811 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59759 56811 1111 63 0 59696 0
vsize: 239036
[startup+810.097 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57042 0 0 0 80892 123 0 0 25 0 1 0 776109981 245518336 56966 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59941 56966 1111 63 0 59878 0
vsize: 239764
[startup+820.105 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57188 0 0 0 81892 124 0 0 25 0 1 0 776109981 246116352 57112 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60087 57112 1111 63 0 60024 0
vsize: 240348
[startup+830.106 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57336 0 0 0 82891 124 0 0 25 0 1 0 776109981 246718464 57260 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60234 57260 1111 63 0 60171 0
vsize: 240936
[startup+840.105 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57484 0 0 0 83891 125 0 0 25 0 1 0 776109981 247320576 57408 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60381 57408 1111 63 0 60318 0
vsize: 241524
[startup+850.105 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57636 0 0 0 84891 125 0 0 25 0 1 0 776109981 247914496 57560 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 57560 1111 63 0 60463 0
vsize: 242104
[startup+860.106 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57791 0 0 0 85890 126 0 0 25 0 1 0 776109981 248516608 57715 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60673 57715 1111 63 0 60610 0
vsize: 242692
[startup+870.106 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 57939 0 0 0 86890 127 0 0 25 0 1 0 776109981 249118720 57863 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60820 57863 1111 63 0 60757 0
vsize: 243280
[startup+880.107 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58099 0 0 0 87889 128 0 0 25 0 1 0 776109981 249712640 58023 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60965 58023 1111 63 0 60902 0
vsize: 243860
[startup+890.112 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58254 0 0 0 88889 128 0 0 25 0 1 0 776109981 250466304 58178 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61149 58178 1111 63 0 61086 0
vsize: 244596
[startup+900.114 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58409 0 0 0 89889 129 0 0 25 0 1 0 776109981 251068416 58333 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61296 58333 1111 63 0 61233 0
vsize: 245184
[startup+910.114 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58569 0 0 0 90889 129 0 0 25 0 1 0 776109981 251662336 58493 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61441 58493 1111 63 0 61378 0
vsize: 245764
[startup+920.116 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58724 0 0 0 91889 130 0 0 25 0 1 0 776109981 252264448 58648 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61588 58648 1111 63 0 61525 0
vsize: 246352
[startup+930.117 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 58879 0 0 0 92888 130 0 0 25 0 1 0 776109981 253014016 58803 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61771 58803 1111 63 0 61708 0
vsize: 247084
[startup+940.116 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14749
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59041 0 0 0 93888 131 0 0 25 0 1 0 776109981 253616128 58965 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61918 58965 1111 63 0 61855 0
vsize: 247672
[startup+950.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59202 0 0 0 94887 132 0 0 25 0 1 0 776109981 254210048 59126 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62063 59126 1111 63 0 62000 0
vsize: 248252
[startup+960.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59363 0 0 0 95887 132 0 0 25 0 1 0 776109981 254963712 59287 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62247 59287 1111 63 0 62184 0
vsize: 248988
[startup+970.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59526 0 0 0 96886 133 0 0 25 0 1 0 776109981 255565824 59450 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62394 59450 1111 63 0 62331 0
vsize: 249576
[startup+980.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59696 0 0 0 97886 134 0 0 25 0 1 0 776109981 256311296 59620 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62576 59620 1111 63 0 62513 0
vsize: 250304
[startup+990.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 59863 0 0 0 98885 135 0 0 25 0 1 0 776109981 256909312 59787 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62722 59787 1111 63 0 62659 0
vsize: 250888
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60039 0 0 0 99885 135 0 0 25 0 1 0 776109981 257662976 59963 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62906 59963 1111 63 0 62843 0
vsize: 251624
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60203 0 0 0 100884 136 0 0 25 0 1 0 776109981 258408448 60127 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63088 60127 1111 63 0 63025 0
vsize: 252352
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60379 0 0 0 101884 136 0 0 25 0 1 0 776109981 259006464 60303 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63234 60303 1111 63 0 63171 0
vsize: 252936
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60554 0 0 0 102884 137 0 0 25 0 1 0 776109981 259756032 60478 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63417 60478 1111 63 0 63354 0
vsize: 253668
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60738 0 0 0 103884 137 0 0 25 0 1 0 776109981 260476928 60662 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63593 60662 1111 63 0 63530 0
vsize: 254372
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 60923 0 0 0 104883 138 0 0 25 0 1 0 776109981 261226496 60847 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63776 60847 1111 63 0 63713 0
vsize: 255104
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 61113 0 0 0 105883 139 0 0 25 0 1 0 776109981 262127616 61037 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63996 61037 1111 63 0 63933 0
vsize: 255984
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 61318 0 0 0 106882 140 0 0 25 0 1 0 776109981 262877184 61242 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64179 61242 1111 63 0 64116 0
vsize: 256716
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 61511 0 0 0 107881 140 0 0 25 0 1 0 776109981 263626752 61435 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64362 61435 1111 63 0 64299 0
vsize: 257448
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 61716 0 0 0 108881 141 0 0 25 0 1 0 776109981 264527872 61640 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64582 61640 1111 63 0 64519 0
vsize: 258328
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 61922 0 0 0 109879 143 0 0 25 0 1 0 776109981 265424896 61846 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64801 61846 1111 63 0 64738 0
vsize: 259204
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 62128 0 0 0 110879 143 0 0 25 0 1 0 776109981 266174464 62052 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64984 62052 1111 63 0 64921 0
vsize: 259936
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 62340 0 0 0 111878 144 0 0 25 0 1 0 776109981 267071488 62264 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65203 62264 1111 63 0 65140 0
vsize: 260812
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 62553 0 0 0 112878 145 0 0 25 0 1 0 776109981 267972608 62477 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65423 62477 1111 63 0 65360 0
vsize: 261692
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 62774 0 0 0 113878 145 0 0 25 0 1 0 776109981 268869632 62698 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65642 62698 1111 63 0 65579 0
vsize: 262568
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 63009 0 0 0 114878 146 0 0 25 0 1 0 776109981 269770752 62933 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65862 62933 1111 63 0 65799 0
vsize: 263448
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 63244 0 0 0 115877 146 0 0 25 0 1 0 776109981 270823424 63168 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66119 63168 1111 63 0 66056 0
vsize: 264476
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 63526 0 0 0 116878 147 0 0 25 0 1 0 776109981 272203776 63450 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66456 63450 1111 63 0 66393 0
vsize: 265824
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 63775 0 0 0 117877 147 0 0 25 0 1 0 776109981 273248256 63699 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66711 63699 1111 63 0 66648 0
vsize: 266844
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 64032 0 0 0 118877 148 0 0 25 0 1 0 776109981 274296832 63956 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66967 63956 1111 63 0 66904 0
vsize: 267868
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14751
Raw data (stat): 14694 (bsolo_lpr) R 14693 7266 7265 0 -1 0 64289 0 0 0 119877 148 0 0 25 0 1 0 776109981 275345408 64213 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67223 64213 1111 63 0 67160 0
vsize: 268892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 14751
Raw data (stat): 14694 (bsolo_lpr) Z 14693 7266 7265 0 -1 1036 64289 0 0 0 119877 160 0 0 25 0 1 0 776109981 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.26
CPU time (s): 1200.38
CPU user time (s): 1198.78
CPU system time (s): 1.60576
CPU usage (%): 100.01
Max. virtual memory (Kb): 268892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####