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/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
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	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 40147

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 03:17:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28210 boxname=wulflinc1 idbench=1166 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 28210
/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:        731988 kB
Buffers:         22888 kB
Cached:         254112 kB
SwapCached:       1120 kB
Active:          47816 kB
Inactive:       231376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        731736 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            17580 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:37:58 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 28210 7 1200.3 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.81 0.92 0.90 2/55 17067
Raw data (stat): 17067 (runsolver) R 17066 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 841475009 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.84 0.93 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 2199 0 0 0 990 7 0 0 25 0 1 0 841475009 16429056 2119 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 2119 1111 63 0 3948 0
vsize: 16044
[startup+20.0001 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 2545 0 0 0 1990 8 0 0 25 0 1 0 841475009 17915904 2465 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4374 2465 1111 63 0 4311 0
vsize: 17496
[startup+29.9999 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 2892 0 0 0 2989 9 0 0 25 0 1 0 841475009 19267584 2812 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 2812 1111 63 0 4641 0
vsize: 18816
[startup+39.9996 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 3238 0 0 0 3989 9 0 0 25 0 1 0 841475009 20758528 3158 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5068 3158 1111 63 0 5005 0
vsize: 20272
[startup+50.0004 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 3583 0 0 0 4988 10 0 0 25 0 1 0 841475009 22097920 3503 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 3503 1111 63 0 5332 0
vsize: 21580
[startup+60.0003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 3931 0 0 0 5987 12 0 0 25 0 1 0 841475009 23597056 3851 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 3851 1111 63 0 5698 0
vsize: 23044
[startup+70 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 4277 0 0 0 6987 12 0 0 25 0 1 0 841475009 24936448 4197 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6088 4197 1111 63 0 6025 0
vsize: 24352
[startup+80.0008 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 4628 0 0 0 7986 13 0 0 25 0 1 0 841475009 26427392 4548 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 4548 1111 63 0 6389 0
vsize: 25808
[startup+90.0006 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 4976 0 0 0 8986 13 0 0 25 0 1 0 841475009 27774976 4896 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 4896 1111 63 0 6718 0
vsize: 27124
[startup+100.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 5321 0 0 0 9985 14 0 0 25 0 1 0 841475009 29265920 5241 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7145 5241 1111 63 0 7082 0
vsize: 28580
[startup+110.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 5667 0 0 0 10985 14 0 0 25 0 1 0 841475009 30609408 5587 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7473 5587 1111 63 0 7410 0
vsize: 29892
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 6015 0 0 0 11984 15 0 0 25 0 1 0 841475009 32104448 5935 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7838 5935 1111 63 0 7775 0
vsize: 31352
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 6360 0 0 0 12984 16 0 0 25 0 1 0 841475009 33447936 6280 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 6280 1111 63 0 8103 0
vsize: 32664
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 3/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 6706 0 0 0 13983 17 0 0 25 0 1 0 841475009 34938880 6626 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 6626 1111 63 0 8467 0
vsize: 34120
[startup+150.003 s]
Raw data (loadavg): 1.06 0.96 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 7053 0 0 0 14983 17 0 0 25 0 1 0 841475009 36286464 6973 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8859 6973 1111 63 0 8796 0
vsize: 35436
[startup+160.003 s]
Raw data (loadavg): 1.05 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 7399 0 0 0 15983 18 0 0 25 0 1 0 841475009 37777408 7319 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9223 7319 1111 63 0 9160 0
vsize: 36892
[startup+170.003 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 7751 0 0 0 16982 19 0 0 25 0 1 0 841475009 39268352 7671 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 7671 1111 63 0 9524 0
vsize: 38348
[startup+180.003 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 8101 0 0 0 17982 19 0 0 25 0 1 0 841475009 40603648 8021 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9913 8021 1111 63 0 9850 0
vsize: 39652
[startup+190.003 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 8447 0 0 0 18981 20 0 0 25 0 1 0 841475009 42094592 8367 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8367 1111 63 0 10214 0
vsize: 41108
[startup+200.004 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 8793 0 0 0 19981 21 0 0 25 0 1 0 841475009 43438080 8713 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10605 8713 1111 63 0 10542 0
vsize: 42420
[startup+210.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 9140 0 0 0 20980 21 0 0 25 0 1 0 841475009 44933120 9060 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10970 9060 1111 63 0 10907 0
vsize: 43880
[startup+220.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 9492 0 0 0 21980 21 0 0 25 0 1 0 841475009 46276608 9412 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11298 9412 1111 63 0 11235 0
vsize: 45192
[startup+230.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 9838 0 0 0 22979 22 0 0 25 0 1 0 841475009 47767552 9758 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11662 9758 1111 63 0 11599 0
vsize: 46648
[startup+240.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 10185 0 0 0 23979 23 0 0 25 0 1 0 841475009 49115136 10105 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11991 10105 1111 63 0 11928 0
vsize: 47964
[startup+250.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 10531 0 0 0 24978 24 0 0 25 0 1 0 841475009 50606080 10451 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12355 10451 1111 63 0 12292 0
vsize: 49420
[startup+260.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 10883 0 0 0 25977 25 0 0 25 0 1 0 841475009 52097024 10803 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12719 10803 1111 63 0 12656 0
vsize: 50876
[startup+270.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 11230 0 0 0 26977 25 0 0 25 0 1 0 841475009 53444608 11150 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13048 11150 1111 63 0 12985 0
vsize: 52192
[startup+280.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 11576 0 0 0 27977 26 0 0 25 0 1 0 841475009 54935552 11496 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13412 11496 1111 63 0 13349 0
vsize: 53648
[startup+290.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 11928 0 0 0 28976 26 0 0 25 0 1 0 841475009 56274944 11848 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13739 11848 1111 63 0 13676 0
vsize: 54956
[startup+300.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 12275 0 0 0 29976 27 0 0 25 0 1 0 841475009 57774080 12195 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 12195 1111 63 0 14042 0
vsize: 56420
[startup+310.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 12627 0 0 0 30976 27 0 0 25 0 1 0 841475009 59113472 12547 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 12547 1111 63 0 14369 0
vsize: 57728
[startup+320.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 12972 0 0 0 31975 28 0 0 25 0 1 0 841475009 60604416 12892 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14796 12892 1111 63 0 14733 0
vsize: 59184
[startup+330.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 13320 0 0 0 32975 29 0 0 25 0 1 0 841475009 61952000 13240 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15125 13240 1111 63 0 15062 0
vsize: 60500
[startup+340.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 13672 0 0 0 33974 29 0 0 25 0 1 0 841475009 63442944 13592 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15489 13592 1111 63 0 15426 0
vsize: 61956
[startup+350.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 14024 0 0 0 34974 30 0 0 25 0 1 0 841475009 64925696 13944 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15851 13944 1111 63 0 15788 0
vsize: 63404
[startup+360.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 14376 0 0 0 35973 31 0 0 25 0 1 0 841475009 66408448 14296 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16213 14296 1111 63 0 16150 0
vsize: 64852
[startup+370.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 14721 0 0 0 36973 32 0 0 25 0 1 0 841475009 67747840 14641 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16540 14641 1111 63 0 16477 0
vsize: 66160
[startup+380.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 15074 0 0 0 37973 32 0 0 25 0 1 0 841475009 69238784 14994 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16904 14994 1111 63 0 16841 0
vsize: 67616
[startup+390.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 15422 0 0 0 38971 33 0 0 25 0 1 0 841475009 70586368 15342 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17233 15342 1111 63 0 17170 0
vsize: 68932
[startup+400.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 15773 0 0 0 39971 34 0 0 25 0 1 0 841475009 72077312 15693 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17597 15693 1111 63 0 17534 0
vsize: 70388
[startup+410.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 16119 0 0 0 40970 35 0 0 25 0 1 0 841475009 73420800 16039 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17925 16039 1111 63 0 17862 0
vsize: 71700
[startup+420.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 16473 0 0 0 41970 35 0 0 25 0 1 0 841475009 74915840 16393 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 16393 1111 63 0 18227 0
vsize: 73160
[startup+430.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 16818 0 0 0 42970 35 0 0 25 0 1 0 841475009 76406784 16738 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18654 16738 1111 63 0 18591 0
vsize: 74616
[startup+440.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 17170 0 0 0 43970 36 0 0 25 0 1 0 841475009 77750272 17090 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18982 17090 1111 63 0 18919 0
vsize: 75928
[startup+450.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 17517 0 0 0 44969 37 0 0 25 0 1 0 841475009 79245312 17437 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 17437 1111 63 0 19284 0
vsize: 77388
[startup+460.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 17869 0 0 0 45969 37 0 0 25 0 1 0 841475009 80588800 17789 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19675 17789 1111 63 0 19612 0
vsize: 78700
[startup+470.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 18221 0 0 0 46968 38 0 0 25 0 1 0 841475009 82079744 18141 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20039 18141 1111 63 0 19976 0
vsize: 80156
[startup+480.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 18568 0 0 0 47968 39 0 0 25 0 1 0 841475009 83574784 18488 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20404 18488 1111 63 0 20341 0
vsize: 81616
[startup+490.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 18920 0 0 0 48968 39 0 0 25 0 1 0 841475009 84918272 18840 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20732 18840 1111 63 0 20669 0
vsize: 82928
[startup+500.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 19266 0 0 0 49967 40 0 0 25 0 1 0 841475009 86409216 19186 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21096 19186 1111 63 0 21033 0
vsize: 84384
[startup+510.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 19619 0 0 0 50967 40 0 0 25 0 1 0 841475009 87756800 19539 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21425 19539 1111 63 0 21362 0
vsize: 85700
[startup+520.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 19971 0 0 0 51967 41 0 0 25 0 1 0 841475009 89247744 19891 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 19891 1111 63 0 21726 0
vsize: 87156
[startup+530.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 20325 0 0 0 52966 42 0 0 25 0 1 0 841475009 90746880 20245 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22155 20245 1111 63 0 22092 0
vsize: 88620
[startup+540.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 20670 0 0 0 53965 42 0 0 25 0 1 0 841475009 92086272 20590 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22482 20590 1111 63 0 22419 0
vsize: 89928
[startup+550.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 21022 0 0 0 54965 43 0 0 25 0 1 0 841475009 93577216 20942 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22846 20942 1111 63 0 22783 0
vsize: 91384
[startup+560.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 21376 0 0 0 55964 43 0 0 25 0 1 0 841475009 95076352 21296 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23212 21296 1111 63 0 23149 0
vsize: 92848
[startup+570.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 21721 0 0 0 56964 44 0 0 25 0 1 0 841475009 96415744 21641 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23539 21641 1111 63 0 23476 0
vsize: 94156
[startup+580.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 22073 0 0 0 57963 45 0 0 25 0 1 0 841475009 97906688 21993 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23903 21993 1111 63 0 23840 0
vsize: 95612
[startup+590.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 22427 0 0 0 58963 45 0 0 25 0 1 0 841475009 99254272 22347 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24232 22347 1111 63 0 24169 0
vsize: 96928
[startup+600.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 22778 0 0 0 59963 46 0 0 25 0 1 0 841475009 100745216 22698 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24596 22698 1111 63 0 24533 0
vsize: 98384
[startup+610.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 23130 0 0 0 60962 46 0 0 25 0 1 0 841475009 102236160 23050 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24960 23050 1111 63 0 24897 0
vsize: 99840
[startup+620.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 23484 0 0 0 61962 47 0 0 25 0 1 0 841475009 103583744 23404 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25289 23404 1111 63 0 25226 0
vsize: 101156
[startup+630.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 23829 0 0 0 62962 47 0 0 25 0 1 0 841475009 105074688 23749 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25653 23749 1111 63 0 25590 0
vsize: 102612
[startup+640.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 24181 0 0 0 63961 48 0 0 25 0 1 0 841475009 106565632 24101 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26017 24101 1111 63 0 25954 0
vsize: 104068
[startup+650.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 24535 0 0 0 64961 48 0 0 25 0 1 0 841475009 107913216 24455 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 24455 1111 63 0 26283 0
vsize: 105384
[startup+660.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 24887 0 0 0 65960 49 0 0 25 0 1 0 841475009 109404160 24807 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26710 24807 1111 63 0 26647 0
vsize: 106840
[startup+670.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 25238 0 0 0 66960 50 0 0 25 0 1 0 841475009 110895104 25158 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27074 25158 1111 63 0 27011 0
vsize: 108296
[startup+680.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 25592 0 0 0 67960 50 0 0 25 0 1 0 841475009 112242688 25512 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27403 25512 1111 63 0 27340 0
vsize: 109612
[startup+690.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 25944 0 0 0 68959 51 0 0 25 0 1 0 841475009 113733632 25864 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 25864 1111 63 0 27704 0
vsize: 111068
[startup+700.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 26304 0 0 0 69958 52 0 0 25 0 1 0 841475009 115208192 26224 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28127 26224 1111 63 0 28064 0
vsize: 112508
[startup+710.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 26656 0 0 0 70958 52 0 0 25 0 1 0 841475009 116695040 26576 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28490 26576 1111 63 0 28427 0
vsize: 113960
[startup+720.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 27007 0 0 0 71957 53 0 0 25 0 1 0 841475009 118038528 26927 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28818 26927 1111 63 0 28755 0
vsize: 115272
[startup+730.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 27359 0 0 0 72957 54 0 0 25 0 1 0 841475009 119529472 27279 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29182 27279 1111 63 0 29119 0
vsize: 116728
[startup+740.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 27713 0 0 0 73957 54 0 0 25 0 1 0 841475009 121024512 27633 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29547 27633 1111 63 0 29484 0
vsize: 118188
[startup+750.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 28064 0 0 0 74956 55 0 0 25 0 1 0 841475009 122368000 27984 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29875 27984 1111 63 0 29812 0
vsize: 119500
[startup+760.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 28416 0 0 0 75955 56 0 0 25 0 1 0 841475009 123858944 28336 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30239 28336 1111 63 0 30176 0
vsize: 120956
[startup+770.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 28770 0 0 0 76955 56 0 0 25 0 1 0 841475009 125358080 28690 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30605 28690 1111 63 0 30542 0
vsize: 122420
[startup+780.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 29121 0 0 0 77955 57 0 0 25 0 1 0 841475009 126697472 29041 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30932 29041 1111 63 0 30869 0
vsize: 123728
[startup+790.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 29474 0 0 0 78954 57 0 0 25 0 1 0 841475009 128188416 29394 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31296 29394 1111 63 0 31233 0
vsize: 125184
[startup+800.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 29828 0 0 0 79954 58 0 0 25 0 1 0 841475009 129687552 29748 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31662 29748 1111 63 0 31599 0
vsize: 126648
[startup+810.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 30180 0 0 0 80954 59 0 0 25 0 1 0 841475009 131026944 30100 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31989 30100 1111 63 0 31926 0
vsize: 127956
[startup+820.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 30531 0 0 0 81953 59 0 0 25 0 1 0 841475009 132517888 30451 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32353 30451 1111 63 0 32290 0
vsize: 129412
[startup+830.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 30891 0 0 0 82953 60 0 0 25 0 1 0 841475009 134017024 30811 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32719 30811 1111 63 0 32656 0
vsize: 130876
[startup+840.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 31243 0 0 0 83952 60 0 0 25 0 1 0 841475009 135507968 31163 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33083 31163 1111 63 0 33020 0
vsize: 132332
[startup+850.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 31595 0 0 0 84952 61 0 0 25 0 1 0 841475009 136847360 31515 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33410 31515 1111 63 0 33347 0
vsize: 133640
[startup+860.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 31948 0 0 0 85952 61 0 0 25 0 1 0 841475009 138346496 31868 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 31868 1111 63 0 33713 0
vsize: 135104
[startup+870.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 32301 0 0 0 86951 62 0 0 25 0 1 0 841475009 139837440 32221 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 32221 1111 63 0 34077 0
vsize: 136560
[startup+880.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 32659 0 0 0 87951 63 0 0 25 0 1 0 841475009 141176832 32579 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34467 32579 1111 63 0 34404 0
vsize: 137868
[startup+890.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 33012 0 0 0 88951 63 0 0 25 0 1 0 841475009 142675968 32932 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34833 32932 1111 63 0 34770 0
vsize: 139332
[startup+900.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 33364 0 0 0 89950 63 0 0 25 0 1 0 841475009 144166912 33284 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35197 33284 1111 63 0 35134 0
vsize: 140788
[startup+910.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 33716 0 0 0 90950 64 0 0 25 0 1 0 841475009 145506304 33636 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35524 33636 1111 63 0 35461 0
vsize: 142096
[startup+920.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 34075 0 0 0 91949 65 0 0 25 0 1 0 841475009 147005440 33995 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35890 33995 1111 63 0 35827 0
vsize: 143560
[startup+930.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 34427 0 0 0 92949 66 0 0 25 0 1 0 841475009 148496384 34347 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36254 34347 1111 63 0 36191 0
vsize: 145016
[startup+940.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 34779 0 0 0 93948 66 0 0 25 0 1 0 841475009 149987328 34699 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 34699 1111 63 0 36555 0
vsize: 146472
[startup+950.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 35138 0 0 0 94948 67 0 0 25 0 1 0 841475009 151334912 35058 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36947 35058 1111 63 0 36884 0
vsize: 147788
[startup+960.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 35491 0 0 0 95948 67 0 0 25 0 1 0 841475009 152825856 35411 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37311 35411 1111 63 0 37248 0
vsize: 149244
[startup+970.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 35843 0 0 0 96947 68 0 0 25 0 1 0 841475009 154316800 35763 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37675 35763 1111 63 0 37612 0
vsize: 150700
[startup+980.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 36202 0 0 0 97947 69 0 0 25 0 1 0 841475009 155811840 36122 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38040 36122 1111 63 0 37977 0
vsize: 152160
[startup+990.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 36554 0 0 0 98946 69 0 0 25 0 1 0 841475009 157155328 36474 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38368 36474 1111 63 0 38305 0
vsize: 153472
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 36914 0 0 0 99946 70 0 0 25 0 1 0 841475009 158646272 36834 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38732 36834 1111 63 0 38669 0
vsize: 154928
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 37265 0 0 0 100946 70 0 0 25 0 1 0 841475009 160141312 37185 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39097 37185 1111 63 0 39034 0
vsize: 156388
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 37617 0 0 0 101946 70 0 0 25 0 1 0 841475009 161484800 37537 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39425 37537 1111 63 0 39362 0
vsize: 157700
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 37977 0 0 0 102945 71 0 0 25 0 1 0 841475009 162979840 37897 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39790 37897 1111 63 0 39727 0
vsize: 159160
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 38329 0 0 0 103945 71 0 0 25 0 1 0 841475009 164470784 38249 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40154 38249 1111 63 0 40091 0
vsize: 160616
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 38688 0 0 0 104945 72 0 0 25 0 1 0 841475009 165961728 38608 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40518 38608 1111 63 0 40455 0
vsize: 162072
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 39041 0 0 0 105944 73 0 0 25 0 1 0 841475009 167313408 38961 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40848 38961 1111 63 0 40785 0
vsize: 163392
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 39399 0 0 0 106943 74 0 0 25 0 1 0 841475009 168804352 39319 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41212 39319 1111 63 0 41149 0
vsize: 164848
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 39751 0 0 0 107943 75 0 0 25 0 1 0 841475009 170291200 39671 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41575 39671 1111 63 0 41512 0
vsize: 166300
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 40110 0 0 0 108942 75 0 0 25 0 1 0 841475009 171790336 40030 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41941 40030 1111 63 0 41878 0
vsize: 167764
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 40468 0 0 0 109943 76 0 0 25 0 1 0 841475009 173281280 40388 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42305 40388 1111 63 0 42242 0
vsize: 169220
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 40820 0 0 0 110942 76 0 0 25 0 1 0 841475009 174624768 40740 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42633 40740 1111 63 0 42570 0
vsize: 170532
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 41179 0 0 0 111942 77 0 0 25 0 1 0 841475009 176119808 41099 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42998 41099 1111 63 0 42935 0
vsize: 171992
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 41531 0 0 0 112941 78 0 0 25 0 1 0 841475009 177610752 41451 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43362 41451 1111 63 0 43299 0
vsize: 173448
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 41890 0 0 0 113940 79 0 0 25 0 1 0 841475009 179101696 41810 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43726 41810 1111 63 0 43663 0
vsize: 174904
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 42249 0 0 0 114940 79 0 0 25 0 1 0 841475009 180449280 42169 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44055 42169 1111 63 0 43992 0
vsize: 176220
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 42601 0 0 0 115939 80 0 0 25 0 1 0 841475009 181940224 42521 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44419 42521 1111 63 0 44356 0
vsize: 177676
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 42959 0 0 0 116939 81 0 0 25 0 1 0 841475009 183431168 42879 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44783 42879 1111 63 0 44720 0
vsize: 179132
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 43319 0 0 0 117939 81 0 0 25 0 1 0 841475009 184930304 43239 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45149 43239 1111 63 0 45086 0
vsize: 180596
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 43670 0 0 0 118939 81 0 0 25 0 1 0 841475009 186269696 43590 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45476 43590 1111 63 0 45413 0
vsize: 181904
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) R 17066 8378 8377 0 -1 0 44028 0 0 0 119938 82 0 0 25 0 1 0 841475009 187760640 43948 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45840 43948 1111 63 0 45777 0
vsize: 183360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 17067
Raw data (stat): 17067 (bsolo_lpr-v2) Z 17066 8378 8377 0 -1 1036 44028 0 0 0 119938 90 0 0 25 0 1 0 841475009 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.11
CPU time (s): 1200.3
CPU user time (s): 1199.39
CPU system time (s): 0.905862
CPU usage (%): 100.015
Max. virtual memory (Kb): 183360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####