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/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29637219205243
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29637219205243
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44978
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28197

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 00:58:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14132 boxname=wulflinc6 idbench=1088 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c6fa043dbbb5b108d149e4ec9ce5fa2c  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370a.opb
IDLAUNCH: 14132
/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:        775036 kB
Buffers:         30644 kB
Cached:         206064 kB
SwapCached:        408 kB
Active:          74684 kB
Inactive:       164292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        774784 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            14984 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:18:34 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 14132 7 1200.39 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.85 0.94 0.91 1/54 31869
Raw data (stat): 31869 (runsolver) D 31868 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776518374 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1296 0 0 0 986 4 0 0 25 0 1 0 776518374 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1406 0 0 0 1987 4 0 0 25 0 1 0 776518374 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1515 0 0 0 2987 4 0 0 25 0 1 0 776518374 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1625 0 0 0 3987 4 0 0 25 0 1 0 776518374 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1737 0 0 0 4987 5 0 0 25 0 1 0 776518374 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0041 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1847 0 0 0 5987 5 0 0 25 0 1 0 776518374 17862656 1771 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1771 1111 63 0 4298 0
vsize: 17444
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 1950 0 0 0 6988 5 0 0 25 0 1 0 776518374 18161664 1874 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1874 1111 63 0 4371 0
vsize: 17736
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2067 0 0 0 7988 5 0 0 25 0 1 0 776518374 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0055 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31869
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2176 0 0 0 8988 5 0 0 25 0 1 0 776518374 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.005 s]
Raw data (loadavg): 1.12 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2285 0 0 0 9974 19 0 0 25 0 1 0 776518374 19656704 2209 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2209 1111 63 0 4736 0
vsize: 19196
[startup+110.006 s]
Raw data (loadavg): 1.10 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2395 0 0 0 10975 19 0 0 25 0 1 0 776518374 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.007 s]
Raw data (loadavg): 1.09 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2506 0 0 0 11975 19 0 0 25 0 1 0 776518374 20557824 2430 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.007 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2615 0 0 0 12975 20 0 0 25 0 1 0 776518374 21004288 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.007 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2725 0 0 0 13975 20 0 0 25 0 1 0 776518374 21434368 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.007 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2834 0 0 0 14975 20 0 0 25 0 1 0 776518374 21872640 2758 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.008 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 31922
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 2945 0 0 0 15975 20 0 0 25 0 1 0 776518374 22323200 2869 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2869 1111 63 0 5387 0
vsize: 21800
[startup+170.007 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3054 0 0 0 16976 20 0 0 25 0 1 0 776518374 22773760 2978 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2978 1111 63 0 5497 0
vsize: 22240
[startup+180.008 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3172 0 0 0 17976 21 0 0 25 0 1 0 776518374 23232512 3096 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3096 1111 63 0 5609 0
vsize: 22688
[startup+190.009 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3280 0 0 0 18976 21 0 0 25 0 1 0 776518374 23662592 3204 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3204 1111 63 0 5714 0
vsize: 23108
[startup+200.009 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3397 0 0 0 19976 21 0 0 25 0 1 0 776518374 24113152 3321 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3321 1111 63 0 5824 0
vsize: 23548
[startup+210.009 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3501 0 0 0 20976 21 0 0 25 0 1 0 776518374 24559616 3425 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3425 1111 63 0 5933 0
vsize: 23984
[startup+220.011 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3618 0 0 0 21976 22 0 0 25 0 1 0 776518374 25010176 3542 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3542 1111 63 0 6043 0
vsize: 24424
[startup+230.012 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3728 0 0 0 22977 22 0 0 25 0 1 0 776518374 25460736 3652 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3652 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3839 0 0 0 23977 22 0 0 25 0 1 0 776518374 25911296 3763 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3763 1111 63 0 6263 0
vsize: 25304
[startup+250.012 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 3948 0 0 0 24977 22 0 0 25 0 1 0 776518374 26357760 3872 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3872 1111 63 0 6372 0
vsize: 25740
[startup+260.012 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4060 0 0 0 25977 22 0 0 25 0 1 0 776518374 26804224 3984 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3984 1111 63 0 6481 0
vsize: 26176
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4170 0 0 0 26977 22 0 0 25 0 1 0 776518374 27258880 4094 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4094 1111 63 0 6592 0
vsize: 26620
[startup+280.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4281 0 0 0 27978 23 0 0 25 0 1 0 776518374 27705344 4205 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4205 1111 63 0 6701 0
vsize: 27056
[startup+290.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4396 0 0 0 28978 23 0 0 25 0 1 0 776518374 28307456 4320 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4320 1111 63 0 6848 0
vsize: 27644
[startup+300.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4508 0 0 0 29978 23 0 0 25 0 1 0 776518374 28737536 4432 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4432 1111 63 0 6953 0
vsize: 28064
[startup+310.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4617 0 0 0 30978 24 0 0 25 0 1 0 776518374 29175808 4541 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4541 1111 63 0 7060 0
vsize: 28492
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4728 0 0 0 31978 24 0 0 25 0 1 0 776518374 29626368 4652 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 4652 1111 63 0 7170 0
vsize: 28932
[startup+330.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4837 0 0 0 32978 24 0 0 25 0 1 0 776518374 30076928 4761 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 4761 1111 63 0 7280 0
vsize: 29372
[startup+340.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 4954 0 0 0 33978 25 0 0 25 0 1 0 776518374 30527488 4878 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 4878 1111 63 0 7390 0
vsize: 29812
[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5063 0 0 0 34977 25 0 0 25 0 1 0 776518374 30973952 4987 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 4987 1111 63 0 7499 0
vsize: 30248
[startup+360.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5186 0 0 0 35977 26 0 0 25 0 1 0 776518374 31461376 5110 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5110 1111 63 0 7618 0
vsize: 30724
[startup+370.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5301 0 0 0 36977 26 0 0 25 0 1 0 776518374 32059392 5225 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7827 5225 1111 63 0 7764 0
vsize: 31308
[startup+380.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5413 0 0 0 37978 26 0 0 25 0 1 0 776518374 32514048 5337 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7938 5337 1111 63 0 7875 0
vsize: 31752
[startup+390.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5523 0 0 0 38978 26 0 0 25 0 1 0 776518374 32956416 5447 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8046 5447 1111 63 0 7983 0
vsize: 32184
[startup+400.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5640 0 0 0 39978 27 0 0 25 0 1 0 776518374 33411072 5564 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8157 5564 1111 63 0 8094 0
vsize: 32628
[startup+410.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31924
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5750 0 0 0 40978 27 0 0 25 0 1 0 776518374 33857536 5674 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 5674 1111 63 0 8203 0
vsize: 33064
[startup+420.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5862 0 0 0 41978 27 0 0 25 0 1 0 776518374 34312192 5786 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5786 1111 63 0 8314 0
vsize: 33508
[startup+430.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 5977 0 0 0 42979 27 0 0 25 0 1 0 776518374 34758656 5901 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8486 5901 1111 63 0 8423 0
vsize: 33944
[startup+440.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6089 0 0 0 43978 28 0 0 25 0 1 0 776518374 35213312 6013 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6013 1111 63 0 8534 0
vsize: 34388
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6199 0 0 0 44979 28 0 0 25 0 1 0 776518374 35655680 6123 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6123 1111 63 0 8642 0
vsize: 34820
[startup+460.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6316 0 0 0 45979 28 0 0 25 0 1 0 776518374 36110336 6240 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6240 1111 63 0 8753 0
vsize: 35264
[startup+470.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6427 0 0 0 46979 28 0 0 25 0 1 0 776518374 36556800 6351 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6351 1111 63 0 8862 0
vsize: 35700
[startup+480.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6538 0 0 0 47979 29 0 0 25 0 1 0 776518374 37011456 6462 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6462 1111 63 0 8973 0
vsize: 36144
[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6654 0 0 0 48979 29 0 0 25 0 1 0 776518374 37453824 6578 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6578 1111 63 0 9081 0
vsize: 36576
[startup+500.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6771 0 0 0 49979 29 0 0 25 0 1 0 776518374 38055936 6695 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 6695 1111 63 0 9228 0
vsize: 37164
[startup+510.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6882 0 0 0 50979 29 0 0 25 0 1 0 776518374 38506496 6806 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 6806 1111 63 0 9338 0
vsize: 37604
[startup+520.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 6993 0 0 0 51979 30 0 0 25 0 1 0 776518374 38957056 6917 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 6917 1111 63 0 9448 0
vsize: 38044
[startup+530.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7110 0 0 0 52980 30 0 0 25 0 1 0 776518374 39403520 7034 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7034 1111 63 0 9557 0
vsize: 38480
[startup+540.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7227 0 0 0 53980 30 0 0 25 0 1 0 776518374 39854080 7151 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7151 1111 63 0 9667 0
vsize: 38920
[startup+550.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7337 0 0 0 54980 30 0 0 25 0 1 0 776518374 40304640 7261 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7261 1111 63 0 9777 0
vsize: 39360
[startup+560.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7449 0 0 0 55980 30 0 0 25 0 1 0 776518374 40755200 7373 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7373 1111 63 0 9887 0
vsize: 39800
[startup+570.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7565 0 0 0 56980 31 0 0 25 0 1 0 776518374 41205760 7489 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7489 1111 63 0 9997 0
vsize: 40240
[startup+580.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7683 0 0 0 57980 31 0 0 25 0 1 0 776518374 41656320 7607 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7607 1111 63 0 10107 0
vsize: 40680
[startup+590.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7793 0 0 0 58980 31 0 0 25 0 1 0 776518374 42102784 7717 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7717 1111 63 0 10216 0
vsize: 41116
[startup+600.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 7911 0 0 0 59981 31 0 0 25 0 1 0 776518374 42704896 7835 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7835 1111 63 0 10363 0
vsize: 41704
[startup+610.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8022 0 0 0 60981 31 0 0 25 0 1 0 776518374 43151360 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 7946 1111 63 0 10472 0
vsize: 42140
[startup+620.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8138 0 0 0 61981 32 0 0 25 0 1 0 776518374 43606016 8062 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8062 1111 63 0 10583 0
vsize: 42584
[startup+630.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8256 0 0 0 62981 32 0 0 25 0 1 0 776518374 44048384 8180 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8180 1111 63 0 10691 0
vsize: 43016
[startup+640.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8366 0 0 0 63981 32 0 0 25 0 1 0 776518374 44470272 8290 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8290 1111 63 0 10794 0
vsize: 43428
[startup+650.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8484 0 0 0 64982 32 0 0 25 0 1 0 776518374 44920832 8408 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8408 1111 63 0 10904 0
vsize: 43868
[startup+660.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8594 0 0 0 65981 33 0 0 25 0 1 0 776518374 45371392 8518 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8518 1111 63 0 11014 0
vsize: 44308
[startup+670.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8711 0 0 0 66982 33 0 0 25 0 1 0 776518374 45973504 8635 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8635 1111 63 0 11161 0
vsize: 44896
[startup+680.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8827 0 0 0 67982 33 0 0 25 0 1 0 776518374 46419968 8751 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8751 1111 63 0 11270 0
vsize: 45332
[startup+690.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 8944 0 0 0 68982 33 0 0 25 0 1 0 776518374 46874624 8868 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8868 1111 63 0 11381 0
vsize: 45776
[startup+700.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9074 0 0 0 69982 33 0 0 25 0 1 0 776518374 47579136 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 8998 1111 63 0 11553 0
vsize: 46464
[startup+710.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9192 0 0 0 70983 34 0 0 25 0 1 0 776518374 47996928 9116 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9116 1111 63 0 11655 0
vsize: 46872
[startup+720.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9308 0 0 0 71983 34 0 0 25 0 1 0 776518374 48439296 9232 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9232 1111 63 0 11763 0
vsize: 47304
[startup+730.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9419 0 0 0 72983 34 0 0 25 0 1 0 776518374 48893952 9343 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9343 1111 63 0 11874 0
vsize: 47748
[startup+740.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9535 0 0 0 73983 34 0 0 25 0 1 0 776518374 49340416 9459 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9459 1111 63 0 11983 0
vsize: 48184
[startup+750.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9655 0 0 0 74983 34 0 0 25 0 1 0 776518374 49942528 9579 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9579 1111 63 0 12130 0
vsize: 48772
[startup+760.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9771 0 0 0 75983 35 0 0 25 0 1 0 776518374 50388992 9695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9695 1111 63 0 12239 0
vsize: 49208
[startup+770.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 9888 0 0 0 76984 35 0 0 25 0 1 0 776518374 50814976 9812 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9812 1111 63 0 12343 0
vsize: 49624
[startup+780.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10005 0 0 0 77984 35 0 0 25 0 1 0 776518374 51257344 9929 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9929 1111 63 0 12451 0
vsize: 50056
[startup+790.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10124 0 0 0 78984 35 0 0 25 0 1 0 776518374 51859456 10048 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10048 1111 63 0 12598 0
vsize: 50644
[startup+800.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10234 0 0 0 79984 35 0 0 25 0 1 0 776518374 52310016 10158 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10158 1111 63 0 12708 0
vsize: 51084
[startup+810.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10352 0 0 0 80984 36 0 0 25 0 1 0 776518374 52760576 10276 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10276 1111 63 0 12818 0
vsize: 51524
[startup+820.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10470 0 0 0 81985 36 0 0 25 0 1 0 776518374 53207040 10394 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10394 1111 63 0 12927 0
vsize: 51960
[startup+830.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10587 0 0 0 82985 36 0 0 25 0 1 0 776518374 53657600 10511 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10511 1111 63 0 13037 0
vsize: 52400
[startup+840.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10705 0 0 0 83985 37 0 0 25 0 1 0 776518374 54108160 10629 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10629 1111 63 0 13147 0
vsize: 52840
[startup+850.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10822 0 0 0 84985 37 0 0 25 0 1 0 776518374 54710272 10746 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10746 1111 63 0 13294 0
vsize: 53428
[startup+860.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 10939 0 0 0 85985 37 0 0 25 0 1 0 776518374 55160832 10863 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10863 1111 63 0 13404 0
vsize: 53868
[startup+870.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11051 0 0 0 86985 37 0 0 25 0 1 0 776518374 55607296 10975 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10975 1111 63 0 13513 0
vsize: 54304
[startup+880.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11170 0 0 0 87985 38 0 0 25 0 1 0 776518374 56057856 11094 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11094 1111 63 0 13623 0
vsize: 54744
[startup+890.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11286 0 0 0 88985 38 0 0 25 0 1 0 776518374 56508416 11210 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11210 1111 63 0 13733 0
vsize: 55184
[startup+900.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11404 0 0 0 89985 38 0 0 25 0 1 0 776518374 56958976 11328 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11328 1111 63 0 13843 0
vsize: 55624
[startup+910.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11521 0 0 0 90985 39 0 0 25 0 1 0 776518374 57552896 11445 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11445 1111 63 0 13988 0
vsize: 56204
[startup+920.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11646 0 0 0 91985 39 0 0 25 0 1 0 776518374 58007552 11570 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11570 1111 63 0 14099 0
vsize: 56648
[startup+930.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11762 0 0 0 92986 39 0 0 25 0 1 0 776518374 58454016 11686 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11686 1111 63 0 14208 0
vsize: 57084
[startup+940.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11880 0 0 0 93985 39 0 0 25 0 1 0 776518374 58908672 11804 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11804 1111 63 0 14319 0
vsize: 57528
[startup+950.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 11997 0 0 0 94985 40 0 0 25 0 1 0 776518374 59502592 11921 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 11921 1111 63 0 14464 0
vsize: 58108
[startup+960.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12116 0 0 0 95986 40 0 0 25 0 1 0 776518374 59953152 12040 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12040 1111 63 0 14574 0
vsize: 58548
[startup+970.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12233 0 0 0 96986 40 0 0 25 0 1 0 776518374 60403712 12157 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12157 1111 63 0 14684 0
vsize: 58988
[startup+980.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12351 0 0 0 97986 41 0 0 25 0 1 0 776518374 60854272 12275 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12275 1111 63 0 14794 0
vsize: 59428
[startup+990.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12469 0 0 0 98986 41 0 0 25 0 1 0 776518374 61300736 12393 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12393 1111 63 0 14903 0
vsize: 59864
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12591 0 0 0 99986 41 0 0 25 0 1 0 776518374 61902848 12515 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12515 1111 63 0 15050 0
vsize: 60452
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12710 0 0 0 100986 41 0 0 25 0 1 0 776518374 62353408 12634 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12634 1111 63 0 15160 0
vsize: 60892
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12827 0 0 0 101986 41 0 0 25 0 1 0 776518374 62803968 12751 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12751 1111 63 0 15270 0
vsize: 61332
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 12945 0 0 0 102987 42 0 0 25 0 1 0 776518374 63254528 12869 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12869 1111 63 0 15380 0
vsize: 61772
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13062 0 0 0 103987 42 0 0 25 0 1 0 776518374 63848448 12986 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12986 1111 63 0 15525 0
vsize: 62352
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13182 0 0 0 104987 42 0 0 25 0 1 0 776518374 64303104 13106 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13106 1111 63 0 15636 0
vsize: 62796
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13298 0 0 0 105987 42 0 0 25 0 1 0 776518374 64749568 13222 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13222 1111 63 0 15745 0
vsize: 63232
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13422 0 0 0 106988 43 0 0 25 0 1 0 776518374 65204224 13346 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13346 1111 63 0 15856 0
vsize: 63676
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13540 0 0 0 107988 43 0 0 25 0 1 0 776518374 65798144 13464 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16064 13464 1111 63 0 16001 0
vsize: 64256
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13665 0 0 0 108988 43 0 0 25 0 1 0 776518374 66248704 13589 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13589 1111 63 0 16111 0
vsize: 64696
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13782 0 0 0 109988 43 0 0 25 0 1 0 776518374 66699264 13706 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13706 1111 63 0 16221 0
vsize: 65136
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 13900 0 0 0 110988 43 0 0 25 0 1 0 776518374 67149824 13824 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13824 1111 63 0 16331 0
vsize: 65576
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14019 0 0 0 111989 44 0 0 25 0 1 0 776518374 67751936 13943 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13943 1111 63 0 16478 0
vsize: 66164
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14137 0 0 0 112989 44 0 0 25 0 1 0 776518374 68198400 14061 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14061 1111 63 0 16587 0
vsize: 66600
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14261 0 0 0 113989 44 0 0 25 0 1 0 776518374 68653056 14185 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14185 1111 63 0 16698 0
vsize: 67044
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14384 0 0 0 114989 44 0 0 25 0 1 0 776518374 69246976 14308 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16906 14308 1111 63 0 16843 0
vsize: 67624
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14503 0 0 0 115989 45 0 0 25 0 1 0 776518374 69701632 14427 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17017 14427 1111 63 0 16954 0
vsize: 68068
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14621 0 0 0 116989 45 0 0 25 0 1 0 776518374 70148096 14545 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14545 1111 63 0 17063 0
vsize: 68504
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14739 0 0 0 117989 45 0 0 25 0 1 0 776518374 70598656 14663 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14663 1111 63 0 17173 0
vsize: 68944
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14862 0 0 0 118990 45 0 0 25 0 1 0 776518374 71196672 14786 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17382 14786 1111 63 0 17319 0
vsize: 69528
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 31926
Raw data (stat): 31869 (bsolo_lpr) R 31868 25568 25567 0 -1 0 14988 0 0 0 119989 46 0 0 25 0 1 0 776518374 71647232 14912 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14912 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 31926
Raw data (stat): 31869 (bsolo_lpr) Z 31868 25568 25567 0 -1 1036 14988 0 0 0 119990 48 0 0 25 0 1 0 776518374 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.08
CPU time (s): 1200.39
CPU user time (s): 1199.9
CPU system time (s): 0.487925
CPU usage (%): 100.025
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####