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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
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	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 29035

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 04:27:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10674 boxname=wulflinc13 idbench=822 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 10674
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670240 kB
Buffers:         30416 kB
Cached:         312988 kB
SwapCached:        608 kB
Active:          70608 kB
Inactive:       275412 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669988 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6152 kB
Slab:            12740 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:47:16 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 10674 7 1200.33 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.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (runsolver) R 8994 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777777936 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 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.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1392 0 0 0 992 5 0 0 25 0 1 0 777777936 15511552 1316 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1316 1111 63 0 3724 0
vsize: 15148
[startup+20.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1488 0 0 0 1992 5 0 0 25 0 1 0 777777936 15806464 1412 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1412 1111 63 0 3796 0
vsize: 15436
[startup+30.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1582 0 0 0 2992 6 0 0 25 0 1 0 777777936 16232448 1506 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1506 1111 63 0 3900 0
vsize: 15852
[startup+40 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1676 0 0 0 3992 6 0 0 25 0 1 0 777777936 16678912 1600 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1600 1111 63 0 4009 0
vsize: 16288
[startup+50.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1766 0 0 0 4993 6 0 0 25 0 1 0 777777936 16982016 1690 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1690 1111 63 0 4083 0
vsize: 16584
[startup+60.0046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1863 0 0 0 5993 6 0 0 25 0 1 0 777777936 17412096 1787 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1787 1111 63 0 4188 0
vsize: 17004
[startup+70.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 1959 0 0 0 6993 6 0 0 25 0 1 0 777777936 17862656 1883 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1883 1111 63 0 4298 0
vsize: 17444
[startup+80.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2047 0 0 0 7994 6 0 0 25 0 1 0 777777936 18161664 1971 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1971 1111 63 0 4371 0
vsize: 17736
[startup+90.0351 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2149 0 0 0 8996 7 0 0 25 0 1 0 777777936 18616320 2073 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2073 1111 63 0 4482 0
vsize: 18180
[startup+100.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2237 0 0 0 9996 7 0 0 25 0 1 0 777777936 18915328 2161 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 2161 1111 63 0 4555 0
vsize: 18472
[startup+110.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2336 0 0 0 10996 7 0 0 25 0 1 0 777777936 19353600 2260 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 2260 1111 63 0 4662 0
vsize: 18900
[startup+120.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2433 0 0 0 11996 7 0 0 25 0 1 0 777777936 19804160 2357 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4835 2357 1111 63 0 4772 0
vsize: 19340
[startup+130.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2527 0 0 0 12996 7 0 0 25 0 1 0 777777936 20103168 2451 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2451 1111 63 0 4845 0
vsize: 19632
[startup+140.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2623 0 0 0 13996 7 0 0 25 0 1 0 777777936 20557824 2547 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2547 1111 63 0 4956 0
vsize: 20076
[startup+150.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2711 0 0 0 14996 8 0 0 25 0 1 0 777777936 20856832 2635 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2635 1111 63 0 5029 0
vsize: 20368
[startup+160.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2807 0 0 0 15996 8 0 0 25 0 1 0 777777936 21299200 2731 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2731 1111 63 0 5137 0
vsize: 20800
[startup+170.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2902 0 0 0 16996 8 0 0 25 0 1 0 777777936 21725184 2826 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2826 1111 63 0 5241 0
vsize: 21216
[startup+180.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 2996 0 0 0 17996 8 0 0 25 0 1 0 777777936 22020096 2920 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5376 2920 1111 63 0 5313 0
vsize: 21504
[startup+190.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3092 0 0 0 18996 9 0 0 25 0 1 0 777777936 22474752 3016 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 3016 1111 63 0 5424 0
vsize: 21948
[startup+200.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3186 0 0 0 19996 9 0 0 25 0 1 0 777777936 22773760 3110 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 3110 1111 63 0 5497 0
vsize: 22240
[startup+210.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3289 0 0 0 20996 9 0 0 25 0 1 0 777777936 23232512 3213 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3213 1111 63 0 5609 0
vsize: 22688
[startup+220.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3377 0 0 0 21996 9 0 0 25 0 1 0 777777936 23662592 3301 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3301 1111 63 0 5714 0
vsize: 23108
[startup+230.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3479 0 0 0 22996 9 0 0 25 0 1 0 777777936 24113152 3403 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3403 1111 63 0 5824 0
vsize: 23548
[startup+240.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3567 0 0 0 23996 9 0 0 25 0 1 0 777777936 24408064 3491 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3491 1111 63 0 5896 0
vsize: 23836
[startup+250.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3663 0 0 0 24996 9 0 0 25 0 1 0 777777936 24858624 3587 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3587 1111 63 0 6006 0
vsize: 24276
[startup+260.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3760 0 0 0 25996 9 0 0 25 0 1 0 777777936 25161728 3684 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 3684 1111 63 0 6080 0
vsize: 24572
[startup+270.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3854 0 0 0 26996 10 0 0 25 0 1 0 777777936 25608192 3778 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 3778 1111 63 0 6189 0
vsize: 25008
[startup+280.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 3950 0 0 0 27996 10 0 0 25 0 1 0 777777936 25911296 3874 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3874 1111 63 0 6263 0
vsize: 25304
[startup+290.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4044 0 0 0 28996 10 0 0 25 0 1 0 777777936 26357760 3968 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3968 1111 63 0 6372 0
vsize: 25740
[startup+300.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4141 0 0 0 29997 10 0 0 25 0 1 0 777777936 26804224 4065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 4065 1111 63 0 6481 0
vsize: 26176
[startup+310.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4236 0 0 0 30996 11 0 0 25 0 1 0 777777936 27107328 4160 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6618 4160 1111 63 0 6555 0
vsize: 26472
[startup+320.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4331 0 0 0 31997 11 0 0 25 0 1 0 777777936 27557888 4255 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6728 4255 1111 63 0 6665 0
vsize: 26912
[startup+330.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4427 0 0 0 32998 11 0 0 25 0 1 0 777777936 27860992 4351 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6802 4351 1111 63 0 6739 0
vsize: 27208
[startup+340.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4522 0 0 0 33998 11 0 0 25 0 1 0 777777936 28307456 4446 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4446 1111 63 0 6848 0
vsize: 27644
[startup+350.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4619 0 0 0 34998 11 0 0 25 0 1 0 777777936 28737536 4543 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4543 1111 63 0 6953 0
vsize: 28064
[startup+360.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4713 0 0 0 35998 11 0 0 25 0 1 0 777777936 29028352 4637 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4637 1111 63 0 7024 0
vsize: 28348
[startup+370.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4809 0 0 0 36998 11 0 0 25 0 1 0 777777936 29474816 4733 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4733 1111 63 0 7133 0
vsize: 28784
[startup+380.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4904 0 0 0 37998 12 0 0 25 0 1 0 777777936 29925376 4828 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4828 1111 63 0 7243 0
vsize: 29224
[startup+390.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 4998 0 0 0 38998 12 0 0 25 0 1 0 777777936 30224384 4922 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7379 4922 1111 63 0 7316 0
vsize: 29516
[startup+400.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5094 0 0 0 39998 12 0 0 25 0 1 0 777777936 30679040 5018 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 5018 1111 63 0 7427 0
vsize: 29960
[startup+410.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5189 0 0 0 40998 12 0 0 25 0 1 0 777777936 30973952 5113 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 5113 1111 63 0 7499 0
vsize: 30248
[startup+420.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5296 0 0 0 41998 12 0 0 25 0 1 0 777777936 31461376 5220 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5220 1111 63 0 7618 0
vsize: 30724
[startup+430.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5391 0 0 0 42999 13 0 0 25 0 1 0 777777936 31911936 5315 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 5315 1111 63 0 7728 0
vsize: 31164
[startup+440.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5488 0 0 0 44000 13 0 0 25 0 1 0 777777936 32362496 5412 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5412 1111 63 0 7838 0
vsize: 31604
[startup+450.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5583 0 0 0 45001 13 0 0 25 0 1 0 777777936 32661504 5507 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5507 1111 63 0 7911 0
vsize: 31896
[startup+460.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5677 0 0 0 46001 13 0 0 25 0 1 0 777777936 33107968 5601 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5601 1111 63 0 8020 0
vsize: 32332
[startup+470.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5780 0 0 0 47001 13 0 0 25 0 1 0 777777936 33558528 5704 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5704 1111 63 0 8130 0
vsize: 32772
[startup+480.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5869 0 0 0 48001 13 0 0 25 0 1 0 777777936 33857536 5793 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 5793 1111 63 0 8203 0
vsize: 33064
[startup+490.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 5972 0 0 0 49001 13 0 0 25 0 1 0 777777936 34312192 5896 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5896 1111 63 0 8314 0
vsize: 33508
[startup+500.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6067 0 0 0 50001 14 0 0 25 0 1 0 777777936 34611200 5991 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 5991 1111 63 0 8387 0
vsize: 33800
[startup+510.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6163 0 0 0 51000 14 0 0 25 0 1 0 777777936 35061760 6087 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 6087 1111 63 0 8497 0
vsize: 34240
[startup+520.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6259 0 0 0 52000 14 0 0 25 0 1 0 777777936 35508224 6183 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6183 1111 63 0 8606 0
vsize: 34676
[startup+530.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6353 0 0 0 53001 14 0 0 25 0 1 0 777777936 35807232 6277 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8742 6277 1111 63 0 8679 0
vsize: 34968
[startup+540.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6450 0 0 0 54001 14 0 0 25 0 1 0 777777936 36257792 6374 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8852 6374 1111 63 0 8789 0
vsize: 35408
[startup+550.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6545 0 0 0 55001 15 0 0 25 0 1 0 777777936 36556800 6469 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6469 1111 63 0 8862 0
vsize: 35700
[startup+560.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6647 0 0 0 56000 15 0 0 25 0 1 0 777777936 37011456 6571 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6571 1111 63 0 8973 0
vsize: 36144
[startup+570.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6743 0 0 0 57001 15 0 0 25 0 1 0 777777936 37453824 6667 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6667 1111 63 0 9081 0
vsize: 36576
[startup+580.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6839 0 0 0 58000 15 0 0 25 0 1 0 777777936 37761024 6763 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6763 1111 63 0 9156 0
vsize: 36876
[startup+590.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 6934 0 0 0 59001 16 0 0 25 0 1 0 777777936 38207488 6858 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6858 1111 63 0 9265 0
vsize: 37312
[startup+600.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7031 0 0 0 60001 16 0 0 25 0 1 0 777777936 38658048 6955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6955 1111 63 0 9375 0
vsize: 37752
[startup+610.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7132 0 0 0 61002 16 0 0 25 0 1 0 777777936 38957056 7056 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 7056 1111 63 0 9448 0
vsize: 38044
[startup+620.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7228 0 0 0 62002 16 0 0 25 0 1 0 777777936 39403520 7152 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7152 1111 63 0 9557 0
vsize: 38480
[startup+630.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7324 0 0 0 63002 16 0 0 25 0 1 0 777777936 39854080 7248 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7248 1111 63 0 9667 0
vsize: 38920
[startup+640.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7419 0 0 0 64002 16 0 0 25 0 1 0 777777936 40153088 7343 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 7343 1111 63 0 9740 0
vsize: 39212
[startup+650.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7516 0 0 0 65002 17 0 0 25 0 1 0 777777936 40607744 7440 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7440 1111 63 0 9851 0
vsize: 39656
[startup+660.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7617 0 0 0 66001 17 0 0 25 0 1 0 777777936 41054208 7541 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10023 7541 1111 63 0 9960 0
vsize: 40092
[startup+670.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7714 0 0 0 67002 17 0 0 25 0 1 0 777777936 41357312 7638 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7638 1111 63 0 10034 0
vsize: 40388
[startup+680.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7809 0 0 0 68002 17 0 0 25 0 1 0 777777936 41803776 7733 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7733 1111 63 0 10143 0
vsize: 40824
[startup+690.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 7912 0 0 0 69002 17 0 0 25 0 1 0 777777936 42250240 7836 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7836 1111 63 0 10252 0
vsize: 41260
[startup+700.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8001 0 0 0 70002 17 0 0 25 0 1 0 777777936 42553344 7925 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10389 7925 1111 63 0 10326 0
vsize: 41556
[startup+710.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8102 0 0 0 71002 17 0 0 25 0 1 0 777777936 43003904 8026 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10499 8026 1111 63 0 10436 0
vsize: 41996
[startup+720.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8199 0 0 0 72002 17 0 0 25 0 1 0 777777936 43307008 8123 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 8123 1111 63 0 10510 0
vsize: 42292
[startup+730.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8294 0 0 0 73003 18 0 0 25 0 1 0 777777936 43753472 8218 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8218 1111 63 0 10619 0
vsize: 42728
[startup+740.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8396 0 0 0 74003 18 0 0 25 0 1 0 777777936 44183552 8320 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8320 1111 63 0 10724 0
vsize: 43148
[startup+750.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8492 0 0 0 75003 18 0 0 25 0 1 0 777777936 44621824 8416 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8416 1111 63 0 10831 0
vsize: 43576
[startup+760.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8588 0 0 0 76003 18 0 0 25 0 1 0 777777936 44920832 8512 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8512 1111 63 0 10904 0
vsize: 43868
[startup+770.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8689 0 0 0 77003 18 0 0 25 0 1 0 777777936 45371392 8613 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8613 1111 63 0 11014 0
vsize: 44308
[startup+780.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8784 0 0 0 78003 19 0 0 25 0 1 0 777777936 45821952 8708 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8708 1111 63 0 11124 0
vsize: 44748
[startup+790.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8881 0 0 0 79003 19 0 0 25 0 1 0 777777936 46125056 8805 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8805 1111 63 0 11198 0
vsize: 45044
[startup+800.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 8982 0 0 0 80003 19 0 0 25 0 1 0 777777936 46567424 8906 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8906 1111 63 0 11306 0
vsize: 45476
[startup+810.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9078 0 0 0 81003 19 0 0 25 0 1 0 777777936 47022080 9002 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 9002 1111 63 0 11417 0
vsize: 45920
[startup+820.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9192 0 0 0 82003 19 0 0 25 0 1 0 777777936 47579136 9116 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9116 1111 63 0 11553 0
vsize: 46464
[startup+830.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9295 0 0 0 83003 19 0 0 25 0 1 0 777777936 47996928 9219 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9219 1111 63 0 11655 0
vsize: 46872
[startup+840.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9396 0 0 0 84003 20 0 0 25 0 1 0 777777936 48439296 9320 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9320 1111 63 0 11763 0
vsize: 47304
[startup+850.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9493 0 0 0 85003 20 0 0 25 0 1 0 777777936 48738304 9417 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11899 9417 1111 63 0 11836 0
vsize: 47596
[startup+860.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9588 0 0 0 86003 20 0 0 25 0 1 0 777777936 49192960 9512 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12010 9512 1111 63 0 11947 0
vsize: 48040
[startup+870.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9690 0 0 0 87003 20 0 0 25 0 1 0 777777936 49639424 9614 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12119 9614 1111 63 0 12056 0
vsize: 48476
[startup+880.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9788 0 0 0 88003 20 0 0 25 0 1 0 777777936 49942528 9712 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9712 1111 63 0 12130 0
vsize: 48772
[startup+890.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9883 0 0 0 89003 20 0 0 25 0 1 0 777777936 50388992 9807 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9807 1111 63 0 12239 0
vsize: 49208
[startup+900.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 9985 0 0 0 90003 21 0 0 25 0 1 0 777777936 50814976 9909 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9909 1111 63 0 12343 0
vsize: 49624
[startup+910.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10086 0 0 0 91003 21 0 0 25 0 1 0 777777936 51257344 10010 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 10010 1111 63 0 12451 0
vsize: 50056
[startup+920.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10184 0 0 0 92003 21 0 0 25 0 1 0 777777936 51560448 10108 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12588 10108 1111 63 0 12525 0
vsize: 50352
[startup+930.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10280 0 0 0 93003 21 0 0 25 0 1 0 777777936 52011008 10204 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12698 10204 1111 63 0 12635 0
vsize: 50792
[startup+940.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10383 0 0 0 94003 21 0 0 25 0 1 0 777777936 52461568 10307 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12808 10307 1111 63 0 12745 0
vsize: 51232
[startup+950.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10484 0 0 0 95003 22 0 0 25 0 1 0 777777936 52760576 10408 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10408 1111 63 0 12818 0
vsize: 51524
[startup+960.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10580 0 0 0 96003 22 0 0 25 0 1 0 777777936 53207040 10504 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10504 1111 63 0 12927 0
vsize: 51960
[startup+970.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10677 0 0 0 97003 22 0 0 25 0 1 0 777777936 53657600 10601 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10601 1111 63 0 13037 0
vsize: 52400
[startup+980.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10779 0 0 0 98003 23 0 0 25 0 1 0 777777936 53956608 10703 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13173 10703 1111 63 0 13110 0
vsize: 52692
[startup+990.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10881 0 0 0 99003 23 0 0 25 0 1 0 777777936 54411264 10805 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13284 10805 1111 63 0 13221 0
vsize: 53136
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 10977 0 0 0 100003 23 0 0 25 0 1 0 777777936 54857728 10901 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13393 10901 1111 63 0 13330 0
vsize: 53572
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11073 0 0 0 101003 23 0 0 25 0 1 0 777777936 55160832 10997 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10997 1111 63 0 13404 0
vsize: 53868
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11176 0 0 0 102003 23 0 0 25 0 1 0 777777936 55607296 11100 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 11100 1111 63 0 13513 0
vsize: 54304
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11279 0 0 0 103003 23 0 0 25 0 1 0 777777936 56057856 11203 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11203 1111 63 0 13623 0
vsize: 54744
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11374 0 0 0 104003 23 0 0 25 0 1 0 777777936 56508416 11298 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11298 1111 63 0 13733 0
vsize: 55184
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11477 0 0 0 105003 24 0 0 25 0 1 0 777777936 56803328 11401 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 11401 1111 63 0 13805 0
vsize: 55472
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11572 0 0 0 106003 24 0 0 25 0 1 0 777777936 57257984 11496 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 11496 1111 63 0 13916 0
vsize: 55916
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11675 0 0 0 107003 24 0 0 25 0 1 0 777777936 57704448 11599 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14088 11599 1111 63 0 14025 0
vsize: 56352
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11779 0 0 0 108003 24 0 0 25 0 1 0 777777936 58155008 11703 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14198 11703 1111 63 0 14135 0
vsize: 56792
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11874 0 0 0 109003 24 0 0 25 0 1 0 777777936 58454016 11798 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11798 1111 63 0 14208 0
vsize: 57084
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 11977 0 0 0 110003 24 0 0 25 0 1 0 777777936 58908672 11901 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11901 1111 63 0 14319 0
vsize: 57528
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12072 0 0 0 111004 24 0 0 25 0 1 0 777777936 59351040 11996 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11996 1111 63 0 14427 0
vsize: 57960
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12176 0 0 0 112004 25 0 0 25 0 1 0 777777936 59658240 12100 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14565 12100 1111 63 0 14502 0
vsize: 58260
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12278 0 0 0 113004 25 0 0 25 0 1 0 777777936 60104704 12202 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14674 12202 1111 63 0 14611 0
vsize: 58696
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12381 0 0 0 114004 25 0 0 25 0 1 0 777777936 60555264 12305 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12305 1111 63 0 14721 0
vsize: 59136
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12476 0 0 0 115004 25 0 0 25 0 1 0 777777936 61005824 12400 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 12400 1111 63 0 14831 0
vsize: 59576
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12579 0 0 0 116004 25 0 0 25 0 1 0 777777936 61300736 12503 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12503 1111 63 0 14903 0
vsize: 59864
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12675 0 0 0 117004 25 0 0 25 0 1 0 777777936 61755392 12599 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12599 1111 63 0 15014 0
vsize: 60308
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12777 0 0 0 118004 25 0 0 25 0 1 0 777777936 62201856 12701 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12701 1111 63 0 15123 0
vsize: 60744
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12880 0 0 0 119004 26 0 0 25 0 1 0 777777936 62652416 12804 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12804 1111 63 0 15233 0
vsize: 61184
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8995
Raw data (stat): 8995 (bsolo_lpr) R 8994 1269 1268 0 -1 0 12981 0 0 0 120004 26 0 0 25 0 1 0 777777936 62951424 12905 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15369 12905 1111 63 0 15306 0
vsize: 61476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8995
Raw data (stat): 8995 (bsolo_lpr) Z 8994 1269 1268 0 -1 1036 12981 0 0 0 120004 28 0 0 25 0 1 0 777777936 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.13
CPU time (s): 1200.33
CPU user time (s): 1200.04
CPU system time (s): 0.289955
CPU usage (%): 100.017
Max. virtual memory (Kb): 61476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####