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-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29705729356859
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	29705729356859
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.42678
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 26302

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 14:58:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14106 boxname=wulflinc27 idbench=1086 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 14106
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        899704 kB
Buffers:         33992 kB
Cached:          78804 kB
SwapCached:        628 kB
Active:          74380 kB
Inactive:        40864 kB
HighTotal:      131008 kB
HighFree:        48916 kB
LowTotal:       903652 kB
LowFree:        850788 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            14116 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:18:59 (client local time) WITH STATUS 0 IN 1200.13 SECONDS
stats: 14106 7 1200.13 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.92 0.98 1.12 2/54 4275
Raw data (stat): 4275 (runsolver) R 4274 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831137132 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.93 0.98 1.12 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1295 0 0 0 984 5 0 0 25 0 1 0 831137132 15511552 1219 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 1.12 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1405 0 0 0 1984 5 0 0 25 0 1 0 831137132 15941632 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 1.12 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1508 0 0 0 2984 6 0 0 25 0 1 0 831137132 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 1.12 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1618 0 0 0 3983 7 0 0 25 0 1 0 831137132 16834560 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.98 1.11 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1730 0 0 0 4983 7 0 0 25 0 1 0 831137132 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 1.11 2/54 4275
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1834 0 0 0 5982 8 0 0 25 0 1 0 831137132 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 1.11 4/59 4327
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 1949 0 0 0 6978 11 0 0 25 0 1 0 831137132 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0042 s]
Raw data (loadavg): 1.05 1.00 1.11 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2053 0 0 0 7978 12 0 0 25 0 1 0 831137132 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.005 s]
Raw data (loadavg): 1.04 1.00 1.11 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2162 0 0 0 8978 12 0 0 25 0 1 0 831137132 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 1.11 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2278 0 0 0 9978 13 0 0 25 0 1 0 831137132 19501056 2202 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2202 1111 63 0 4698 0
vsize: 19044
[startup+110.005 s]
Raw data (loadavg): 1.03 1.00 1.11 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2388 0 0 0 10978 13 0 0 25 0 1 0 831137132 19955712 2312 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2312 1111 63 0 4809 0
vsize: 19488
[startup+120.005 s]
Raw data (loadavg): 1.02 1.00 1.11 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2498 0 0 0 11978 13 0 0 25 0 1 0 831137132 20402176 2422 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2422 1111 63 0 4918 0
vsize: 19924
[startup+130.004 s]
Raw data (loadavg): 1.02 1.00 1.10 2/54 4328
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2607 0 0 0 12978 13 0 0 25 0 1 0 831137132 20856832 2531 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2531 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 1.02 1.00 1.10 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2718 0 0 0 13977 14 0 0 25 0 1 0 831137132 21299200 2642 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2642 1111 63 0 5137 0
vsize: 20800
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 1.10 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2827 0 0 0 14978 14 0 0 25 0 1 0 831137132 21872640 2751 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2751 1111 63 0 5277 0
vsize: 21360
[startup+160.005 s]
Raw data (loadavg): 1.01 1.00 1.10 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 2937 0 0 0 15978 14 0 0 25 0 1 0 831137132 22323200 2861 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2861 1111 63 0 5387 0
vsize: 21800
[startup+170.006 s]
Raw data (loadavg): 1.01 1.00 1.10 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3046 0 0 0 16977 14 0 0 25 0 1 0 831137132 22773760 2970 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2970 1111 63 0 5497 0
vsize: 22240
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3167 0 0 0 17977 14 0 0 25 0 1 0 831137132 23232512 3091 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.006 s]
Raw data (loadavg): 1.01 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3273 0 0 0 18977 15 0 0 25 0 1 0 831137132 23662592 3197 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3197 1111 63 0 5714 0
vsize: 23108
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3384 0 0 0 19977 15 0 0 25 0 1 0 831137132 24113152 3308 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3308 1111 63 0 5824 0
vsize: 23548
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3500 0 0 0 20977 15 0 0 25 0 1 0 831137132 24559616 3424 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3424 1111 63 0 5933 0
vsize: 23984
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3604 0 0 0 21978 15 0 0 25 0 1 0 831137132 25010176 3528 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3528 1111 63 0 6043 0
vsize: 24424
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3721 0 0 0 22978 16 0 0 25 0 1 0 831137132 25460736 3645 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3645 1111 63 0 6153 0
vsize: 24864
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3831 0 0 0 23977 16 0 0 25 0 1 0 831137132 25911296 3755 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3755 1111 63 0 6263 0
vsize: 25304
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 3940 0 0 0 24977 16 0 0 25 0 1 0 831137132 26357760 3864 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3864 1111 63 0 6372 0
vsize: 25740
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4052 0 0 0 25977 17 0 0 25 0 1 0 831137132 26804224 3976 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3976 1111 63 0 6481 0
vsize: 26176
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4162 0 0 0 26977 17 0 0 25 0 1 0 831137132 27258880 4086 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4086 1111 63 0 6592 0
vsize: 26620
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4273 0 0 0 27976 18 0 0 25 0 1 0 831137132 27705344 4197 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4197 1111 63 0 6701 0
vsize: 27056
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4382 0 0 0 28976 18 0 0 25 0 1 0 831137132 28160000 4306 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4306 1111 63 0 6812 0
vsize: 27500
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4500 0 0 0 29977 18 0 0 25 0 1 0 831137132 28602368 4424 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4424 1111 63 0 6920 0
vsize: 27932
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4609 0 0 0 30976 18 0 0 25 0 1 0 831137132 29175808 4533 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4533 1111 63 0 7060 0
vsize: 28492
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4720 0 0 0 31976 19 0 0 25 0 1 0 831137132 29626368 4644 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 4644 1111 63 0 7170 0
vsize: 28932
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4830 0 0 0 32976 19 0 0 25 0 1 0 831137132 30076928 4754 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 4754 1111 63 0 7280 0
vsize: 29372
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 4940 0 0 0 33976 19 0 0 25 0 1 0 831137132 30527488 4864 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 4864 1111 63 0 7390 0
vsize: 29812
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5056 0 0 0 34975 20 0 0 25 0 1 0 831137132 30973952 4980 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 4980 1111 63 0 7499 0
vsize: 30248
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5178 0 0 0 35975 20 0 0 25 0 1 0 831137132 31461376 5102 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5102 1111 63 0 7618 0
vsize: 30724
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5287 0 0 0 36975 21 0 0 25 0 1 0 831137132 31911936 5211 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 5211 1111 63 0 7728 0
vsize: 31164
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5405 0 0 0 37975 21 0 0 25 0 1 0 831137132 32362496 5329 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5329 1111 63 0 7838 0
vsize: 31604
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5515 0 0 0 38975 21 0 0 25 0 1 0 831137132 32813056 5439 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 5439 1111 63 0 7948 0
vsize: 32044
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5627 0 0 0 39975 22 0 0 25 0 1 0 831137132 33263616 5551 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5551 1111 63 0 8058 0
vsize: 32484
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5742 0 0 0 40974 22 0 0 25 0 1 0 831137132 33857536 5666 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 5666 1111 63 0 8203 0
vsize: 33064
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4330
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5853 0 0 0 41974 22 0 0 25 0 1 0 831137132 34312192 5777 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5777 1111 63 0 8314 0
vsize: 33508
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 5964 0 0 0 42974 22 0 0 25 0 1 0 831137132 34758656 5888 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8486 5888 1111 63 0 8423 0
vsize: 33944
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6081 0 0 0 43974 23 0 0 25 0 1 0 831137132 35213312 6005 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6005 1111 63 0 8534 0
vsize: 34388
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6191 0 0 0 44974 23 0 0 25 0 1 0 831137132 35655680 6115 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6115 1111 63 0 8642 0
vsize: 34820
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6302 0 0 0 45974 23 0 0 25 0 1 0 831137132 36110336 6226 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6226 1111 63 0 8753 0
vsize: 35264
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6419 0 0 0 46974 24 0 0 25 0 1 0 831137132 36556800 6343 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6343 1111 63 0 8862 0
vsize: 35700
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6530 0 0 0 47974 24 0 0 25 0 1 0 831137132 37011456 6454 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6454 1111 63 0 8973 0
vsize: 36144
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6640 0 0 0 48974 24 0 0 25 0 1 0 831137132 37453824 6564 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6564 1111 63 0 9081 0
vsize: 36576
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6758 0 0 0 49974 24 0 0 25 0 1 0 831137132 37908480 6682 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9255 6682 1111 63 0 9192 0
vsize: 37020
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6874 0 0 0 50974 24 0 0 25 0 1 0 831137132 38354944 6798 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 6798 1111 63 0 9301 0
vsize: 37456
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 6985 0 0 0 51974 25 0 0 25 0 1 0 831137132 38809600 6909 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 6909 1111 63 0 9412 0
vsize: 37900
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7096 0 0 0 52974 25 0 0 25 0 1 0 831137132 39256064 7020 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 7020 1111 63 0 9521 0
vsize: 38336
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7213 0 0 0 53974 25 0 0 25 0 1 0 831137132 39854080 7137 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7137 1111 63 0 9667 0
vsize: 38920
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7329 0 0 0 54974 25 0 0 25 0 1 0 831137132 40304640 7253 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7253 1111 63 0 9777 0
vsize: 39360
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7441 0 0 0 55974 25 0 0 25 0 1 0 831137132 40755200 7365 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7365 1111 63 0 9887 0
vsize: 39800
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7551 0 0 0 56974 25 0 0 25 0 1 0 831137132 41205760 7475 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7475 1111 63 0 9997 0
vsize: 40240
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7669 0 0 0 57974 25 0 0 25 0 1 0 831137132 41656320 7593 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7593 1111 63 0 10107 0
vsize: 40680
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7785 0 0 0 58974 26 0 0 25 0 1 0 831137132 42102784 7709 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7709 1111 63 0 10216 0
vsize: 41116
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 7897 0 0 0 59974 26 0 0 25 0 1 0 831137132 42553344 7821 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10389 7821 1111 63 0 10326 0
vsize: 41556
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8007 0 0 0 60974 27 0 0 25 0 1 0 831137132 43003904 7931 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10499 7931 1111 63 0 10436 0
vsize: 41996
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8124 0 0 0 61974 27 0 0 25 0 1 0 831137132 43454464 8048 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10609 8048 1111 63 0 10546 0
vsize: 42436
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8241 0 0 0 62974 27 0 0 25 0 1 0 831137132 44048384 8165 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8165 1111 63 0 10691 0
vsize: 43016
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8357 0 0 0 63973 27 0 0 25 0 1 0 831137132 44470272 8281 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8281 1111 63 0 10794 0
vsize: 43428
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8470 0 0 0 64973 28 0 0 25 0 1 0 831137132 44920832 8394 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8394 1111 63 0 10904 0
vsize: 43868
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8585 0 0 0 65973 28 0 0 25 0 1 0 831137132 45371392 8509 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8509 1111 63 0 11014 0
vsize: 44308
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8697 0 0 0 66973 29 0 0 25 0 1 0 831137132 45821952 8621 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8621 1111 63 0 11124 0
vsize: 44748
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8813 0 0 0 67973 29 0 0 25 0 1 0 831137132 46272512 8737 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11297 8737 1111 63 0 11234 0
vsize: 45188
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 8930 0 0 0 68973 29 0 0 25 0 1 0 831137132 46874624 8854 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8854 1111 63 0 11381 0
vsize: 45776
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9074 0 0 0 69973 29 0 0 25 0 1 0 831137132 47579136 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.022 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9177 0 0 0 70973 30 0 0 25 0 1 0 831137132 47996928 9101 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9101 1111 63 0 11655 0
vsize: 46872
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9293 0 0 0 71973 30 0 0 25 0 1 0 831137132 48439296 9217 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9217 1111 63 0 11763 0
vsize: 47304
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9411 0 0 0 72972 30 0 0 25 0 1 0 831137132 48893952 9335 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9335 1111 63 0 11874 0
vsize: 47748
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9521 0 0 0 73972 30 0 0 25 0 1 0 831137132 49340416 9445 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9445 1111 63 0 11983 0
vsize: 48184
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9641 0 0 0 74972 31 0 0 25 0 1 0 831137132 49795072 9565 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12157 9565 1111 63 0 12094 0
vsize: 48628
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9756 0 0 0 75972 31 0 0 25 0 1 0 831137132 50241536 9680 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12266 9680 1111 63 0 12203 0
vsize: 49064
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9874 0 0 0 76972 31 0 0 25 0 1 0 831137132 50814976 9798 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9798 1111 63 0 12343 0
vsize: 49624
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 9990 0 0 0 77972 31 0 0 25 0 1 0 831137132 51257344 9914 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9914 1111 63 0 12451 0
vsize: 50056
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10110 0 0 0 78972 32 0 0 25 0 1 0 831137132 51712000 10034 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 10034 1111 63 0 12562 0
vsize: 50500
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10226 0 0 0 79972 32 0 0 25 0 1 0 831137132 52158464 10150 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12734 10150 1111 63 0 12671 0
vsize: 50936
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10338 0 0 0 80971 32 0 0 25 0 1 0 831137132 52613120 10262 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12845 10262 1111 63 0 12782 0
vsize: 51380
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10454 0 0 0 81972 32 0 0 25 0 1 0 831137132 53207040 10378 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10378 1111 63 0 12927 0
vsize: 51960
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10572 0 0 0 82971 33 0 0 25 0 1 0 831137132 53657600 10496 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10496 1111 63 0 13037 0
vsize: 52400
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10689 0 0 0 83971 33 0 0 25 0 1 0 831137132 54108160 10613 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10613 1111 63 0 13147 0
vsize: 52840
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10807 0 0 0 84971 34 0 0 25 0 1 0 831137132 54558720 10731 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13320 10731 1111 63 0 13257 0
vsize: 53280
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 10925 0 0 0 85971 34 0 0 25 0 1 0 831137132 55005184 10849 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 10849 1111 63 0 13366 0
vsize: 53716
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11036 0 0 0 86971 34 0 0 25 0 1 0 831137132 55455744 10960 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10960 1111 63 0 13476 0
vsize: 54156
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11155 0 0 0 87971 34 0 0 25 0 1 0 831137132 56057856 11079 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11079 1111 63 0 13623 0
vsize: 54744
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11271 0 0 0 88971 34 0 0 25 0 1 0 831137132 56508416 11195 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11195 1111 63 0 13733 0
vsize: 55184
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11389 0 0 0 89971 35 0 0 25 0 1 0 831137132 56958976 11313 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11313 1111 63 0 13843 0
vsize: 55624
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11505 0 0 0 90970 35 0 0 25 0 1 0 831137132 57405440 11429 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14015 11429 1111 63 0 13952 0
vsize: 56060
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11625 0 0 0 91970 35 0 0 25 0 1 0 831137132 57856000 11549 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14125 11549 1111 63 0 14062 0
vsize: 56500
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11741 0 0 0 92970 35 0 0 25 0 1 0 831137132 58454016 11665 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11665 1111 63 0 14208 0
vsize: 57084
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11859 0 0 0 93970 36 0 0 25 0 1 0 831137132 58908672 11783 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11783 1111 63 0 14319 0
vsize: 57528
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 11976 0 0 0 94970 36 0 0 25 0 1 0 831137132 59351040 11900 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11900 1111 63 0 14427 0
vsize: 57960
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12101 0 0 0 95970 36 0 0 25 0 1 0 831137132 59805696 12025 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12025 1111 63 0 14538 0
vsize: 58404
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12218 0 0 0 96970 36 0 0 25 0 1 0 831137132 60403712 12142 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12142 1111 63 0 14684 0
vsize: 58988
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12336 0 0 0 97970 37 0 0 25 0 1 0 831137132 60854272 12260 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12260 1111 63 0 14794 0
vsize: 59428
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12452 0 0 0 98970 37 0 0 25 0 1 0 831137132 61300736 12376 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12376 1111 63 0 14903 0
vsize: 59864
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12570 0 0 0 99970 37 0 0 25 0 1 0 831137132 61755392 12494 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12494 1111 63 0 15014 0
vsize: 60308
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12689 0 0 0 100970 37 0 0 25 0 1 0 831137132 62201856 12613 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12613 1111 63 0 15123 0
vsize: 60744
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12812 0 0 0 101969 38 0 0 25 0 1 0 831137132 62803968 12736 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12736 1111 63 0 15270 0
vsize: 61332
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 12930 0 0 0 102970 38 0 0 25 0 1 0 831137132 63254528 12854 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12854 1111 63 0 15380 0
vsize: 61772
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13047 0 0 0 103969 39 0 0 25 0 1 0 831137132 63700992 12971 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12971 1111 63 0 15489 0
vsize: 62208
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13167 0 0 0 104969 39 0 0 25 0 1 0 831137132 64155648 13091 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13091 1111 63 0 15600 0
vsize: 62652
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13283 0 0 0 105969 39 0 0 25 0 1 0 831137132 64749568 13207 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13207 1111 63 0 15745 0
vsize: 63232
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13401 0 0 0 106969 40 0 0 25 0 1 0 831137132 65204224 13325 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13525 0 0 0 107969 40 0 0 25 0 1 0 831137132 65650688 13449 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13449 1111 63 0 15965 0
vsize: 64112
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13644 0 0 0 108969 40 0 0 25 0 1 0 831137132 66105344 13568 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13568 1111 63 0 16076 0
vsize: 64556
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13761 0 0 0 109969 40 0 0 25 0 1 0 831137132 66699264 13685 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13685 1111 63 0 16221 0
vsize: 65136
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 13885 0 0 0 110970 40 0 0 25 0 1 0 831137132 67149824 13809 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13809 1111 63 0 16331 0
vsize: 65576
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14003 0 0 0 111969 40 0 0 25 0 1 0 831137132 67600384 13927 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13927 1111 63 0 16441 0
vsize: 66016
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14122 0 0 0 112969 41 0 0 25 0 1 0 831137132 68050944 14046 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14046 1111 63 0 16551 0
vsize: 66456
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14240 0 0 0 113969 41 0 0 25 0 1 0 831137132 68653056 14164 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14164 1111 63 0 16698 0
vsize: 67044
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14356 0 0 0 114967 41 0 0 25 0 1 0 831137132 69099520 14280 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14280 1111 63 0 16807 0
vsize: 67480
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14482 0 0 0 115967 42 0 0 25 0 1 0 831137132 69550080 14406 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14406 1111 63 0 16917 0
vsize: 67920
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14605 0 0 0 116967 42 0 0 25 0 1 0 831137132 70148096 14529 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14529 1111 63 0 17063 0
vsize: 68504
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14724 0 0 0 117967 42 0 0 25 0 1 0 831137132 70598656 14648 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14648 1111 63 0 17173 0
vsize: 68944
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14841 0 0 0 118967 43 0 0 25 0 1 0 831137132 71045120 14765 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14765 1111 63 0 17282 0
vsize: 69380
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4332
Raw data (stat): 4275 (bsolo_lpr) R 4274 3394 3393 0 -1 0 14960 0 0 0 119967 43 0 0 25 0 1 0 831137132 71499776 14884 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17456 14884 1111 63 0 17393 0
vsize: 69824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4332
Raw data (stat): 4275 (bsolo_lpr) Z 4274 3394 3393 0 -1 1036 14960 0 0 0 119967 46 0 0 25 0 1 0 831137132 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.06
CPU time (s): 1200.13
CPU user time (s): 1199.67
CPU system time (s): 0.460929
CPU usage (%): 100.006
Max. virtual memory (Kb): 69824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####