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-n3703.opb
MD5SUM	a137a4431766bfb5dcfb15040aa6f686
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	154999
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	29657420026984
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	29657420026984
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.43978
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 26335

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898672 kB
Buffers:         34376 kB
Cached:          80204 kB
SwapCached:          0 kB
Active:          67720 kB
Inactive:        49824 kB
HighTotal:      131008 kB
HighFree:        46564 kB
LowTotal:       903652 kB
LowFree:        852108 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            12820 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:25:47 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 14041 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.93 0.98 1.08 2/54 3614
Raw data (stat): 3614 (runsolver) R 3613 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 759396073 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.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1296 0 0 0 991 6 0 0 25 0 1 0 759396073 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1406 0 0 0 1991 6 0 0 25 0 1 0 759396073 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414360 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.0018 s]
Raw data (loadavg): 0.96 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1515 0 0 0 2991 6 0 0 25 0 1 0 759396073 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.0015 s]
Raw data (loadavg): 0.96 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1625 0 0 0 3991 6 0 0 25 0 1 0 759396073 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0029 s]
Raw data (loadavg): 0.97 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1731 0 0 0 4991 6 0 0 25 0 1 0 759396073 17264640 1655 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1655 1111 63 0 4152 0
vsize: 16860
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1847 0 0 0 5991 7 0 0 25 0 1 0 759396073 17862656 1771 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.0038 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 1950 0 0 0 6991 7 0 0 25 0 1 0 759396073 18161664 1874 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.98 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2061 0 0 0 7991 7 0 0 25 0 1 0 759396073 18616320 1985 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1985 1111 63 0 4482 0
vsize: 18180
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2176 0 0 0 8991 7 0 0 25 0 1 0 759396073 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.004 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2285 0 0 0 9991 7 0 0 25 0 1 0 759396073 19656704 2209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.004 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2395 0 0 0 10991 7 0 0 25 0 1 0 759396073 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.005 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2506 0 0 0 11991 8 0 0 25 0 1 0 759396073 20557824 2430 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.005 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2615 0 0 0 12991 8 0 0 25 0 1 0 759396073 21004288 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.005 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2725 0 0 0 13991 8 0 0 25 0 1 0 759396073 21434368 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414382 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.006 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2834 0 0 0 14992 8 0 0 25 0 1 0 759396073 21872640 2758 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.006 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 2945 0 0 0 15991 8 0 0 25 0 1 0 759396073 22323200 2869 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3054 0 0 0 16991 9 0 0 25 0 1 0 759396073 22773760 2978 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3172 0 0 0 17991 9 0 0 25 0 1 0 759396073 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.007 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3280 0 0 0 18991 9 0 0 25 0 1 0 759396073 23662592 3204 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.007 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3397 0 0 0 19991 10 0 0 25 0 1 0 759396073 24113152 3321 4294967295 134512640 134714508 3221224592 3221222820 1077414410 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.007 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3501 0 0 0 20991 10 0 0 25 0 1 0 759396073 24559616 3425 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.007 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3618 0 0 0 21991 10 0 0 25 0 1 0 759396073 25010176 3542 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.007 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3728 0 0 0 22991 10 0 0 25 0 1 0 759396073 25460736 3652 4294967295 134512640 134714508 3221224592 3221222820 1077414383 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.007 s]
Raw data (loadavg): 1.07 1.00 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3839 0 0 0 23990 11 0 0 25 0 1 0 759396073 25911296 3763 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3763 1111 63 0 6263 0
vsize: 25304
[startup+250.008 s]
Raw data (loadavg): 1.06 1.00 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 3948 0 0 0 24990 11 0 0 25 0 1 0 759396073 26357760 3872 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.007 s]
Raw data (loadavg): 1.05 1.00 1.06 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4060 0 0 0 25990 11 0 0 25 0 1 0 759396073 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.009 s]
Raw data (loadavg): 1.04 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4170 0 0 0 26990 11 0 0 25 0 1 0 759396073 27258880 4094 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.009 s]
Raw data (loadavg): 1.03 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4281 0 0 0 27990 12 0 0 25 0 1 0 759396073 27705344 4205 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.009 s]
Raw data (loadavg): 1.03 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4396 0 0 0 28990 12 0 0 25 0 1 0 759396073 28307456 4320 4294967295 134512640 134714508 3221224592 3221222820 1077414433 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.01 s]
Raw data (loadavg): 1.02 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4508 0 0 0 29990 12 0 0 25 0 1 0 759396073 28737536 4432 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.009 s]
Raw data (loadavg): 1.02 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4617 0 0 0 30990 12 0 0 25 0 1 0 759396073 29175808 4541 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.01 s]
Raw data (loadavg): 1.02 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4728 0 0 0 31990 12 0 0 25 0 1 0 759396073 29626368 4652 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.01 s]
Raw data (loadavg): 1.01 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4837 0 0 0 32990 12 0 0 25 0 1 0 759396073 30076928 4761 4294967295 134512640 134714508 3221224592 3221222820 1077414410 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.01 s]
Raw data (loadavg): 1.01 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 4954 0 0 0 33990 12 0 0 25 0 1 0 759396073 30527488 4878 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.011 s]
Raw data (loadavg): 1.01 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5063 0 0 0 34991 12 0 0 25 0 1 0 759396073 30973952 4987 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.01 s]
Raw data (loadavg): 1.01 1.00 1.05 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5186 0 0 0 35991 13 0 0 25 0 1 0 759396073 31461376 5110 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.011 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5301 0 0 0 36990 13 0 0 25 0 1 0 759396073 32059392 5225 4294967295 134512640 134714508 3221224592 3221222820 1077414395 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.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5413 0 0 0 37990 13 0 0 25 0 1 0 759396073 32514048 5337 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5522 0 0 0 38990 14 0 0 25 0 1 0 759396073 32956416 5446 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8046 5446 1111 63 0 7983 0
vsize: 32184
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5640 0 0 0 39990 14 0 0 25 0 1 0 759396073 33411072 5564 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5750 0 0 0 40990 14 0 0 25 0 1 0 759396073 33857536 5674 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5862 0 0 0 41990 14 0 0 25 0 1 0 759396073 34312192 5786 4294967295 134512640 134714508 3221224592 3221222820 1077414426 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.014 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 5977 0 0 0 42990 15 0 0 25 0 1 0 759396073 34758656 5901 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6088 0 0 0 43990 15 0 0 25 0 1 0 759396073 35213312 6012 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6012 1111 63 0 8534 0
vsize: 34388
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6199 0 0 0 44989 16 0 0 25 0 1 0 759396073 35655680 6123 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6316 0 0 0 45989 16 0 0 25 0 1 0 759396073 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.014 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6426 0 0 0 46989 16 0 0 25 0 1 0 759396073 36556800 6350 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6350 1111 63 0 8862 0
vsize: 35700
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6537 0 0 0 47990 16 0 0 25 0 1 0 759396073 37011456 6461 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6461 1111 63 0 8973 0
vsize: 36144
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6654 0 0 0 48989 16 0 0 25 0 1 0 759396073 37453824 6578 4294967295 134512640 134714508 3221224592 3221222820 1077414433 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.015 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6765 0 0 0 49989 17 0 0 25 0 1 0 759396073 37908480 6689 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9255 6689 1111 63 0 9192 0
vsize: 37020
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6882 0 0 0 50989 17 0 0 25 0 1 0 759396073 38506496 6806 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.015 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 6993 0 0 0 51989 17 0 0 25 0 1 0 759396073 38957056 6917 4294967295 134512640 134714508 3221224592 3221222820 1077414393 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.016 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7110 0 0 0 52989 17 0 0 25 0 1 0 759396073 39403520 7034 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.016 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7221 0 0 0 53989 17 0 0 25 0 1 0 759396073 39854080 7145 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7145 1111 63 0 9667 0
vsize: 38920
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7337 0 0 0 54989 18 0 0 25 0 1 0 759396073 40304640 7261 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.016 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7449 0 0 0 55989 18 0 0 25 0 1 0 759396073 40755200 7373 4294967295 134512640 134714508 3221224592 3221222820 1077414399 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.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7564 0 0 0 56989 18 0 0 25 0 1 0 759396073 41205760 7488 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7488 1111 63 0 9997 0
vsize: 40240
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7677 0 0 0 57989 19 0 0 25 0 1 0 759396073 41656320 7601 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7601 1111 63 0 10107 0
vsize: 40680
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7792 0 0 0 58988 19 0 0 25 0 1 0 759396073 42102784 7716 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7716 1111 63 0 10216 0
vsize: 41116
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 7905 0 0 0 59988 20 0 0 25 0 1 0 759396073 42553344 7829 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10389 7829 1111 63 0 10326 0
vsize: 41556
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8022 0 0 0 60988 20 0 0 25 0 1 0 759396073 43151360 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8138 0 0 0 61988 20 0 0 25 0 1 0 759396073 43606016 8062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.017 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8249 0 0 0 62988 21 0 0 25 0 1 0 759396073 44048384 8173 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8173 1111 63 0 10691 0
vsize: 43016
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8366 0 0 0 63988 21 0 0 25 0 1 0 759396073 44470272 8290 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.018 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8477 0 0 0 64988 21 0 0 25 0 1 0 759396073 44920832 8401 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8401 1111 63 0 10904 0
vsize: 43868
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8593 0 0 0 65988 21 0 0 25 0 1 0 759396073 45371392 8517 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8517 1111 63 0 11014 0
vsize: 44308
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8711 0 0 0 66988 22 0 0 25 0 1 0 759396073 45973504 8635 4294967295 134512640 134714508 3221224592 3221223248 134527932 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.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8827 0 0 0 67988 22 0 0 25 0 1 0 759396073 46419968 8751 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.017 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 8938 0 0 0 68987 22 0 0 25 0 1 0 759396073 46874624 8862 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8862 1111 63 0 11381 0
vsize: 45776
[startup+700.017 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9074 0 0 0 69987 22 0 0 25 0 1 0 759396073 47579136 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414383 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.017 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9191 0 0 0 70987 22 0 0 25 0 1 0 759396073 47996928 9115 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9115 1111 63 0 11655 0
vsize: 46872
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9301 0 0 0 71987 23 0 0 25 0 1 0 759396073 48439296 9225 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9225 1111 63 0 11763 0
vsize: 47304
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9419 0 0 0 72987 23 0 0 25 0 1 0 759396073 48893952 9343 4294967295 134512640 134714508 3221224592 3221222820 1077414358 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.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9535 0 0 0 73987 23 0 0 25 0 1 0 759396073 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.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9654 0 0 0 74987 23 0 0 25 0 1 0 759396073 49942528 9578 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9578 1111 63 0 12130 0
vsize: 48772
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9770 0 0 0 75987 24 0 0 25 0 1 0 759396073 50388992 9694 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9694 1111 63 0 12239 0
vsize: 49208
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9888 0 0 0 76987 24 0 0 25 0 1 0 759396073 50814976 9812 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 9998 0 0 0 77987 24 0 0 25 0 1 0 759396073 51257344 9922 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9922 1111 63 0 12451 0
vsize: 50056
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10118 0 0 0 78987 25 0 0 25 0 1 0 759396073 51712000 10042 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 10042 1111 63 0 12562 0
vsize: 50500
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10234 0 0 0 79986 25 0 0 25 0 1 0 759396073 52310016 10158 4294967295 134512640 134714508 3221224592 3221222820 1077414385 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10351 0 0 0 80986 26 0 0 25 0 1 0 759396073 52760576 10275 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10275 1111 63 0 12818 0
vsize: 51524
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10462 0 0 0 81986 26 0 0 25 0 1 0 759396073 53207040 10386 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10386 1111 63 0 12927 0
vsize: 51960
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10580 0 0 0 82986 26 0 0 25 0 1 0 759396073 53657600 10504 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10504 1111 63 0 13037 0
vsize: 52400
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10699 0 0 0 83986 26 0 0 25 0 1 0 759396073 54108160 10623 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10623 1111 63 0 13147 0
vsize: 52840
[startup+850.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10815 0 0 0 84997 27 0 0 25 0 1 0 759396073 54558720 10739 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13320 10739 1111 63 0 13257 0
vsize: 53280
[startup+860.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 10933 0 0 0 85997 27 0 0 25 0 1 0 759396073 55160832 10857 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+870.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11050 0 0 0 86997 27 0 0 25 0 1 0 759396073 55607296 10974 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10974 1111 63 0 13513 0
vsize: 54304
[startup+880.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11169 0 0 0 87997 27 0 0 25 0 1 0 759396073 56057856 11093 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11093 1111 63 0 13623 0
vsize: 54744
[startup+890.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11285 0 0 0 88997 27 0 0 25 0 1 0 759396073 56508416 11209 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11209 1111 63 0 13733 0
vsize: 55184
[startup+900.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11403 0 0 0 89997 27 0 0 25 0 1 0 759396073 56958976 11327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11327 1111 63 0 13843 0
vsize: 55624
[startup+910.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11521 0 0 0 90997 28 0 0 25 0 1 0 759396073 57552896 11445 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11640 0 0 0 91997 28 0 0 25 0 1 0 759396073 58007552 11564 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11564 1111 63 0 14099 0
vsize: 56648
[startup+930.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11756 0 0 0 92997 28 0 0 25 0 1 0 759396073 58454016 11680 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11680 1111 63 0 14208 0
vsize: 57084
[startup+940.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11874 0 0 0 93997 28 0 0 25 0 1 0 759396073 58908672 11798 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11798 1111 63 0 14319 0
vsize: 57528
[startup+950.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 11990 0 0 0 94996 29 0 0 25 0 1 0 759396073 59351040 11914 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11914 1111 63 0 14427 0
vsize: 57960
[startup+960.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12110 0 0 0 95996 29 0 0 25 0 1 0 759396073 59953152 12034 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12034 1111 63 0 14574 0
vsize: 58548
[startup+970.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12232 0 0 0 96996 29 0 0 25 0 1 0 759396073 60403712 12156 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12156 1111 63 0 14684 0
vsize: 58988
[startup+980.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12350 0 0 0 97996 29 0 0 25 0 1 0 759396073 60854272 12274 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12274 1111 63 0 14794 0
vsize: 59428
[startup+990.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12468 0 0 0 98996 30 0 0 25 0 1 0 759396073 61300736 12392 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12392 1111 63 0 14903 0
vsize: 59864
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12585 0 0 0 99996 30 0 0 25 0 1 0 759396073 61902848 12509 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12509 1111 63 0 15050 0
vsize: 60452
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12704 0 0 0 100996 30 0 0 25 0 1 0 759396073 62353408 12628 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12628 1111 63 0 15160 0
vsize: 60892
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12826 0 0 0 101996 30 0 0 25 0 1 0 759396073 62803968 12750 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12750 1111 63 0 15270 0
vsize: 61332
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 12944 0 0 0 102996 30 0 0 25 0 1 0 759396073 63254528 12868 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12868 1111 63 0 15380 0
vsize: 61772
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13062 0 0 0 103996 31 0 0 25 0 1 0 759396073 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13181 0 0 0 104996 31 0 0 25 0 1 0 759396073 64303104 13105 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13105 1111 63 0 15636 0
vsize: 62796
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13298 0 0 0 105996 31 0 0 25 0 1 0 759396073 64749568 13222 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13416 0 0 0 106995 32 0 0 25 0 1 0 759396073 65204224 13340 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13340 1111 63 0 15856 0
vsize: 63676
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13540 0 0 0 107995 32 0 0 25 0 1 0 759396073 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13659 0 0 0 108996 32 0 0 25 0 1 0 759396073 66248704 13583 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13583 1111 63 0 16111 0
vsize: 64696
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13781 0 0 0 109995 32 0 0 25 0 1 0 759396073 66699264 13705 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13705 1111 63 0 16221 0
vsize: 65136
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 13900 0 0 0 110996 32 0 0 25 0 1 0 759396073 67149824 13824 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14019 0 0 0 111996 32 0 0 25 0 1 0 759396073 67751936 13943 4294967295 134512640 134714508 3221224592 3221222820 1077414376 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14137 0 0 0 112996 32 0 0 25 0 1 0 759396073 68198400 14061 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14261 0 0 0 113995 33 0 0 25 0 1 0 759396073 68653056 14185 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14378 0 0 0 114995 33 0 0 25 0 1 0 759396073 69099520 14302 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14302 1111 63 0 16807 0
vsize: 67480
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14503 0 0 0 115995 33 0 0 25 0 1 0 759396073 69701632 14427 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14621 0 0 0 116995 34 0 0 25 0 1 0 759396073 70148096 14545 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14739 0 0 0 117994 34 0 0 25 0 1 0 759396073 70598656 14663 4294967295 134512640 134714508 3221224592 3221222820 1077414385 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14862 0 0 0 118994 35 0 0 25 0 1 0 759396073 71196672 14786 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3614
Raw data (stat): 3614 (bsolo_lpr) R 3613 3132 3131 0 -1 0 14981 0 0 0 119993 36 0 0 25 0 1 0 759396073 71647232 14905 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14905 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3614
Raw data (stat): 3614 (bsolo_lpr) Z 3613 3132 3131 0 -1 1036 14981 0 0 0 119993 38 0 0 25 0 1 0 759396073 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.16
CPU time (s): 1200.33
CPU user time (s): 1199.94
CPU system time (s): 0.38894
CPU usage (%): 100.014
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####