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-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
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	39138571845
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	39138571845
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	0.960853
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 26919

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 18:05:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19137 boxname=wulflinc4 idbench=1473 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 19137
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        850616 kB
Buffers:         34128 kB
Cached:         128976 kB
SwapCached:        504 kB
Active:          65828 kB
Inactive:        99796 kB
HighTotal:      131008 kB
HighFree:        12152 kB
LowTotal:       903652 kB
LowFree:        838464 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12756 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:25:55 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19137 7 1200.27 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 0.99 2/54 22384
Raw data (stat): 22384 (runsolver) R 22383 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774034681 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 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 1158 0 0 0 993 4 0 0 25 0 1 0 774034681 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 1405 0 0 0 1993 4 0 0 25 0 1 0 774034681 17178624 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1329 1111 63 0 4131 0
vsize: 16776
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 1655 0 0 0 2993 5 0 0 25 0 1 0 774034681 18178048 1579 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1579 1111 63 0 4375 0
vsize: 17752
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 1903 0 0 0 3992 6 0 0 25 0 1 0 774034681 19165184 1827 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1827 1111 63 0 4616 0
vsize: 18716
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 2151 0 0 0 4992 6 0 0 25 0 1 0 774034681 20152320 2075 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2075 1111 63 0 4857 0
vsize: 19680
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 2404 0 0 0 5991 7 0 0 25 0 1 0 774034681 21274624 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2328 1111 63 0 5131 0
vsize: 20776
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 2658 0 0 0 6991 7 0 0 25 0 1 0 774034681 22261760 2582 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2582 1111 63 0 5372 0
vsize: 21740
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 2905 0 0 0 7991 8 0 0 25 0 1 0 774034681 23240704 2829 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2829 1111 63 0 5611 0
vsize: 22696
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 3159 0 0 0 8990 8 0 0 25 0 1 0 774034681 24367104 3083 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3083 1111 63 0 5886 0
vsize: 23796
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 3408 0 0 0 9990 9 0 0 25 0 1 0 774034681 25354240 3332 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3332 1111 63 0 6127 0
vsize: 24760
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 3662 0 0 0 10990 9 0 0 25 0 1 0 774034681 26341376 3586 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3586 1111 63 0 6368 0
vsize: 25724
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 3918 0 0 0 11989 10 0 0 25 0 1 0 774034681 27488256 3842 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3842 1111 63 0 6648 0
vsize: 26844
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 4172 0 0 0 12989 10 0 0 25 0 1 0 774034681 28475392 4096 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4096 1111 63 0 6889 0
vsize: 27808
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 4427 0 0 0 13989 11 0 0 25 0 1 0 774034681 29462528 4351 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4351 1111 63 0 7130 0
vsize: 28772
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 4681 0 0 0 14988 11 0 0 25 0 1 0 774034681 30584832 4605 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4605 1111 63 0 7404 0
vsize: 29868
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 4930 0 0 0 15987 12 0 0 25 0 1 0 774034681 31567872 4854 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4854 1111 63 0 7644 0
vsize: 30828
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 5191 0 0 0 16987 13 0 0 25 0 1 0 774034681 32694272 5115 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7982 5115 1111 63 0 7919 0
vsize: 31928
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 5441 0 0 0 17987 13 0 0 25 0 1 0 774034681 33681408 5365 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5365 1111 63 0 8160 0
vsize: 32892
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 5702 0 0 0 18987 13 0 0 25 0 1 0 774034681 34668544 5626 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5626 1111 63 0 8401 0
vsize: 33856
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 5956 0 0 0 19986 14 0 0 25 0 1 0 774034681 35794944 5880 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5880 1111 63 0 8676 0
vsize: 34956
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 6211 0 0 0 20986 14 0 0 25 0 1 0 774034681 36782080 6135 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6135 1111 63 0 8917 0
vsize: 35920
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 6476 0 0 0 21986 15 0 0 25 0 1 0 774034681 37920768 6400 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6400 1111 63 0 9195 0
vsize: 37032
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 6731 0 0 0 22985 15 0 0 25 0 1 0 774034681 39043072 6655 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6655 1111 63 0 9469 0
vsize: 38128
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 6992 0 0 0 23985 16 0 0 25 0 1 0 774034681 40030208 6916 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6916 1111 63 0 9710 0
vsize: 39092
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 7254 0 0 0 24985 16 0 0 25 0 1 0 774034681 41156608 7178 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7178 1111 63 0 9985 0
vsize: 40192
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 7510 0 0 0 25985 17 0 0 25 0 1 0 774034681 42143744 7434 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7434 1111 63 0 10226 0
vsize: 41156
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 7765 0 0 0 26984 18 0 0 25 0 1 0 774034681 43270144 7689 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7689 1111 63 0 10501 0
vsize: 42256
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 8028 0 0 0 27983 18 0 0 25 0 1 0 774034681 44257280 7952 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7952 1111 63 0 10742 0
vsize: 43220
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 8289 0 0 0 28982 19 0 0 25 0 1 0 774034681 45383680 8213 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8213 1111 63 0 11017 0
vsize: 44320
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 8552 0 0 0 29982 20 0 0 25 0 1 0 774034681 46370816 8476 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8476 1111 63 0 11258 0
vsize: 45284
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 8814 0 0 0 30982 20 0 0 25 0 1 0 774034681 47489024 8738 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8738 1111 63 0 11531 0
vsize: 46376
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 9074 0 0 0 31982 20 0 0 25 0 1 0 774034681 48615424 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 8998 1111 63 0 11806 0
vsize: 47476
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 9336 0 0 0 32982 20 0 0 25 0 1 0 774034681 49602560 9260 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9260 1111 63 0 12047 0
vsize: 48440
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 9599 0 0 0 33981 21 0 0 25 0 1 0 774034681 50733056 9523 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9523 1111 63 0 12323 0
vsize: 49544
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 9860 0 0 0 34981 22 0 0 25 0 1 0 774034681 51716096 9784 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9784 1111 63 0 12563 0
vsize: 50504
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 10130 0 0 0 35981 22 0 0 25 0 1 0 774034681 52842496 10054 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10054 1111 63 0 12838 0
vsize: 51604
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 10392 0 0 0 36981 23 0 0 25 0 1 0 774034681 53968896 10316 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10316 1111 63 0 13113 0
vsize: 52704
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 10661 0 0 0 37980 23 0 0 25 0 1 0 774034681 55095296 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13451 10585 1111 63 0 13388 0
vsize: 53804
[startup+390.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 10923 0 0 0 38980 24 0 0 25 0 1 0 774034681 56086528 10847 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10847 1111 63 0 13630 0
vsize: 54772
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 11185 0 0 0 39980 24 0 0 25 0 1 0 774034681 57212928 11109 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11109 1111 63 0 13905 0
vsize: 55872
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 11453 0 0 0 40979 25 0 0 25 0 1 0 774034681 58331136 11377 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14241 11377 1111 63 0 14178 0
vsize: 56964
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 11720 0 0 0 41979 25 0 0 25 0 1 0 774034681 59318272 11644 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11644 1111 63 0 14419 0
vsize: 57928
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 12006 0 0 0 42979 26 0 0 25 0 1 0 774034681 60674048 11930 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11930 1111 63 0 14750 0
vsize: 59252
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 12274 0 0 0 43978 26 0 0 25 0 1 0 774034681 61792256 12198 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12198 1111 63 0 15023 0
vsize: 60344
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 12543 0 0 0 44978 27 0 0 25 0 1 0 774034681 62918656 12467 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15361 12467 1111 63 0 15298 0
vsize: 61444
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 12813 0 0 0 45978 27 0 0 25 0 1 0 774034681 63905792 12737 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12737 1111 63 0 15539 0
vsize: 62408
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 13082 0 0 0 46978 27 0 0 25 0 1 0 774034681 65032192 13006 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 13006 1111 63 0 15814 0
vsize: 63508
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 13350 0 0 0 47977 28 0 0 25 0 1 0 774034681 66158592 13274 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13274 1111 63 0 16089 0
vsize: 64608
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 13626 0 0 0 48977 28 0 0 25 0 1 0 774034681 67284992 13550 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16427 13550 1111 63 0 16364 0
vsize: 65708
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 13895 0 0 0 49976 29 0 0 25 0 1 0 774034681 68411392 13819 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13819 1111 63 0 16639 0
vsize: 66808
[startup+510.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 14165 0 0 0 50976 30 0 0 25 0 1 0 774034681 69537792 14089 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 14089 1111 63 0 16914 0
vsize: 67908
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 14441 0 0 0 51975 30 0 0 25 0 1 0 774034681 70664192 14365 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17252 14365 1111 63 0 17189 0
vsize: 69008
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 14716 0 0 0 52975 31 0 0 25 0 1 0 774034681 71794688 14640 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17528 14640 1111 63 0 17465 0
vsize: 70112
[startup+540.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 14984 0 0 0 53975 31 0 0 25 0 1 0 774034681 72773632 14908 4294967295 134512640 134714508 3221224592 3221223248 134527979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14908 1111 63 0 17704 0
vsize: 71068
[startup+550.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 15260 0 0 0 54974 32 0 0 25 0 1 0 774034681 73900032 15184 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 15184 1111 63 0 17979 0
vsize: 72168
[startup+560.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 15536 0 0 0 55974 33 0 0 25 0 1 0 774034681 75026432 15460 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15460 1111 63 0 18254 0
vsize: 73268
[startup+570.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 15811 0 0 0 56973 33 0 0 25 0 1 0 774034681 76152832 15735 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15735 1111 63 0 18529 0
vsize: 74368
[startup+580.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 16087 0 0 0 57973 34 0 0 25 0 1 0 774034681 77283328 16011 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 16011 1111 63 0 18805 0
vsize: 75472
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 16363 0 0 0 58973 34 0 0 25 0 1 0 774034681 78409728 16287 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16287 1111 63 0 19080 0
vsize: 76572
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 16640 0 0 0 59972 35 0 0 25 0 1 0 774034681 79536128 16564 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16564 1111 63 0 19355 0
vsize: 77672
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 16922 0 0 0 60972 36 0 0 25 0 1 0 774034681 80801792 16846 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19727 16846 1111 63 0 19664 0
vsize: 78908
[startup+620.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 17198 0 0 0 61971 36 0 0 25 0 1 0 774034681 81928192 17122 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 17122 1111 63 0 19939 0
vsize: 80008
[startup+630.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 17474 0 0 0 62971 36 0 0 25 0 1 0 774034681 83054592 17398 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 17398 1111 63 0 20214 0
vsize: 81108
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 17757 0 0 0 63971 37 0 0 25 0 1 0 774034681 84180992 17681 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17681 1111 63 0 20489 0
vsize: 82208
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 18039 0 0 0 64971 37 0 0 25 0 1 0 774034681 85307392 17963 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17963 1111 63 0 20764 0
vsize: 83308
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 18322 0 0 0 65970 38 0 0 25 0 1 0 774034681 86433792 18246 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21102 18246 1111 63 0 21039 0
vsize: 84408
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 18604 0 0 0 66970 38 0 0 25 0 1 0 774034681 87560192 18528 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18528 1111 63 0 21314 0
vsize: 85508
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 18882 0 0 0 67969 39 0 0 25 0 1 0 774034681 88686592 18806 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21652 18806 1111 63 0 21589 0
vsize: 86608
[startup+690.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 19170 0 0 0 68969 39 0 0 25 0 1 0 774034681 89956352 19094 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21962 19094 1111 63 0 21899 0
vsize: 87848
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 19453 0 0 0 69969 40 0 0 25 0 1 0 774034681 91082752 19377 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19377 1111 63 0 22174 0
vsize: 88948
[startup+710.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 19736 0 0 0 70969 40 0 0 25 0 1 0 774034681 92209152 19660 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19660 1111 63 0 22449 0
vsize: 90048
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 20025 0 0 0 71968 41 0 0 25 0 1 0 774034681 93474816 19949 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22821 19949 1111 63 0 22758 0
vsize: 91284
[startup+730.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 20309 0 0 0 72968 42 0 0 25 0 1 0 774034681 94601216 20233 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23096 20233 1111 63 0 23033 0
vsize: 92384
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 20597 0 0 0 73969 42 0 0 25 0 1 0 774034681 95723520 20521 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20521 1111 63 0 23307 0
vsize: 93480
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 20879 0 0 0 74968 43 0 0 25 0 1 0 774034681 96849920 20803 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20803 1111 63 0 23582 0
vsize: 94580
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 21169 0 0 0 75968 43 0 0 25 0 1 0 774034681 98119680 21093 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23955 21093 1111 63 0 23892 0
vsize: 95820
[startup+770.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 21457 0 0 0 76968 43 0 0 25 0 1 0 774034681 99246080 21381 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 21381 1111 63 0 24167 0
vsize: 96920
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 21748 0 0 0 77968 44 0 0 25 0 1 0 774034681 100511744 21672 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24539 21672 1111 63 0 24476 0
vsize: 98156
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 22037 0 0 0 78967 44 0 0 25 0 1 0 774034681 101638144 21961 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21961 1111 63 0 24751 0
vsize: 99256
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 22327 0 0 0 79967 44 0 0 25 0 1 0 774034681 102764544 22251 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22251 1111 63 0 25026 0
vsize: 100356
[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 22616 0 0 0 80967 45 0 0 25 0 1 0 774034681 104030208 22540 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22540 1111 63 0 25335 0
vsize: 101592
[startup+820.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 22911 0 0 0 81967 46 0 0 25 0 1 0 774034681 105160704 22835 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25674 22835 1111 63 0 25611 0
vsize: 102696
[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 23240 0 0 0 82966 47 0 0 25 0 1 0 774034681 106786816 23164 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23164 1111 63 0 26008 0
vsize: 104284
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 23529 0 0 0 83965 47 0 0 25 0 1 0 774034681 108052480 23453 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26380 23453 1111 63 0 26317 0
vsize: 105520
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 23821 0 0 0 84965 47 0 0 25 0 1 0 774034681 109178880 23745 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23745 1111 63 0 26592 0
vsize: 106620
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 24116 0 0 0 85965 48 0 0 25 0 1 0 774034681 110444544 24040 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 24040 1111 63 0 26901 0
vsize: 107856
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 24412 0 0 0 86965 48 0 0 25 0 1 0 774034681 111575040 24336 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24336 1111 63 0 27177 0
vsize: 108960
[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 24709 0 0 0 87965 49 0 0 25 0 1 0 774034681 112840704 24633 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27549 24633 1111 63 0 27486 0
vsize: 110196
[startup+890.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 25005 0 0 0 88964 49 0 0 25 0 1 0 774034681 113967104 24929 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24929 1111 63 0 27761 0
vsize: 111296
[startup+900.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 25296 0 0 0 89964 50 0 0 25 0 1 0 774034681 115232768 25220 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25220 1111 63 0 28070 0
vsize: 112532
[startup+910.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 25598 0 0 0 90963 50 0 0 25 0 1 0 774034681 116498432 25522 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28442 25522 1111 63 0 28379 0
vsize: 113768
[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 25895 0 0 0 91963 51 0 0 25 0 1 0 774034681 117624832 25819 4294967295 134512640 134714508 3221224592 3221222928 134568180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25819 1111 63 0 28654 0
vsize: 114868
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 26191 0 0 0 92963 51 0 0 25 0 1 0 774034681 118894592 26115 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29027 26115 1111 63 0 28964 0
vsize: 116108
[startup+940.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 26495 0 0 0 93963 51 0 0 25 0 1 0 774034681 120160256 26419 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29336 26419 1111 63 0 29273 0
vsize: 117344
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 26791 0 0 0 94963 52 0 0 25 0 1 0 774034681 121286656 26715 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26715 1111 63 0 29548 0
vsize: 118444
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 27089 0 0 0 95963 52 0 0 25 0 1 0 774034681 122556416 27013 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27013 1111 63 0 29858 0
vsize: 119684
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 27393 0 0 0 96962 53 0 0 25 0 1 0 774034681 123826176 27317 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 27317 1111 63 0 30168 0
vsize: 120924
[startup+980.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 27695 0 0 0 97962 53 0 0 25 0 1 0 774034681 124948480 27619 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27619 1111 63 0 30442 0
vsize: 122020
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 28000 0 0 0 98962 53 0 0 25 0 1 0 774034681 126222336 27924 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27924 1111 63 0 30753 0
vsize: 123264
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 28302 0 0 0 99962 54 0 0 25 0 1 0 774034681 127488000 28226 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 28226 1111 63 0 31062 0
vsize: 124500
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 28607 0 0 0 100961 54 0 0 25 0 1 0 774034681 128753664 28531 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31434 28531 1111 63 0 31371 0
vsize: 125736
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 28909 0 0 0 101961 55 0 0 25 0 1 0 774034681 130019328 28833 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31743 28833 1111 63 0 31680 0
vsize: 126972
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 29213 0 0 0 102961 55 0 0 25 0 1 0 774034681 131145728 29137 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32018 29137 1111 63 0 31955 0
vsize: 128072
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 29516 0 0 0 103960 56 0 0 25 0 1 0 774034681 132415488 29440 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32328 29440 1111 63 0 32265 0
vsize: 129312
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 29825 0 0 0 104960 57 0 0 25 0 1 0 774034681 133681152 29749 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32637 29749 1111 63 0 32574 0
vsize: 130548
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 30135 0 0 0 105959 57 0 0 25 0 1 0 774034681 134950912 30059 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32947 30059 1111 63 0 32884 0
vsize: 131788
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 30438 0 0 0 106959 58 0 0 25 0 1 0 774034681 136216576 30362 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33256 30362 1111 63 0 33193 0
vsize: 133024
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 30749 0 0 0 107959 58 0 0 25 0 1 0 774034681 137482240 30673 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33565 30673 1111 63 0 33502 0
vsize: 134260
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 31058 0 0 0 108959 59 0 0 25 0 1 0 774034681 138747904 30982 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33874 30982 1111 63 0 33811 0
vsize: 135496
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 31370 0 0 0 109958 59 0 0 25 0 1 0 774034681 140017664 31294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34184 31294 1111 63 0 34121 0
vsize: 136736
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 31679 0 0 0 110958 60 0 0 25 0 1 0 774034681 141283328 31603 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 31603 1111 63 0 34430 0
vsize: 137972
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 31989 0 0 0 111958 60 0 0 25 0 1 0 774034681 142548992 31913 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34802 31913 1111 63 0 34739 0
vsize: 139208
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 32300 0 0 0 112957 61 0 0 25 0 1 0 774034681 143814656 32224 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35111 32224 1111 63 0 35048 0
vsize: 140444
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 32616 0 0 0 113957 61 0 0 25 0 1 0 774034681 145084416 32540 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35421 32540 1111 63 0 35358 0
vsize: 141684
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 32927 0 0 0 114957 62 0 0 25 0 1 0 774034681 146350080 32851 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35730 32851 1111 63 0 35667 0
vsize: 142920
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 33243 0 0 0 115957 62 0 0 25 0 1 0 774034681 147619840 33167 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36040 33167 1111 63 0 35977 0
vsize: 144160
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 33555 0 0 0 116956 63 0 0 25 0 1 0 774034681 148885504 33479 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36349 33479 1111 63 0 36286 0
vsize: 145396
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 33873 0 0 0 117956 63 0 0 25 0 1 0 774034681 150298624 33797 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36694 33797 1111 63 0 36631 0
vsize: 146776
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 34190 0 0 0 118955 64 0 0 25 0 1 0 774034681 151564288 34114 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37003 34114 1111 63 0 36940 0
vsize: 148012
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22384
Raw data (stat): 22384 (bsolo_lpr) R 22383 21152 21151 0 -1 0 34507 0 0 0 119955 65 0 0 25 0 1 0 774034681 152829952 34431 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37312 34431 1111 63 0 37249 0
vsize: 149248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 22384
Raw data (stat): 22384 (bsolo_lpr) Z 22383 21152 21151 0 -1 1036 34507 0 0 0 119955 71 0 0 25 0 1 0 774034681 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.27
CPU user time (s): 1199.55
CPU system time (s): 0.716891
CPU usage (%): 100.014
Max. virtual memory (Kb): 149248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####