PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb
MD5SUM	8b36f38cb0ceb42bd2113a818ef52485
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	82890
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	204819735955723812
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	204819735955723812
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	82890
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	1470
Trace number 39872

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 21:38:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27927 boxname=wulflinc1 idbench=883 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8b36f38cb0ceb42bd2113a818ef52485  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12s.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12s.opb
IDLAUNCH: 27927
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        772616 kB
Buffers:         32188 kB
Cached:         204144 kB
SwapCached:       1192 kB
Active:          34884 kB
Inactive:       203740 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        772364 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            17620 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:58:15 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 27927 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): 0.92 0.95 0.90 2/55 11694
Raw data (stat): 11694 (runsolver) R 11693 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 839436440 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1099 0 0 0 993 4 0 0 25 0 1 0 839436440 15511552 1019 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1019 1111 63 0 3724 0
vsize: 15148
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1202 0 0 0 1992 4 0 0 25 0 1 0 839436440 15945728 1122 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1122 1111 63 0 3830 0
vsize: 15572
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1297 0 0 0 2992 5 0 0 25 0 1 0 839436440 16388096 1217 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1217 1111 63 0 3938 0
vsize: 16004
[startup+39.9997 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1394 0 0 0 3992 5 0 0 25 0 1 0 839436440 16687104 1314 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 1314 1111 63 0 4011 0
vsize: 16296
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1527 0 0 0 4992 5 0 0 25 0 1 0 839436440 17272832 1447 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1447 1111 63 0 4154 0
vsize: 16868
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1646 0 0 0 5992 5 0 0 25 0 1 0 839436440 17702912 1566 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 1566 1111 63 0 4259 0
vsize: 17288
[startup+70.0001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1770 0 0 0 6992 5 0 0 25 0 1 0 839436440 18292736 1690 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1690 1111 63 0 4403 0
vsize: 17864
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 1896 0 0 0 7992 5 0 0 25 0 1 0 839436440 18747392 1816 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 1816 1111 63 0 4514 0
vsize: 18308
[startup+90.0007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2024 0 0 0 8992 6 0 0 25 0 1 0 839436440 19341312 1944 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1944 1111 63 0 4659 0
vsize: 18888
[startup+100 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2151 0 0 0 9992 6 0 0 25 0 1 0 839436440 19795968 2071 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 2071 1111 63 0 4770 0
vsize: 19332
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2269 0 0 0 10992 6 0 0 25 0 1 0 839436440 20242432 2189 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2189 1111 63 0 4879 0
vsize: 19768
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2401 0 0 0 11992 6 0 0 25 0 1 0 839436440 20844544 2321 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2321 1111 63 0 5026 0
vsize: 20356
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2520 0 0 0 12992 7 0 0 25 0 1 0 839436440 21295104 2440 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 2440 1111 63 0 5136 0
vsize: 20796
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2650 0 0 0 13992 7 0 0 25 0 1 0 839436440 21901312 2570 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 2570 1111 63 0 5284 0
vsize: 21388
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2770 0 0 0 14992 7 0 0 25 0 1 0 839436440 22351872 2690 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2690 1111 63 0 5394 0
vsize: 21828
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 2900 0 0 0 15992 7 0 0 25 0 1 0 839436440 22949888 2820 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 2820 1111 63 0 5540 0
vsize: 22412
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3039 0 0 0 16992 7 0 0 25 0 1 0 839436440 23543808 2959 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 2959 1111 63 0 5685 0
vsize: 22992
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3157 0 0 0 17992 8 0 0 25 0 1 0 839436440 23994368 3077 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 3077 1111 63 0 5795 0
vsize: 23432
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3289 0 0 0 18992 8 0 0 25 0 1 0 839436440 24444928 3209 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 3209 1111 63 0 5905 0
vsize: 23872
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3416 0 0 0 19992 8 0 0 25 0 1 0 839436440 25051136 3336 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3336 1111 63 0 6053 0
vsize: 24464
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3542 0 0 0 20992 8 0 0 25 0 1 0 839436440 25501696 3462 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6226 3462 1111 63 0 6163 0
vsize: 24904
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3674 0 0 0 21991 8 0 0 25 0 1 0 839436440 26103808 3594 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3594 1111 63 0 6310 0
vsize: 25492
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3805 0 0 0 22991 9 0 0 25 0 1 0 839436440 26550272 3725 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3725 1111 63 0 6419 0
vsize: 25928
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 3932 0 0 0 23991 9 0 0 25 0 1 0 839436440 27127808 3852 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6623 3852 1111 63 0 6560 0
vsize: 26492
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4058 0 0 0 24991 9 0 0 25 0 1 0 839436440 27574272 3978 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 3978 1111 63 0 6669 0
vsize: 26928
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4190 0 0 0 25991 10 0 0 25 0 1 0 839436440 28180480 4110 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6880 4110 1111 63 0 6817 0
vsize: 27520
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4322 0 0 0 26990 10 0 0 25 0 1 0 839436440 28782592 4242 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4242 1111 63 0 6964 0
vsize: 28108
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4448 0 0 0 27990 10 0 0 25 0 1 0 839436440 29233152 4368 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4368 1111 63 0 7074 0
vsize: 28548
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4574 0 0 0 28990 11 0 0 25 0 1 0 839436440 29683712 4494 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 4494 1111 63 0 7184 0
vsize: 28988
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4705 0 0 0 29990 11 0 0 25 0 1 0 839436440 30281728 4625 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4625 1111 63 0 7330 0
vsize: 29572
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4838 0 0 0 30990 11 0 0 25 0 1 0 839436440 30887936 4758 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 4758 1111 63 0 7478 0
vsize: 30164
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 4981 0 0 0 31990 11 0 0 25 0 1 0 839436440 31526912 4901 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4901 1111 63 0 7634 0
vsize: 30788
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5112 0 0 0 32990 12 0 0 25 0 1 0 839436440 31977472 5032 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7807 5032 1111 63 0 7744 0
vsize: 31228
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5245 0 0 0 33990 12 0 0 25 0 1 0 839436440 32583680 5165 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5165 1111 63 0 7892 0
vsize: 31820
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5378 0 0 0 34990 12 0 0 25 0 1 0 839436440 33030144 5298 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5298 1111 63 0 8001 0
vsize: 32256
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5512 0 0 0 35990 12 0 0 25 0 1 0 839436440 33632256 5432 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5432 1111 63 0 8148 0
vsize: 32844
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5645 0 0 0 36990 12 0 0 25 0 1 0 839436440 34238464 5565 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 5565 1111 63 0 8296 0
vsize: 33436
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5776 0 0 0 37990 13 0 0 25 0 1 0 839436440 34689024 5696 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 5696 1111 63 0 8406 0
vsize: 33876
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 5910 0 0 0 38990 13 0 0 25 0 1 0 839436440 35291136 5830 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8616 5830 1111 63 0 8553 0
vsize: 34464
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6043 0 0 0 39990 13 0 0 25 0 1 0 839436440 35737600 5963 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 5963 1111 63 0 8662 0
vsize: 34900
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6182 0 0 0 40990 14 0 0 25 0 1 0 839436440 36343808 6102 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6102 1111 63 0 8810 0
vsize: 35492
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6322 0 0 0 41990 14 0 0 25 0 1 0 839436440 36945920 6242 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6242 1111 63 0 8957 0
vsize: 36080
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6456 0 0 0 42990 14 0 0 25 0 1 0 839436440 37543936 6376 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6376 1111 63 0 9103 0
vsize: 36664
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6589 0 0 0 43990 14 0 0 25 0 1 0 839436440 37998592 6509 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6509 1111 63 0 9214 0
vsize: 37108
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6727 0 0 0 44990 14 0 0 25 0 1 0 839436440 38596608 6647 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 6647 1111 63 0 9360 0
vsize: 37692
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 6867 0 0 0 45990 14 0 0 25 0 1 0 839436440 39202816 6787 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9571 6787 1111 63 0 9508 0
vsize: 38284
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7003 0 0 0 46990 15 0 0 25 0 1 0 839436440 39653376 6923 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9681 6923 1111 63 0 9618 0
vsize: 38724
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7141 0 0 0 47989 15 0 0 25 0 1 0 839436440 40251392 7061 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 7061 1111 63 0 9764 0
vsize: 39308
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7281 0 0 0 48989 15 0 0 25 0 1 0 839436440 40857600 7201 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9975 7201 1111 63 0 9912 0
vsize: 39900
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7417 0 0 0 49989 16 0 0 25 0 1 0 839436440 41459712 7337 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 7337 1111 63 0 10059 0
vsize: 40488
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7555 0 0 0 50989 16 0 0 25 0 1 0 839436440 41910272 7475 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 7475 1111 63 0 10169 0
vsize: 40928
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7695 0 0 0 51989 16 0 0 25 0 1 0 839436440 42491904 7615 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 7615 1111 63 0 10311 0
vsize: 41496
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7827 0 0 0 52989 17 0 0 25 0 1 0 839436440 43081728 7747 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 7747 1111 63 0 10455 0
vsize: 42072
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 7969 0 0 0 53989 17 0 0 25 0 1 0 839436440 43683840 7889 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 7889 1111 63 0 10602 0
vsize: 42660
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8109 0 0 0 54989 17 0 0 25 0 1 0 839436440 44290048 8029 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10813 8029 1111 63 0 10750 0
vsize: 43252
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8254 0 0 0 55988 17 0 0 25 0 1 0 839436440 44888064 8174 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10959 8174 1111 63 0 10896 0
vsize: 43836
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8396 0 0 0 56989 18 0 0 25 0 1 0 839436440 45342720 8316 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8316 1111 63 0 11007 0
vsize: 44280
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8536 0 0 0 57989 18 0 0 25 0 1 0 839436440 45940736 8456 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11216 8456 1111 63 0 11153 0
vsize: 44864
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8675 0 0 0 58988 18 0 0 25 0 1 0 839436440 46546944 8595 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11364 8595 1111 63 0 11301 0
vsize: 45456
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8822 0 0 0 59988 18 0 0 25 0 1 0 839436440 47149056 8742 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11511 8742 1111 63 0 11448 0
vsize: 46044
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 8980 0 0 0 60988 18 0 0 25 0 1 0 839436440 47849472 8900 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 8900 1111 63 0 11619 0
vsize: 46728
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9127 0 0 0 61988 19 0 0 25 0 1 0 839436440 48451584 9047 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11829 9047 1111 63 0 11766 0
vsize: 47316
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9267 0 0 0 62988 19 0 0 25 0 1 0 839436440 49029120 9187 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11970 9187 1111 63 0 11907 0
vsize: 47880
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9409 0 0 0 63988 20 0 0 25 0 1 0 839436440 49627136 9329 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12116 9329 1111 63 0 12053 0
vsize: 48464
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9556 0 0 0 64988 20 0 0 25 0 1 0 839436440 50229248 9476 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 9476 1111 63 0 12200 0
vsize: 49052
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9703 0 0 0 65987 20 0 0 25 0 1 0 839436440 50810880 9623 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12405 9623 1111 63 0 12342 0
vsize: 49620
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9850 0 0 0 66987 21 0 0 25 0 1 0 839436440 51400704 9770 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 9770 1111 63 0 12486 0
vsize: 50196
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 9998 0 0 0 67987 21 0 0 25 0 1 0 839436440 52006912 9918 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 9918 1111 63 0 12634 0
vsize: 50788
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10146 0 0 0 68987 21 0 0 25 0 1 0 839436440 52609024 10066 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12844 10066 1111 63 0 12781 0
vsize: 51376
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10292 0 0 0 69987 21 0 0 25 0 1 0 839436440 53207040 10212 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10212 1111 63 0 12927 0
vsize: 51960
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10441 0 0 0 70987 21 0 0 25 0 1 0 839436440 53809152 10361 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10361 1111 63 0 13074 0
vsize: 52548
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10589 0 0 0 71987 22 0 0 25 0 1 0 839436440 54415360 10509 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13285 10509 1111 63 0 13222 0
vsize: 53140
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10735 0 0 0 72987 22 0 0 25 0 1 0 839436440 55013376 10655 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13431 10655 1111 63 0 13368 0
vsize: 53724
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 10884 0 0 0 73987 22 0 0 25 0 1 0 839436440 55615488 10804 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13578 10804 1111 63 0 13515 0
vsize: 54312
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11032 0 0 0 74987 23 0 0 25 0 1 0 839436440 56221696 10952 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13726 10952 1111 63 0 13663 0
vsize: 54904
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11178 0 0 0 75987 23 0 0 25 0 1 0 839436440 56819712 11098 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13872 11098 1111 63 0 13809 0
vsize: 55488
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11327 0 0 0 76986 23 0 0 25 0 1 0 839436440 57421824 11247 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14019 11247 1111 63 0 13956 0
vsize: 56076
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11482 0 0 0 77986 24 0 0 25 0 1 0 839436440 58179584 11402 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14204 11402 1111 63 0 14141 0
vsize: 56816
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11635 0 0 0 78986 24 0 0 25 0 1 0 839436440 58777600 11555 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14350 11555 1111 63 0 14287 0
vsize: 57400
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11783 0 0 0 79986 24 0 0 25 0 1 0 839436440 59379712 11703 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14497 11703 1111 63 0 14434 0
vsize: 57988
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 11940 0 0 0 80986 24 0 0 25 0 1 0 839436440 59985920 11860 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14645 11860 1111 63 0 14582 0
vsize: 58580
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12094 0 0 0 81986 25 0 0 25 0 1 0 839436440 60583936 12014 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14791 12014 1111 63 0 14728 0
vsize: 59164
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12241 0 0 0 82986 25 0 0 25 0 1 0 839436440 61186048 12161 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14938 12161 1111 63 0 14875 0
vsize: 59752
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12404 0 0 0 83986 26 0 0 25 0 1 0 839436440 61939712 12324 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15122 12324 1111 63 0 15059 0
vsize: 60488
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12552 0 0 0 84985 26 0 0 25 0 1 0 839436440 62541824 12472 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15269 12472 1111 63 0 15206 0
vsize: 61076
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12712 0 0 0 85985 26 0 0 25 0 1 0 839436440 63139840 12632 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15415 12632 1111 63 0 15352 0
vsize: 61660
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 12869 0 0 0 86985 26 0 0 25 0 1 0 839436440 63746048 12789 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15563 12789 1111 63 0 15500 0
vsize: 62252
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13024 0 0 0 87985 27 0 0 25 0 1 0 839436440 64348160 12944 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15710 12944 1111 63 0 15647 0
vsize: 62840
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13184 0 0 0 88985 27 0 0 25 0 1 0 839436440 65097728 13104 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15893 13104 1111 63 0 15830 0
vsize: 63572
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13340 0 0 0 89985 27 0 0 25 0 1 0 839436440 65699840 13260 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16040 13260 1111 63 0 15977 0
vsize: 64160
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13497 0 0 0 90985 27 0 0 25 0 1 0 839436440 66306048 13417 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16188 13417 1111 63 0 16125 0
vsize: 64752
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13658 0 0 0 91985 28 0 0 25 0 1 0 839436440 67055616 13578 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16371 13578 1111 63 0 16308 0
vsize: 65484
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13819 0 0 0 92984 28 0 0 25 0 1 0 839436440 67653632 13739 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16517 13739 1111 63 0 16454 0
vsize: 66068
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 13983 0 0 0 93984 28 0 0 25 0 1 0 839436440 68259840 13903 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16665 13903 1111 63 0 16602 0
vsize: 66660
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14138 0 0 0 94984 28 0 0 25 0 1 0 839436440 69013504 14058 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16849 14058 1111 63 0 16786 0
vsize: 67396
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14292 0 0 0 95983 29 0 0 25 0 1 0 839436440 69611520 14212 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16995 14212 1111 63 0 16932 0
vsize: 67980
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14456 0 0 0 96983 29 0 0 25 0 1 0 839436440 70217728 14376 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17143 14376 1111 63 0 17080 0
vsize: 68572
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14618 0 0 0 97983 29 0 0 25 0 1 0 839436440 70967296 14538 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17326 14538 1111 63 0 17263 0
vsize: 69304
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14780 0 0 0 98983 30 0 0 25 0 1 0 839436440 71573504 14700 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17474 14700 1111 63 0 17411 0
vsize: 69896
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 14949 0 0 0 99983 30 0 0 25 0 1 0 839436440 72323072 14869 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17657 14869 1111 63 0 17594 0
vsize: 70628
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15111 0 0 0 100983 30 0 0 25 0 1 0 839436440 72925184 15031 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17804 15031 1111 63 0 17741 0
vsize: 71216
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15280 0 0 0 101982 31 0 0 25 0 1 0 839436440 73650176 15200 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17981 15200 1111 63 0 17918 0
vsize: 71924
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15445 0 0 0 102982 31 0 0 25 0 1 0 839436440 74248192 15365 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18127 15365 1111 63 0 18064 0
vsize: 72508
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15606 0 0 0 103981 32 0 0 25 0 1 0 839436440 74997760 15526 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18310 15526 1111 63 0 18247 0
vsize: 73240
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15775 0 0 0 104982 32 0 0 25 0 1 0 839436440 75603968 15695 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18458 15695 1111 63 0 18395 0
vsize: 73832
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 15946 0 0 0 105981 32 0 0 25 0 1 0 839436440 76357632 15866 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18642 15866 1111 63 0 18579 0
vsize: 74568
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16115 0 0 0 106981 33 0 0 25 0 1 0 839436440 76955648 16035 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18788 16035 1111 63 0 18725 0
vsize: 75152
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16283 0 0 0 107981 33 0 0 25 0 1 0 839436440 77709312 16203 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18972 16203 1111 63 0 18909 0
vsize: 75888
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16452 0 0 0 108981 33 0 0 25 0 1 0 839436440 78462976 16372 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19156 16372 1111 63 0 19093 0
vsize: 76624
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16622 0 0 0 109981 34 0 0 25 0 1 0 839436440 79069184 16542 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19304 16542 1111 63 0 19241 0
vsize: 77216
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16834 0 0 0 110981 34 0 0 25 0 1 0 839436440 80183296 16754 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 16754 1111 63 0 19513 0
vsize: 78304
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 16993 0 0 0 111981 34 0 0 25 0 1 0 839436440 80924672 16913 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19757 16913 1111 63 0 19694 0
vsize: 79028
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 17169 0 0 0 112981 34 0 0 25 0 1 0 839436440 81649664 17089 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 17089 1111 63 0 19871 0
vsize: 79736
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 17341 0 0 0 113981 35 0 0 25 0 1 0 839436440 82251776 17261 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20081 17261 1111 63 0 20018 0
vsize: 80324
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 17511 0 0 0 114981 35 0 0 25 0 1 0 839436440 83009536 17431 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20266 17431 1111 63 0 20203 0
vsize: 81064
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 17688 0 0 0 115981 35 0 0 25 0 1 0 839436440 83759104 17608 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 17608 1111 63 0 20386 0
vsize: 81796
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 17863 0 0 0 116980 36 0 0 25 0 1 0 839436440 84357120 17783 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 17783 1111 63 0 20532 0
vsize: 82380
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 18034 0 0 0 117980 36 0 0 25 0 1 0 839436440 85114880 17954 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 17954 1111 63 0 20717 0
vsize: 83120
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 18212 0 0 0 118980 36 0 0 25 0 1 0 839436440 85864448 18132 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20963 18132 1111 63 0 20900 0
vsize: 83852
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) R 11693 8378 8377 0 -1 0 18389 0 0 0 119980 36 0 0 25 0 1 0 839436440 86622208 18309 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21148 18309 1111 63 0 21085 0
vsize: 84592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11694
Raw data (stat): 11694 (bsolo_lpr-v2) Z 11693 8378 8377 0 -1 1036 18389 0 0 0 119980 40 0 0 25 0 1 0 839436440 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.05
CPU time (s): 1200.21
CPU user time (s): 1199.81
CPU system time (s): 0.400939
CPU usage (%): 100.013
Max. virtual memory (Kb): 84592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####