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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39171467771
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39171467771
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01184
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 26922

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764532 kB
Buffers:         33912 kB
Cached:         215248 kB
SwapCached:        876 kB
Active:          78176 kB
Inactive:       173536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764280 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:             908 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12660 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:29:19 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 19124 7 1200.3 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.93 0.97 0.94 2/54 1580
Raw data (stat): 1580 (runsolver) R 1579 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774066433 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 1158 0 0 0 992 4 0 0 25 0 1 0 774066433 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.001 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 1398 0 0 0 1991 5 0 0 25 0 1 0 774066433 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 1649 0 0 0 2991 5 0 0 25 0 1 0 774066433 18178048 1573 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1573 1111 63 0 4375 0
vsize: 17752
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 1896 0 0 0 3991 5 0 0 25 0 1 0 774066433 19165184 1820 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1820 1111 63 0 4616 0
vsize: 18716
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 2150 0 0 0 4991 6 0 0 25 0 1 0 774066433 20152320 2074 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2074 1111 63 0 4857 0
vsize: 19680
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 2403 0 0 0 5991 6 0 0 25 0 1 0 774066433 21274624 2327 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2327 1111 63 0 5131 0
vsize: 20776
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 2651 0 0 0 6991 6 0 0 25 0 1 0 774066433 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2575 1111 63 0 5372 0
vsize: 21740
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 2899 0 0 0 7990 7 0 0 25 0 1 0 774066433 23240704 2823 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2823 1111 63 0 5611 0
vsize: 22696
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 3153 0 0 0 8990 7 0 0 25 0 1 0 774066433 24227840 3077 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3077 1111 63 0 5852 0
vsize: 23660
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 3401 0 0 0 9990 8 0 0 25 0 1 0 774066433 25354240 3325 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3325 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 3655 0 0 0 10990 8 0 0 25 0 1 0 774066433 26341376 3579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3579 1111 63 0 6368 0
vsize: 25724
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 3911 0 0 0 11989 9 0 0 25 0 1 0 774066433 27348992 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3835 1111 63 0 6614 0
vsize: 26708
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 4165 0 0 0 12989 9 0 0 25 0 1 0 774066433 28475392 4089 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4089 1111 63 0 6889 0
vsize: 27808
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 4421 0 0 0 13989 9 0 0 25 0 1 0 774066433 29462528 4345 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4345 1111 63 0 7130 0
vsize: 28772
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 4669 0 0 0 14989 10 0 0 25 0 1 0 774066433 30441472 4593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4593 1111 63 0 7369 0
vsize: 29728
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 4929 0 0 0 15988 10 0 0 25 0 1 0 774066433 31567872 4853 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4853 1111 63 0 7644 0
vsize: 30828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 5179 0 0 0 16988 11 0 0 25 0 1 0 774066433 32555008 5103 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7948 5103 1111 63 0 7885 0
vsize: 31792
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 5440 0 0 0 17988 11 0 0 25 0 1 0 774066433 33681408 5364 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5364 1111 63 0 8160 0
vsize: 32892
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 5689 0 0 0 18989 11 0 0 25 0 1 0 774066433 34668544 5613 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5613 1111 63 0 8401 0
vsize: 33856
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 5950 0 0 0 19988 11 0 0 25 0 1 0 774066433 35794944 5874 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5874 1111 63 0 8676 0
vsize: 34956
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 6204 0 0 0 20988 12 0 0 25 0 1 0 774066433 36782080 6128 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6128 1111 63 0 8917 0
vsize: 35920
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 6470 0 0 0 21988 12 0 0 25 0 1 0 774066433 37920768 6394 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6394 1111 63 0 9195 0
vsize: 37032
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 6730 0 0 0 22988 13 0 0 25 0 1 0 774066433 39043072 6654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6654 1111 63 0 9469 0
vsize: 38128
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 6985 0 0 0 23987 14 0 0 25 0 1 0 774066433 40030208 6909 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6909 1111 63 0 9710 0
vsize: 39092
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 7241 0 0 0 24987 14 0 0 25 0 1 0 774066433 41017344 7165 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10014 7165 1111 63 0 9951 0
vsize: 40056
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 7503 0 0 0 25987 15 0 0 25 0 1 0 774066433 42143744 7427 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7427 1111 63 0 10226 0
vsize: 41156
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 7764 0 0 0 26986 16 0 0 25 0 1 0 774066433 43270144 7688 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7688 1111 63 0 10501 0
vsize: 42256
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 8027 0 0 0 27986 16 0 0 25 0 1 0 774066433 44257280 7951 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7951 1111 63 0 10742 0
vsize: 43220
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 8282 0 0 0 28985 16 0 0 25 0 1 0 774066433 45383680 8206 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8206 1111 63 0 11017 0
vsize: 44320
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 8545 0 0 0 29985 17 0 0 25 0 1 0 774066433 46370816 8469 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8469 1111 63 0 11258 0
vsize: 45284
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 8805 0 0 0 30985 18 0 0 25 0 1 0 774066433 47489024 8729 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8729 1111 63 0 11531 0
vsize: 46376
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 9067 0 0 0 31984 19 0 0 25 0 1 0 774066433 48476160 8991 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 8991 1111 63 0 11772 0
vsize: 47340
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 9329 0 0 0 32983 19 0 0 25 0 1 0 774066433 49602560 9253 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9253 1111 63 0 12047 0
vsize: 48440
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 9592 0 0 0 33983 20 0 0 25 0 1 0 774066433 50733056 9516 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9516 1111 63 0 12323 0
vsize: 49544
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 9854 0 0 0 34983 20 0 0 25 0 1 0 774066433 51716096 9778 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9778 1111 63 0 12563 0
vsize: 50504
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 10123 0 0 0 35983 21 0 0 25 0 1 0 774066433 52842496 10047 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10047 1111 63 0 12838 0
vsize: 51604
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 10385 0 0 0 36982 21 0 0 25 0 1 0 774066433 53968896 10309 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10309 1111 63 0 13113 0
vsize: 52704
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 10648 0 0 0 37982 22 0 0 25 0 1 0 774066433 54960128 10572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 10572 1111 63 0 13355 0
vsize: 53672
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 10917 0 0 0 38981 23 0 0 25 0 1 0 774066433 56086528 10841 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10841 1111 63 0 13630 0
vsize: 54772
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 11185 0 0 0 39981 23 0 0 25 0 1 0 774066433 57212928 11109 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11109 1111 63 0 13905 0
vsize: 55872
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 11445 0 0 0 40981 24 0 0 25 0 1 0 774066433 58191872 11369 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14207 11369 1111 63 0 14144 0
vsize: 56828
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 11713 0 0 0 41980 24 0 0 25 0 1 0 774066433 59318272 11637 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11637 1111 63 0 14419 0
vsize: 57928
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 12000 0 0 0 42980 25 0 0 25 0 1 0 774066433 60674048 11924 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11924 1111 63 0 14750 0
vsize: 59252
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 12267 0 0 0 43980 25 0 0 25 0 1 0 774066433 61792256 12191 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12191 1111 63 0 15023 0
vsize: 60344
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 12536 0 0 0 44980 26 0 0 25 0 1 0 774066433 62779392 12460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12460 1111 63 0 15264 0
vsize: 61308
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 12806 0 0 0 45979 26 0 0 25 0 1 0 774066433 63905792 12730 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12730 1111 63 0 15539 0
vsize: 62408
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 13075 0 0 0 46979 27 0 0 25 0 1 0 774066433 65032192 12999 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 12999 1111 63 0 15814 0
vsize: 63508
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 13344 0 0 0 47979 27 0 0 25 0 1 0 774066433 66158592 13268 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13268 1111 63 0 16089 0
vsize: 64608
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 13613 0 0 0 48979 27 0 0 25 0 1 0 774066433 67284992 13537 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13537 1111 63 0 16364 0
vsize: 65708
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 13889 0 0 0 49979 28 0 0 25 0 1 0 774066433 68411392 13813 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13813 1111 63 0 16639 0
vsize: 66808
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 14158 0 0 0 50978 28 0 0 25 0 1 0 774066433 69398528 14082 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14082 1111 63 0 16880 0
vsize: 67772
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 14427 0 0 0 51978 29 0 0 25 0 1 0 774066433 70520832 14351 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17217 14351 1111 63 0 17154 0
vsize: 68868
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 14701 0 0 0 52978 29 0 0 25 0 1 0 774066433 71647232 14625 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14625 1111 63 0 17429 0
vsize: 69968
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 14977 0 0 0 53978 29 0 0 25 0 1 0 774066433 72773632 14901 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14901 1111 63 0 17704 0
vsize: 71068
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 15253 0 0 0 54978 30 0 0 25 0 1 0 774066433 73900032 15177 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 15177 1111 63 0 17979 0
vsize: 72168
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 15529 0 0 0 55977 30 0 0 25 0 1 0 774066433 75026432 15453 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15453 1111 63 0 18254 0
vsize: 73268
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 15804 0 0 0 56977 31 0 0 25 0 1 0 774066433 76152832 15728 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15728 1111 63 0 18529 0
vsize: 74368
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 16080 0 0 0 57977 31 0 0 25 0 1 0 774066433 77283328 16004 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18868 16004 1111 63 0 18805 0
vsize: 75472
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 16356 0 0 0 58977 32 0 0 25 0 1 0 774066433 78409728 16280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19143 16280 1111 63 0 19080 0
vsize: 76572
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 16632 0 0 0 59976 32 0 0 25 0 1 0 774066433 79536128 16556 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 16556 1111 63 0 19355 0
vsize: 77672
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 16909 0 0 0 60976 33 0 0 25 0 1 0 774066433 80662528 16833 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19693 16833 1111 63 0 19630 0
vsize: 78772
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 17184 0 0 0 61975 34 0 0 25 0 1 0 774066433 81788928 17108 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19968 17108 1111 63 0 19905 0
vsize: 79872
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 17466 0 0 0 62975 34 0 0 25 0 1 0 774066433 82915328 17390 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20243 17390 1111 63 0 20180 0
vsize: 80972
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 17743 0 0 0 63975 34 0 0 25 0 1 0 774066433 84041728 17667 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20518 17667 1111 63 0 20455 0
vsize: 82072
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 18026 0 0 0 64975 35 0 0 25 0 1 0 774066433 85307392 17950 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17950 1111 63 0 20764 0
vsize: 83308
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 18308 0 0 0 65975 35 0 0 25 0 1 0 774066433 86433792 18232 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18232 1111 63 0 21039 0
vsize: 84408
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 18590 0 0 0 66975 36 0 0 25 0 1 0 774066433 87560192 18514 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21377 18514 1111 63 0 21314 0
vsize: 85508
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 18867 0 0 0 67974 36 0 0 25 0 1 0 774066433 88686592 18791 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21652 18791 1111 63 0 21589 0
vsize: 86608
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 19156 0 0 0 68974 37 0 0 25 0 1 0 774066433 89817088 19080 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21928 19080 1111 63 0 21865 0
vsize: 87712
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 19439 0 0 0 69974 37 0 0 25 0 1 0 774066433 91082752 19363 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19363 1111 63 0 22174 0
vsize: 88948
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 19722 0 0 0 70974 37 0 0 25 0 1 0 774066433 92209152 19646 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22512 19646 1111 63 0 22449 0
vsize: 90048
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 20011 0 0 0 71973 38 0 0 25 0 1 0 774066433 93331456 19935 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22786 19935 1111 63 0 22723 0
vsize: 91144
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 20287 0 0 0 72973 38 0 0 25 0 1 0 774066433 94457856 20211 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23061 20211 1111 63 0 22998 0
vsize: 92244
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 20576 0 0 0 73972 39 0 0 25 0 1 0 774066433 95723520 20500 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20500 1111 63 0 23307 0
vsize: 93480
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 20865 0 0 0 74972 40 0 0 25 0 1 0 774066433 96849920 20789 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23645 20789 1111 63 0 23582 0
vsize: 94580
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 21148 0 0 0 75972 41 0 0 25 0 1 0 774066433 97976320 21072 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23920 21072 1111 63 0 23857 0
vsize: 95680
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 21437 0 0 0 76971 41 0 0 25 0 1 0 774066433 99246080 21361 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21361 1111 63 0 24167 0
vsize: 96920
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 21721 0 0 0 77970 42 0 0 25 0 1 0 774066433 100372480 21645 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24505 21645 1111 63 0 24442 0
vsize: 98020
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 22010 0 0 0 78971 42 0 0 25 0 1 0 774066433 101498880 21934 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24780 21934 1111 63 0 24717 0
vsize: 99120
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 22300 0 0 0 79970 43 0 0 25 0 1 0 774066433 102764544 22224 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25089 22224 1111 63 0 25026 0
vsize: 100356
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 22589 0 0 0 80970 43 0 0 25 0 1 0 774066433 103890944 22513 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25364 22513 1111 63 0 25301 0
vsize: 101456
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 22884 0 0 0 81970 43 0 0 25 0 1 0 774066433 105160704 22808 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25674 22808 1111 63 0 25611 0
vsize: 102696
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 23207 0 0 0 82970 44 0 0 25 0 1 0 774066433 106643456 23131 4294967295 134512640 134714508 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26036 23131 1111 63 0 25973 0
vsize: 104144
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 23502 0 0 0 83969 45 0 0 25 0 1 0 774066433 107913216 23426 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23426 1111 63 0 26283 0
vsize: 105384
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 23793 0 0 0 84969 45 0 0 25 0 1 0 774066433 109039616 23717 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26621 23717 1111 63 0 26558 0
vsize: 106484
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 24089 0 0 0 85969 46 0 0 25 0 1 0 774066433 110305280 24013 4294967295 134512640 134714508 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26930 24013 1111 63 0 26867 0
vsize: 107720
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 24385 0 0 0 86968 47 0 0 25 0 1 0 774066433 111431680 24309 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27205 24309 1111 63 0 27142 0
vsize: 108820
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 24681 0 0 0 87967 47 0 0 25 0 1 0 774066433 112701440 24605 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27515 24605 1111 63 0 27452 0
vsize: 110060
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 24977 0 0 0 88967 48 0 0 25 0 1 0 774066433 113967104 24901 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27824 24901 1111 63 0 27761 0
vsize: 111296
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 25275 0 0 0 89967 48 0 0 25 0 1 0 774066433 115093504 25199 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28099 25199 1111 63 0 28036 0
vsize: 112396
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 25571 0 0 0 90966 49 0 0 25 0 1 0 774066433 116359168 25495 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28408 25495 1111 63 0 28345 0
vsize: 113632
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 25875 0 0 0 91967 49 0 0 25 0 1 0 774066433 117624832 25799 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25799 1111 63 0 28654 0
vsize: 114868
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 26170 0 0 0 92966 50 0 0 25 0 1 0 774066433 118751232 26094 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28992 26094 1111 63 0 28929 0
vsize: 115968
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 26467 0 0 0 93966 50 0 0 25 0 1 0 774066433 120020992 26391 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26391 1111 63 0 29239 0
vsize: 117208
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 26770 0 0 0 94965 51 0 0 25 0 1 0 774066433 121286656 26694 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26694 1111 63 0 29548 0
vsize: 118444
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 27073 0 0 0 95965 52 0 0 25 0 1 0 774066433 122413056 26997 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29886 26997 1111 63 0 29823 0
vsize: 119544
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 27377 0 0 0 96964 52 0 0 25 0 1 0 774066433 123682816 27301 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27301 1111 63 0 30133 0
vsize: 120784
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 27680 0 0 0 97963 53 0 0 25 0 1 0 774066433 124948480 27604 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27604 1111 63 0 30442 0
vsize: 122020
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 27985 0 0 0 98963 54 0 0 25 0 1 0 774066433 126222336 27909 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27909 1111 63 0 30753 0
vsize: 123264
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 28288 0 0 0 99963 54 0 0 25 0 1 0 774066433 127488000 28212 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 28212 1111 63 0 31062 0
vsize: 124500
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 28593 0 0 0 100963 55 0 0 25 0 1 0 774066433 128606208 28517 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 28517 1111 63 0 31335 0
vsize: 125592
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 28896 0 0 0 101962 55 0 0 25 0 1 0 774066433 129880064 28820 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31709 28820 1111 63 0 31646 0
vsize: 126836
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 29204 0 0 0 102962 56 0 0 25 0 1 0 774066433 131145728 29128 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29128 1111 63 0 31955 0
vsize: 128072
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 29516 0 0 0 103962 56 0 0 25 0 1 0 774066433 132415488 29440 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32328 29440 1111 63 0 32265 0
vsize: 129312
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 29818 0 0 0 104962 57 0 0 25 0 1 0 774066433 133681152 29742 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 29742 1111 63 0 32574 0
vsize: 130548
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 30129 0 0 0 105961 57 0 0 25 0 1 0 774066433 134950912 30053 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32947 30053 1111 63 0 32884 0
vsize: 131788
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 30438 0 0 0 106961 58 0 0 25 0 1 0 774066433 136216576 30362 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33256 30362 1111 63 0 33193 0
vsize: 133024
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 30743 0 0 0 107960 58 0 0 25 0 1 0 774066433 137482240 30667 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30667 1111 63 0 33502 0
vsize: 134260
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 31058 0 0 0 108960 59 0 0 25 0 1 0 774066433 138747904 30982 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33874 30982 1111 63 0 33811 0
vsize: 135496
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 31370 0 0 0 109960 59 0 0 25 0 1 0 774066433 140017664 31294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34184 31294 1111 63 0 34121 0
vsize: 136736
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 31680 0 0 0 110960 60 0 0 25 0 1 0 774066433 141283328 31604 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31604 1111 63 0 34430 0
vsize: 137972
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 31995 0 0 0 111959 60 0 0 25 0 1 0 774066433 142548992 31919 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34802 31919 1111 63 0 34739 0
vsize: 139208
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 32313 0 0 0 112959 61 0 0 25 0 1 0 774066433 143814656 32237 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35111 32237 1111 63 0 35048 0
vsize: 140444
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 32623 0 0 0 113959 61 0 0 25 0 1 0 774066433 145084416 32547 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35421 32547 1111 63 0 35358 0
vsize: 141684
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 32941 0 0 0 114958 62 0 0 25 0 1 0 774066433 146489344 32865 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35764 32865 1111 63 0 35701 0
vsize: 143056
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 33257 0 0 0 115958 63 0 0 25 0 1 0 774066433 147759104 33181 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36074 33181 1111 63 0 36011 0
vsize: 144296
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 33570 0 0 0 116957 64 0 0 25 0 1 0 774066433 149024768 33494 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36383 33494 1111 63 0 36320 0
vsize: 145532
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 33886 0 0 0 117957 64 0 0 25 0 1 0 774066433 150298624 33810 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36694 33810 1111 63 0 36631 0
vsize: 146776
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 34211 0 0 0 118957 65 0 0 25 0 1 0 774066433 151564288 34135 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37003 34135 1111 63 0 36940 0
vsize: 148012
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 1580
Raw data (stat): 1580 (bsolo_lpr) R 1579 31399 31398 0 -1 0 34533 0 0 0 119957 65 0 0 25 0 1 0 774066433 152973312 34457 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37347 34457 1111 63 0 37284 0
vsize: 149388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 1580
Raw data (stat): 1580 (bsolo_lpr) Z 1579 31399 31398 0 -1 1036 34533 0 0 0 119958 71 0 0 21 0 1 0 774066433 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.27
CPU time (s): 1200.3
CPU user time (s): 1199.58
CPU system time (s): 0.71889
CPU usage (%): 100.002
Max. virtual memory (Kb): 149388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####