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 40059

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        873244 kB
Buffers:         22564 kB
Cached:         115732 kB
SwapCached:       1376 kB
Active:          32104 kB
Inactive:       108244 kB
HighTotal:      131008 kB
HighFree:        18116 kB
LowTotal:       903652 kB
LowFree:        855128 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15260 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:57:05 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 28125 7 1200.21 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (runsolver) R 1497 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897730138 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1298 0 0 0 993 5 0 0 25 0 1 0 897730138 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1408 0 0 0 1992 6 0 0 25 0 1 0 897730138 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1510 0 0 0 2992 6 0 0 25 0 1 0 897730138 16379904 1430 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1620 0 0 0 3992 6 0 0 25 0 1 0 897730138 16834560 1540 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1540 1111 63 0 4047 0
vsize: 16440
[startup+50.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1732 0 0 0 4992 7 0 0 25 0 1 0 897730138 17264640 1652 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1836 0 0 0 5991 8 0 0 25 0 1 0 897730138 17715200 1756 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 1951 0 0 0 6991 8 0 0 25 0 1 0 897730138 18161664 1871 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2055 0 0 0 7991 9 0 0 25 0 1 0 897730138 18616320 1975 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2164 0 0 0 8990 9 0 0 25 0 1 0 897730138 19058688 2084 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2279 0 0 0 9990 10 0 0 25 0 1 0 897730138 19501056 2199 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2383 0 0 0 10989 11 0 0 25 0 1 0 897730138 19955712 2303 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2493 0 0 0 11989 11 0 0 25 0 1 0 897730138 20402176 2413 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2413 1111 63 0 4918 0
vsize: 19924
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2602 0 0 0 12988 12 0 0 25 0 1 0 897730138 20856832 2522 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2712 0 0 0 13988 12 0 0 25 0 1 0 897730138 21299200 2632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2821 0 0 0 14987 13 0 0 25 0 1 0 897730138 21725184 2741 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 2925 0 0 0 15987 13 0 0 25 0 1 0 897730138 22171648 2845 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2845 1111 63 0 5350 0
vsize: 21652
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3040 0 0 0 16987 14 0 0 25 0 1 0 897730138 22622208 2960 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2960 1111 63 0 5460 0
vsize: 22092
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3145 0 0 0 17987 14 0 0 25 0 1 0 897730138 23072768 3065 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3260 0 0 0 18987 14 0 0 25 0 1 0 897730138 23662592 3180 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3180 1111 63 0 5714 0
vsize: 23108
[startup+200.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3371 0 0 0 19986 15 0 0 25 0 1 0 897730138 24113152 3291 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3481 0 0 0 20986 15 0 0 25 0 1 0 897730138 24559616 3401 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3591 0 0 0 21986 16 0 0 25 0 1 0 897730138 25010176 3511 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3701 0 0 0 22986 16 0 0 25 0 1 0 897730138 25460736 3621 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3811 0 0 0 23986 16 0 0 25 0 1 0 897730138 25911296 3731 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3731 1111 63 0 6263 0
vsize: 25304
[startup+250.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 3914 0 0 0 24985 17 0 0 25 0 1 0 897730138 26210304 3834 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3834 1111 63 0 6336 0
vsize: 25596
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4032 0 0 0 25985 17 0 0 25 0 1 0 897730138 26804224 3952 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4135 0 0 0 26985 18 0 0 25 0 1 0 897730138 27107328 4055 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6618 4055 1111 63 0 6555 0
vsize: 26472
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4252 0 0 0 27984 19 0 0 25 0 1 0 897730138 27705344 4172 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4172 1111 63 0 6701 0
vsize: 27056
[startup+290.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4356 0 0 0 28983 19 0 0 25 0 1 0 897730138 28008448 4276 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4276 1111 63 0 6775 0
vsize: 27352
[startup+300.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4471 0 0 0 29983 20 0 0 25 0 1 0 897730138 28602368 4391 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4391 1111 63 0 6920 0
vsize: 27932
[startup+310.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4576 0 0 0 30982 21 0 0 25 0 1 0 897730138 29028352 4496 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4496 1111 63 0 7024 0
vsize: 28348
[startup+320.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4691 0 0 0 31982 21 0 0 25 0 1 0 897730138 29474816 4611 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4611 1111 63 0 7133 0
vsize: 28784
[startup+330.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4796 0 0 0 32982 22 0 0 25 0 1 0 897730138 29925376 4716 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4716 1111 63 0 7243 0
vsize: 29224
[startup+340.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 4911 0 0 0 33981 22 0 0 25 0 1 0 897730138 30375936 4831 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4831 1111 63 0 7353 0
vsize: 29664
[startup+350.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5022 0 0 0 34981 22 0 0 25 0 1 0 897730138 30826496 4942 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4942 1111 63 0 7463 0
vsize: 30104
[startup+360.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5142 0 0 0 35981 23 0 0 25 0 1 0 897730138 31309824 5062 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5062 1111 63 0 7581 0
vsize: 30576
[startup+370.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5253 0 0 0 36981 23 0 0 25 0 1 0 897730138 31760384 5173 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5173 1111 63 0 7691 0
vsize: 31016
[startup+380.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5363 0 0 0 37980 24 0 0 25 0 1 0 897730138 32210944 5283 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5283 1111 63 0 7801 0
vsize: 31456
[startup+390.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5474 0 0 0 38980 24 0 0 25 0 1 0 897730138 32661504 5394 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5394 1111 63 0 7911 0
vsize: 31896
[startup+400.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5584 0 0 0 39979 25 0 0 25 0 1 0 897730138 33107968 5504 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5504 1111 63 0 8020 0
vsize: 32332
[startup+410.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5701 0 0 0 40979 25 0 0 25 0 1 0 897730138 33558528 5621 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5621 1111 63 0 8130 0
vsize: 32772
[startup+420.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5805 0 0 0 41979 25 0 0 25 0 1 0 897730138 34009088 5725 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5725 1111 63 0 8240 0
vsize: 33212
[startup+430.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 5922 0 0 0 42979 26 0 0 25 0 1 0 897730138 34459648 5842 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5842 1111 63 0 8350 0
vsize: 33652
[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6032 0 0 0 43978 26 0 0 25 0 1 0 897730138 34906112 5952 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 5952 1111 63 0 8459 0
vsize: 34088
[startup+450.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6143 0 0 0 44978 27 0 0 25 0 1 0 897730138 35360768 6063 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 6063 1111 63 0 8570 0
vsize: 34532
[startup+460.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6260 0 0 0 45978 27 0 0 25 0 1 0 897730138 35958784 6180 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6180 1111 63 0 8716 0
vsize: 35116
[startup+470.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6370 0 0 0 46978 27 0 0 25 0 1 0 897730138 36409344 6290 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6290 1111 63 0 8826 0
vsize: 35556
[startup+480.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6481 0 0 0 47978 28 0 0 25 0 1 0 897730138 36859904 6401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6401 1111 63 0 8936 0
vsize: 35996
[startup+490.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6590 0 0 0 48977 28 0 0 25 0 1 0 897730138 37306368 6510 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6510 1111 63 0 9045 0
vsize: 36432
[startup+500.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6702 0 0 0 49977 28 0 0 25 0 1 0 897730138 37761024 6622 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6622 1111 63 0 9156 0
vsize: 36876
[startup+510.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6817 0 0 0 50976 30 0 0 25 0 1 0 897730138 38207488 6737 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6737 1111 63 0 9265 0
vsize: 37312
[startup+520.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 6929 0 0 0 51976 30 0 0 25 0 1 0 897730138 38658048 6849 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6849 1111 63 0 9375 0
vsize: 37752
[startup+530.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7039 0 0 0 52976 31 0 0 25 0 1 0 897730138 39108608 6959 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6959 1111 63 0 9485 0
vsize: 38192
[startup+540.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7157 0 0 0 53975 31 0 0 25 0 1 0 897730138 39559168 7077 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7077 1111 63 0 9595 0
vsize: 38632
[startup+550.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7266 0 0 0 54975 31 0 0 25 0 1 0 897730138 40005632 7186 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7186 1111 63 0 9704 0
vsize: 39068
[startup+560.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7378 0 0 0 55975 31 0 0 25 0 1 0 897730138 40456192 7298 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7298 1111 63 0 9814 0
vsize: 39508
[startup+570.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7494 0 0 0 56975 32 0 0 25 0 1 0 897730138 40906752 7414 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7414 1111 63 0 9924 0
vsize: 39948
[startup+580.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7606 0 0 0 57975 32 0 0 25 0 1 0 897730138 41357312 7526 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7526 1111 63 0 10034 0
vsize: 40388
[startup+590.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7715 0 0 0 58975 32 0 0 25 0 1 0 897730138 41803776 7635 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 7635 1111 63 0 10143 0
vsize: 40824
[startup+600.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7832 0 0 0 59975 33 0 0 25 0 1 0 897730138 42250240 7752 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7752 1111 63 0 10252 0
vsize: 41260
[startup+610.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 7943 0 0 0 60974 33 0 0 25 0 1 0 897730138 42704896 7863 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7863 1111 63 0 10363 0
vsize: 41704
[startup+620.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8054 0 0 0 61974 34 0 0 25 0 1 0 897730138 43151360 7974 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7974 1111 63 0 10472 0
vsize: 42140
[startup+630.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8169 0 0 0 62973 34 0 0 25 0 1 0 897730138 43753472 8089 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8089 1111 63 0 10619 0
vsize: 42728
[startup+640.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8287 0 0 0 63973 35 0 0 25 0 1 0 897730138 44183552 8207 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8207 1111 63 0 10724 0
vsize: 43148
[startup+650.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8397 0 0 0 64973 36 0 0 25 0 1 0 897730138 44621824 8317 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8317 1111 63 0 10831 0
vsize: 43576
[startup+660.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8508 0 0 0 65972 36 0 0 25 0 1 0 897730138 45072384 8428 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8428 1111 63 0 10941 0
vsize: 44016
[startup+670.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8624 0 0 0 66972 37 0 0 25 0 1 0 897730138 45522944 8544 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8544 1111 63 0 11051 0
vsize: 44456
[startup+680.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8741 0 0 0 67971 37 0 0 25 0 1 0 897730138 45973504 8661 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8661 1111 63 0 11161 0
vsize: 44896
[startup+690.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8851 0 0 0 68970 38 0 0 25 0 1 0 897730138 46419968 8771 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8771 1111 63 0 11270 0
vsize: 45332
[startup+700.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 8962 0 0 0 69970 39 0 0 25 0 1 0 897730138 46874624 8882 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8882 1111 63 0 11381 0
vsize: 45776
[startup+710.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9097 0 0 0 70970 39 0 0 25 0 1 0 897730138 47579136 9017 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9017 1111 63 0 11553 0
vsize: 46464
[startup+720.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9215 0 0 0 71969 40 0 0 25 0 1 0 897730138 48144384 9135 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9135 1111 63 0 11691 0
vsize: 47016
[startup+730.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9325 0 0 0 72969 41 0 0 25 0 1 0 897730138 48590848 9245 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9245 1111 63 0 11800 0
vsize: 47452
[startup+740.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9436 0 0 0 73968 41 0 0 25 0 1 0 897730138 49041408 9356 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9356 1111 63 0 11910 0
vsize: 47892
[startup+750.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9553 0 0 0 74968 41 0 0 25 0 1 0 897730138 49491968 9473 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9473 1111 63 0 12020 0
vsize: 48332
[startup+760.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9671 0 0 0 75967 42 0 0 25 0 1 0 897730138 49942528 9591 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9591 1111 63 0 12130 0
vsize: 48772
[startup+770.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9787 0 0 0 76967 43 0 0 25 0 1 0 897730138 50388992 9707 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9707 1111 63 0 12239 0
vsize: 49208
[startup+780.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 9898 0 0 0 77967 43 0 0 25 0 1 0 897730138 50814976 9818 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9818 1111 63 0 12343 0
vsize: 49624
[startup+790.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10014 0 0 0 78966 44 0 0 25 0 1 0 897730138 51408896 9934 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9934 1111 63 0 12488 0
vsize: 50204
[startup+800.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10127 0 0 0 79965 45 0 0 25 0 1 0 897730138 51859456 10047 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10047 1111 63 0 12598 0
vsize: 50644
[startup+810.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10243 0 0 0 80965 45 0 0 25 0 1 0 897730138 52310016 10163 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10163 1111 63 0 12708 0
vsize: 51084
[startup+820.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10361 0 0 0 81964 46 0 0 25 0 1 0 897730138 52760576 10281 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10281 1111 63 0 12818 0
vsize: 51524
[startup+830.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10478 0 0 0 82964 47 0 0 25 0 1 0 897730138 53207040 10398 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10398 1111 63 0 12927 0
vsize: 51960
[startup+840.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10589 0 0 0 83964 47 0 0 25 0 1 0 897730138 53657600 10509 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10509 1111 63 0 13037 0
vsize: 52400
[startup+850.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10708 0 0 0 84963 48 0 0 25 0 1 0 897730138 54108160 10628 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10628 1111 63 0 13147 0
vsize: 52840
[startup+860.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10818 0 0 0 85963 48 0 0 25 0 1 0 897730138 54558720 10738 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 10738 1111 63 0 13257 0
vsize: 53280
[startup+870.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 10935 0 0 0 86962 49 0 0 25 0 1 0 897730138 55160832 10855 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10855 1111 63 0 13404 0
vsize: 53868
[startup+880.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11052 0 0 0 87962 49 0 0 25 0 1 0 897730138 55607296 10972 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10972 1111 63 0 13513 0
vsize: 54304
[startup+890.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11171 0 0 0 88962 49 0 0 25 0 1 0 897730138 56057856 11091 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11091 1111 63 0 13623 0
vsize: 54744
[startup+900.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11287 0 0 0 89962 50 0 0 25 0 1 0 897730138 56508416 11207 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+910.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11404 0 0 0 90962 50 0 0 25 0 1 0 897730138 56958976 11324 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11324 1111 63 0 13843 0
vsize: 55624
[startup+920.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11521 0 0 0 91962 50 0 0 25 0 1 0 897730138 57552896 11441 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11441 1111 63 0 13988 0
vsize: 56204
[startup+930.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11634 0 0 0 92961 51 0 0 25 0 1 0 897730138 58007552 11554 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11554 1111 63 0 14099 0
vsize: 56648
[startup+940.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11750 0 0 0 93961 51 0 0 25 0 1 0 897730138 58454016 11670 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11670 1111 63 0 14208 0
vsize: 57084
[startup+950.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11868 0 0 0 94960 52 0 0 25 0 1 0 897730138 58908672 11788 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11788 1111 63 0 14319 0
vsize: 57528
[startup+960.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 11984 0 0 0 95960 52 0 0 25 0 1 0 897730138 59351040 11904 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11904 1111 63 0 14427 0
vsize: 57960
[startup+970.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12103 0 0 0 96960 53 0 0 25 0 1 0 897730138 59805696 12023 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12023 1111 63 0 14538 0
vsize: 58404
[startup+980.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12214 0 0 0 97960 53 0 0 25 0 1 0 897730138 60252160 12134 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 12134 1111 63 0 14647 0
vsize: 58840
[startup+990.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12332 0 0 0 98959 54 0 0 25 0 1 0 897730138 60854272 12252 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12252 1111 63 0 14794 0
vsize: 59428
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12448 0 0 0 99959 54 0 0 25 0 1 0 897730138 61300736 12368 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12368 1111 63 0 14903 0
vsize: 59864
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12566 0 0 0 100958 55 0 0 25 0 1 0 897730138 61755392 12486 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12486 1111 63 0 15014 0
vsize: 60308
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12684 0 0 0 101958 55 0 0 25 0 1 0 897730138 62201856 12604 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12604 1111 63 0 15123 0
vsize: 60744
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12801 0 0 0 102957 56 0 0 25 0 1 0 897730138 62652416 12721 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15296 12721 1111 63 0 15233 0
vsize: 61184
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 12918 0 0 0 103957 56 0 0 25 0 1 0 897730138 63254528 12838 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12838 1111 63 0 15380 0
vsize: 61772
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13036 0 0 0 104957 57 0 0 25 0 1 0 897730138 63700992 12956 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12956 1111 63 0 15489 0
vsize: 62208
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13155 0 0 0 105957 57 0 0 25 0 1 0 897730138 64155648 13075 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13075 1111 63 0 15600 0
vsize: 62652
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13277 0 0 0 106957 58 0 0 25 0 1 0 897730138 64602112 13197 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13197 1111 63 0 15709 0
vsize: 63088
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13396 0 0 0 107956 58 0 0 25 0 1 0 897730138 65204224 13316 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13316 1111 63 0 15856 0
vsize: 63676
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13519 0 0 0 108956 58 0 0 25 0 1 0 897730138 65650688 13439 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13439 1111 63 0 15965 0
vsize: 64112
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13638 0 0 0 109956 58 0 0 25 0 1 0 897730138 66105344 13558 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13558 1111 63 0 16076 0
vsize: 64556
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13755 0 0 0 110956 59 0 0 25 0 1 0 897730138 66547712 13675 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13675 1111 63 0 16184 0
vsize: 64988
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13873 0 0 0 111956 59 0 0 25 0 1 0 897730138 67149824 13793 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13793 1111 63 0 16331 0
vsize: 65576
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 13991 0 0 0 112956 59 0 0 25 0 1 0 897730138 67600384 13911 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13911 1111 63 0 16441 0
vsize: 66016
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14116 0 0 0 113956 60 0 0 25 0 1 0 897730138 68050944 14036 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14036 1111 63 0 16551 0
vsize: 66456
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14241 0 0 0 114956 60 0 0 25 0 1 0 897730138 68653056 14161 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14161 1111 63 0 16698 0
vsize: 67044
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14357 0 0 0 115956 60 0 0 25 0 1 0 897730138 69099520 14277 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14277 1111 63 0 16807 0
vsize: 67480
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14477 0 0 0 116956 61 0 0 25 0 1 0 897730138 69550080 14397 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14397 1111 63 0 16917 0
vsize: 67920
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14594 0 0 0 117956 61 0 0 25 0 1 0 897730138 70000640 14514 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14514 1111 63 0 17027 0
vsize: 68360
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14719 0 0 0 118956 61 0 0 25 0 1 0 897730138 70598656 14639 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14639 1111 63 0 17173 0
vsize: 68944
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) R 1497 31399 31398 0 -1 0 14842 0 0 0 119956 61 0 0 25 0 1 0 897730138 71045120 14762 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14762 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 1498
Raw data (stat): 1498 (bsolo_lpr-v2) Z 1497 31399 31398 0 -1 1036 14842 0 0 0 119956 64 0 0 25 0 1 0 897730138 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.07
CPU time (s): 1200.21
CPU user time (s): 1199.56
CPU system time (s): 0.643902
CPU usage (%): 100.012
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####