PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
MD5SUM	652a81faea87c0443f84aaa4223a3702
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	125440
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6576662400
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4020224000000
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	8483418475850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71574
Number of variables	188160
Total number of constraints	3136
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	3136
Minimum length of a constraint	100
Maximum length of a constraint	480
Trace number 27739

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 23:11:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15978 boxname=wulflinc15 idbench=1230 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 15978
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        738984 kB
Buffers:         13440 kB
Cached:         261236 kB
SwapCached:        384 kB
Active:          52760 kB
Inactive:       224188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        738732 kB
SwapTotal:     2097136 kB
SwapFree:      2096044 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13060 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:31:07 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 15978 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.52 0.75 0.83 1/54 30479
Raw data (stat): 30479 (runsolver) D 30478 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 775868232 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.59 0.76 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1192 0 0 0 982 4 0 0 25 0 1 0 775868232 15912960 1116 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3885 1116 1111 63 0 3822 0
vsize: 15540
[startup+20.0055 s]
Raw data (loadavg): 0.65 0.77 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1406 0 0 0 1981 5 0 0 25 0 1 0 775868232 16900096 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4126 1330 1111 63 0 4063 0
vsize: 16504
[startup+30.006 s]
Raw data (loadavg): 0.71 0.78 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1613 0 0 0 2981 5 0 0 25 0 1 0 775868232 17743872 1537 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 1537 1111 63 0 4269 0
vsize: 17328
[startup+40.0066 s]
Raw data (loadavg): 0.75 0.78 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1836 0 0 0 3981 6 0 0 25 0 1 0 775868232 18604032 1760 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4542 1760 1111 63 0 4479 0
vsize: 18168
[startup+50.0067 s]
Raw data (loadavg): 0.79 0.79 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2048 0 0 0 4981 6 0 0 25 0 1 0 775868232 19443712 1972 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4747 1972 1111 63 0 4684 0
vsize: 18988
[startup+60.0079 s]
Raw data (loadavg): 0.82 0.80 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2262 0 0 0 5981 6 0 0 25 0 1 0 775868232 20291584 2186 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4954 2186 1111 63 0 4891 0
vsize: 19816
[startup+70.0081 s]
Raw data (loadavg): 0.85 0.80 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2487 0 0 0 6981 7 0 0 25 0 1 0 775868232 21274624 2411 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2411 1111 63 0 5131 0
vsize: 20776
[startup+80.0093 s]
Raw data (loadavg): 0.87 0.81 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2707 0 0 0 7981 7 0 0 25 0 1 0 775868232 22114304 2631 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 2631 1111 63 0 5336 0
vsize: 21596
[startup+90.0101 s]
Raw data (loadavg): 0.89 0.81 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2920 0 0 0 8980 8 0 0 25 0 1 0 775868232 23101440 2844 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 2844 1111 63 0 5577 0
vsize: 22560
[startup+100.01 s]
Raw data (loadavg): 0.91 0.82 0.84 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3134 0 0 0 9980 8 0 0 25 0 1 0 775868232 23949312 3058 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5847 3058 1111 63 0 5784 0
vsize: 23388
[startup+110.016 s]
Raw data (loadavg): 0.92 0.83 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3354 0 0 0 10980 9 0 0 25 0 1 0 775868232 24797184 3278 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6054 3278 1111 63 0 5991 0
vsize: 24216
[startup+120.131 s]
Raw data (loadavg): 0.93 0.83 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3575 0 0 0 11991 9 0 0 25 0 1 0 775868232 25780224 3499 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6294 3499 1111 63 0 6231 0
vsize: 25176
[startup+130.131 s]
Raw data (loadavg): 0.94 0.84 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3800 0 0 0 12991 10 0 0 25 0 1 0 775868232 26644480 3724 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6505 3724 1111 63 0 6442 0
vsize: 26020
[startup+140.131 s]
Raw data (loadavg): 0.95 0.84 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4021 0 0 0 13991 10 0 0 25 0 1 0 775868232 27627520 3945 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 3945 1111 63 0 6682 0
vsize: 26980
[startup+150.131 s]
Raw data (loadavg): 0.96 0.85 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4235 0 0 0 14991 11 0 0 25 0 1 0 775868232 28475392 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4159 1111 63 0 6889 0
vsize: 27808
[startup+160.132 s]
Raw data (loadavg): 0.96 0.85 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4455 0 0 0 15990 11 0 0 25 0 1 0 775868232 29315072 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 4379 1111 63 0 7094 0
vsize: 28628
[startup+170.132 s]
Raw data (loadavg): 0.97 0.85 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4676 0 0 0 16991 11 0 0 25 0 1 0 775868232 30302208 4600 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7398 4600 1111 63 0 7335 0
vsize: 29592
[startup+180.132 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4897 0 0 0 17990 11 0 0 25 0 1 0 775868232 31150080 4821 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7605 4821 1111 63 0 7542 0
vsize: 30420
[startup+190.132 s]
Raw data (loadavg): 0.98 0.86 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5117 0 0 0 18990 12 0 0 25 0 1 0 775868232 31997952 5041 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7812 5041 1111 63 0 7749 0
vsize: 31248
[startup+200.132 s]
Raw data (loadavg): 0.98 0.87 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5338 0 0 0 19990 12 0 0 25 0 1 0 775868232 32976896 5262 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8051 5262 1111 63 0 7988 0
vsize: 32204
[startup+210.234 s]
Raw data (loadavg): 0.98 0.87 0.85 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5559 0 0 0 21000 12 0 0 25 0 1 0 775868232 33820672 5483 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 5483 1111 63 0 8194 0
vsize: 33028
[startup+220.235 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5779 0 0 0 22000 13 0 0 25 0 1 0 775868232 34811904 5703 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8499 5703 1111 63 0 8436 0
vsize: 33996
[startup+230.235 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6006 0 0 0 22999 14 0 0 25 0 1 0 775868232 35655680 5930 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 5930 1111 63 0 8642 0
vsize: 34820
[startup+240.235 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6226 0 0 0 23999 14 0 0 25 0 1 0 775868232 36642816 6150 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6150 1111 63 0 8883 0
vsize: 35784
[startup+250.235 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6445 0 0 0 24998 15 0 0 25 0 1 0 775868232 37482496 6369 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9151 6369 1111 63 0 9088 0
vsize: 36604
[startup+260.235 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6677 0 0 0 25998 15 0 0 25 0 1 0 775868232 38481920 6601 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9395 6601 1111 63 0 9332 0
vsize: 37580
[startup+270.235 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6898 0 0 0 26997 16 0 0 25 0 1 0 775868232 39329792 6822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9602 6822 1111 63 0 9539 0
vsize: 38408
[startup+280.235 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7125 0 0 0 27996 17 0 0 25 0 1 0 775868232 40308736 7049 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 7049 1111 63 0 9778 0
vsize: 39364
[startup+290.236 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7352 0 0 0 28996 18 0 0 25 0 1 0 775868232 41295872 7276 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10082 7276 1111 63 0 10019 0
vsize: 40328
[startup+300.236 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7573 0 0 0 29996 18 0 0 25 0 1 0 775868232 42143744 7497 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7497 1111 63 0 10226 0
vsize: 41156
[startup+310.237 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7794 0 0 0 30996 18 0 0 25 0 1 0 775868232 42987520 7718 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7718 1111 63 0 10432 0
vsize: 41980
[startup+320.237 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8022 0 0 0 31996 19 0 0 25 0 1 0 775868232 43974656 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7946 1111 63 0 10673 0
vsize: 42944
[startup+330.238 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8248 0 0 0 32995 20 0 0 25 0 1 0 775868232 44957696 8172 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 8172 1111 63 0 10913 0
vsize: 43904
[startup+340.238 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8469 0 0 0 33995 20 0 0 25 0 1 0 775868232 45801472 8393 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11182 8393 1111 63 0 11119 0
vsize: 44728
[startup+350.238 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8703 0 0 0 34995 20 0 0 25 0 1 0 775868232 46788608 8627 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11423 8627 1111 63 0 11360 0
vsize: 45692
[startup+360.239 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8925 0 0 0 35994 21 0 0 25 0 1 0 775868232 47636480 8849 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 8849 1111 63 0 11567 0
vsize: 46520
[startup+370.239 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9151 0 0 0 36994 21 0 0 25 0 1 0 775868232 48615424 9075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 9075 1111 63 0 11806 0
vsize: 47476
[startup+380.24 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9379 0 0 0 37994 22 0 0 25 0 1 0 775868232 49463296 9303 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12076 9303 1111 63 0 12013 0
vsize: 48304
[startup+390.24 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9607 0 0 0 38994 22 0 0 25 0 1 0 775868232 50450432 9531 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12317 9531 1111 63 0 12254 0
vsize: 49268
[startup+400.24 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9834 0 0 0 39993 23 0 0 25 0 1 0 775868232 51437568 9758 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12558 9758 1111 63 0 12495 0
vsize: 50232
[startup+410.241 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10063 0 0 0 40993 23 0 0 25 0 1 0 775868232 52277248 9987 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12763 9987 1111 63 0 12700 0
vsize: 51052
[startup+420.241 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10290 0 0 0 41993 24 0 0 25 0 1 0 775868232 53264384 10214 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13004 10214 1111 63 0 12941 0
vsize: 52016
[startup+430.241 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10523 0 0 0 42993 24 0 0 25 0 1 0 775868232 54251520 10447 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13245 10447 1111 63 0 13182 0
vsize: 52980
[startup+440.242 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10752 0 0 0 43993 24 0 0 25 0 1 0 775868232 55095296 10676 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13451 10676 1111 63 0 13388 0
vsize: 53804
[startup+450.241 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10980 0 0 0 44993 24 0 0 25 0 1 0 775868232 56086528 10904 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10904 1111 63 0 13630 0
vsize: 54772
[startup+460.242 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11212 0 0 0 45992 25 0 0 25 0 1 0 775868232 57065472 11136 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13932 11136 1111 63 0 13869 0
vsize: 55728
[startup+470.242 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11440 0 0 0 46992 26 0 0 25 0 1 0 775868232 57909248 11364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14138 11364 1111 63 0 14075 0
vsize: 56552
[startup+480.242 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11673 0 0 0 47992 26 0 0 25 0 1 0 775868232 58900480 11597 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14380 11597 1111 63 0 14317 0
vsize: 57520
[startup+490.243 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11901 0 0 0 48992 26 0 0 25 0 1 0 775868232 59883520 11825 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14620 11825 1111 63 0 14557 0
vsize: 58480
[startup+500.244 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12153 0 0 0 49991 27 0 0 25 0 1 0 775868232 60952576 12077 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14881 12077 1111 63 0 14818 0
vsize: 59524
[startup+510.244 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12385 0 0 0 50991 27 0 0 25 0 1 0 775868232 61931520 12309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15120 12309 1111 63 0 15057 0
vsize: 60480
[startup+520.244 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12614 0 0 0 51991 27 0 0 25 0 1 0 775868232 62918656 12538 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15361 12538 1111 63 0 15298 0
vsize: 61444
[startup+530.244 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12849 0 0 0 52991 28 0 0 25 0 1 0 775868232 63766528 12773 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15568 12773 1111 63 0 15505 0
vsize: 62272
[startup+540.245 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13083 0 0 0 53991 28 0 0 25 0 1 0 775868232 64753664 13007 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 13007 1111 63 0 15746 0
vsize: 63236
[startup+550.245 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13318 0 0 0 54991 28 0 0 25 0 1 0 775868232 65732608 13242 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16048 13242 1111 63 0 15985 0
vsize: 64192
[startup+560.246 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13551 0 0 0 55991 29 0 0 25 0 1 0 775868232 66719744 13475 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16289 13475 1111 63 0 16226 0
vsize: 65156
[startup+570.246 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13785 0 0 0 56991 29 0 0 25 0 1 0 775868232 67706880 13709 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16530 13709 1111 63 0 16467 0
vsize: 66120
[startup+580.246 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14020 0 0 0 57991 29 0 0 25 0 1 0 775868232 68554752 13944 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16737 13944 1111 63 0 16674 0
vsize: 66948
[startup+590.247 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14256 0 0 0 58990 30 0 0 25 0 1 0 775868232 69537792 14180 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 14180 1111 63 0 16914 0
vsize: 67908
[startup+600.248 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14496 0 0 0 59990 30 0 0 25 0 1 0 775868232 70520832 14420 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17217 14420 1111 63 0 17154 0
vsize: 68868
[startup+610.249 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14730 0 0 0 60990 31 0 0 25 0 1 0 775868232 71507968 14654 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 14654 1111 63 0 17395 0
vsize: 69832
[startup+620.249 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14965 0 0 0 61990 31 0 0 25 0 1 0 775868232 72495104 14889 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17699 14889 1111 63 0 17636 0
vsize: 70796
[startup+630.248 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15199 0 0 0 62989 31 0 0 25 0 1 0 775868232 73478144 15123 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 15123 1111 63 0 17876 0
vsize: 71756
[startup+640.249 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15441 0 0 0 63989 32 0 0 25 0 1 0 775868232 74469376 15365 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18181 15365 1111 63 0 18118 0
vsize: 72724
[startup+650.249 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15682 0 0 0 64989 32 0 0 25 0 1 0 775868232 75452416 15606 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15606 1111 63 0 18358 0
vsize: 73684
[startup+660.25 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15916 0 0 0 65988 33 0 0 25 0 1 0 775868232 76292096 15840 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18626 15840 1111 63 0 18563 0
vsize: 74504
[startup+670.251 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16157 0 0 0 66988 34 0 0 25 0 1 0 775868232 77283328 16081 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 16081 1111 63 0 18805 0
vsize: 75472
[startup+680.251 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16399 0 0 0 67988 34 0 0 25 0 1 0 775868232 78266368 16323 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19108 16323 1111 63 0 19045 0
vsize: 76432
[startup+690.251 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16634 0 0 0 68988 34 0 0 25 0 1 0 775868232 79253504 16558 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16558 1111 63 0 19286 0
vsize: 77396
[startup+700.251 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16876 0 0 0 69987 35 0 0 25 0 1 0 775868232 80240640 16800 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19590 16800 1111 63 0 19527 0
vsize: 78360
[startup+710.254 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17115 0 0 0 70987 36 0 0 25 0 1 0 775868232 81223680 17039 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 17039 1111 63 0 19767 0
vsize: 79320
[startup+720.254 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17357 0 0 0 71987 36 0 0 25 0 1 0 775868232 82206720 17281 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17281 1111 63 0 20007 0
vsize: 80280
[startup+730.256 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17599 0 0 0 72987 36 0 0 25 0 1 0 775868232 83193856 17523 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 17523 1111 63 0 20248 0
vsize: 81244
[startup+740.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17840 0 0 0 73988 36 0 0 25 0 1 0 775868232 84180992 17764 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17764 1111 63 0 20489 0
vsize: 82208
[startup+750.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18082 0 0 0 74987 37 0 0 25 0 1 0 775868232 85168128 18006 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20793 18006 1111 63 0 20730 0
vsize: 83172
[startup+760.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18324 0 0 0 75987 37 0 0 25 0 1 0 775868232 86147072 18248 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 18248 1111 63 0 20969 0
vsize: 84128
[startup+770.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18564 0 0 0 76986 38 0 0 25 0 1 0 775868232 87138304 18488 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21274 18488 1111 63 0 21211 0
vsize: 85096
[startup+780.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18812 0 0 0 77986 38 0 0 25 0 1 0 775868232 88121344 18736 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21514 18736 1111 63 0 21451 0
vsize: 86056
[startup+790.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19054 0 0 0 78986 39 0 0 25 0 1 0 775868232 89108480 18978 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21755 18978 1111 63 0 21692 0
vsize: 87020
[startup+800.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19295 0 0 0 79986 39 0 0 25 0 1 0 775868232 90095616 19219 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21996 19219 1111 63 0 21933 0
vsize: 87984
[startup+810.271 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19544 0 0 0 80987 39 0 0 25 0 1 0 775868232 91222016 19468 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22271 19468 1111 63 0 22208 0
vsize: 89084
[startup+820.272 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19792 0 0 0 81986 40 0 0 25 0 1 0 775868232 92209152 19716 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19716 1111 63 0 22449 0
vsize: 90048
[startup+830.272 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20032 0 0 0 82986 40 0 0 25 0 1 0 775868232 93188096 19956 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22751 19956 1111 63 0 22688 0
vsize: 91004
[startup+840.273 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20280 0 0 0 83986 41 0 0 25 0 1 0 775868232 94175232 20204 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22992 20204 1111 63 0 22929 0
vsize: 91968
[startup+850.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20523 0 0 0 84985 42 0 0 25 0 1 0 775868232 95162368 20447 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23233 20447 1111 63 0 23170 0
vsize: 92932
[startup+860.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20770 0 0 0 85985 42 0 0 25 0 1 0 775868232 96149504 20694 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23474 20694 1111 63 0 23411 0
vsize: 93896
[startup+870.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21020 0 0 0 86985 43 0 0 25 0 1 0 775868232 97136640 20944 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23715 20944 1111 63 0 23652 0
vsize: 94860
[startup+880.274 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21268 0 0 0 87984 43 0 0 25 0 1 0 775868232 98263040 21192 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23990 21192 1111 63 0 23927 0
vsize: 95960
[startup+890.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21514 0 0 0 88984 44 0 0 25 0 1 0 775868232 99246080 21438 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 21438 1111 63 0 24167 0
vsize: 96920
[startup+900.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21763 0 0 0 89984 44 0 0 25 0 1 0 775868232 100229120 21687 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24470 21687 1111 63 0 24407 0
vsize: 97880
[startup+910.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22011 0 0 0 90984 44 0 0 25 0 1 0 775868232 101216256 21935 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24711 21935 1111 63 0 24648 0
vsize: 98844
[startup+920.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22259 0 0 0 91984 45 0 0 25 0 1 0 775868232 102203392 22183 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24952 22183 1111 63 0 24889 0
vsize: 99808
[startup+930.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22508 0 0 0 92983 45 0 0 25 0 1 0 775868232 103329792 22432 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25227 22432 1111 63 0 25164 0
vsize: 100908
[startup+940.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22756 0 0 0 93983 46 0 0 25 0 1 0 775868232 104316928 22680 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25468 22680 1111 63 0 25405 0
vsize: 101872
[startup+950.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23008 0 0 0 94983 46 0 0 25 0 1 0 775868232 105295872 22932 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25707 22932 1111 63 0 25644 0
vsize: 102828
[startup+960.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23290 0 0 0 95982 47 0 0 25 0 1 0 775868232 106786816 23214 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23214 1111 63 0 26008 0
vsize: 104284
[startup+970.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23544 0 0 0 96982 47 0 0 25 0 1 0 775868232 107769856 23468 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26311 23468 1111 63 0 26248 0
vsize: 105244
[startup+980.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23794 0 0 0 97981 48 0 0 25 0 1 0 775868232 108761088 23718 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26553 23718 1111 63 0 26490 0
vsize: 106212
[startup+990.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24049 0 0 0 98981 49 0 0 25 0 1 0 775868232 109887488 23973 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26828 23973 1111 63 0 26765 0
vsize: 107312
[startup+1000.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24303 0 0 0 99981 49 0 0 25 0 1 0 775868232 110870528 24227 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27068 24227 1111 63 0 27005 0
vsize: 108272
[startup+1010.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24554 0 0 0 100980 50 0 0 25 0 1 0 775868232 111857664 24478 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27309 24478 1111 63 0 27246 0
vsize: 109236
[startup+1020.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24814 0 0 0 101980 51 0 0 25 0 1 0 775868232 112979968 24738 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27583 24738 1111 63 0 27520 0
vsize: 110332
[startup+1030.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25062 0 0 0 102980 51 0 0 25 0 1 0 775868232 113967104 24986 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24986 1111 63 0 27761 0
vsize: 111296
[startup+1040.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25318 0 0 0 103979 51 0 0 25 0 1 0 775868232 114954240 25242 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28065 25242 1111 63 0 28002 0
vsize: 112260
[startup+1050.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25572 0 0 0 104979 52 0 0 25 0 1 0 775868232 116080640 25496 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28340 25496 1111 63 0 28277 0
vsize: 113360
[startup+1060.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25828 0 0 0 105979 52 0 0 25 0 1 0 775868232 117067776 25752 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28581 25752 1111 63 0 28518 0
vsize: 114324
[startup+1070.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26083 0 0 0 106979 52 0 0 25 0 1 0 775868232 118194176 26007 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28856 26007 1111 63 0 28793 0
vsize: 115424
[startup+1080.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26344 0 0 0 107978 53 0 0 25 0 1 0 775868232 119181312 26268 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29097 26268 1111 63 0 29034 0
vsize: 116388
[startup+1090.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26601 0 0 0 108978 53 0 0 25 0 1 0 775868232 120307712 26525 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29372 26525 1111 63 0 29309 0
vsize: 117488
[startup+1100.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26854 0 0 0 109977 54 0 0 25 0 1 0 775868232 121286656 26778 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26778 1111 63 0 29548 0
vsize: 118444
[startup+1110.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27115 0 0 0 110977 55 0 0 25 0 1 0 775868232 122413056 27039 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 27039 1111 63 0 29823 0
vsize: 119544
[startup+1120.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27372 0 0 0 111977 55 0 0 25 0 1 0 775868232 123400192 27296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30127 27296 1111 63 0 30064 0
vsize: 120508
[startup+1130.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27627 0 0 0 112977 56 0 0 25 0 1 0 775868232 124387328 27551 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30368 27551 1111 63 0 30305 0
vsize: 121472
[startup+1140.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27889 0 0 0 113976 56 0 0 25 0 1 0 775868232 125513728 27813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30643 27813 1111 63 0 30580 0
vsize: 122572
[startup+1150.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28151 0 0 0 114976 57 0 0 25 0 1 0 775868232 126640128 28075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30918 28075 1111 63 0 30855 0
vsize: 123672
[startup+1160.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28406 0 0 0 115976 57 0 0 25 0 1 0 775868232 127627264 28330 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31159 28330 1111 63 0 31096 0
vsize: 124636
[startup+1170.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28669 0 0 0 116976 57 0 0 25 0 1 0 775868232 128753664 28593 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31434 28593 1111 63 0 31371 0
vsize: 125736
[startup+1180.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28925 0 0 0 117975 58 0 0 25 0 1 0 775868232 129732608 28849 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31673 28849 1111 63 0 31610 0
vsize: 126692
[startup+1190.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 29184 0 0 0 118975 58 0 0 25 0 1 0 775868232 130863104 29108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31949 29108 1111 63 0 31886 0
vsize: 127796
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30479
Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 29448 0 0 0 119974 59 0 0 25 0 1 0 775868232 131850240 29372 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32190 29372 1111 63 0 32127 0
vsize: 128760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 30479
Raw data (stat): 30479 (bsolo_lpr) Z 30478 23514 23513 0 -1 1036 29448 0 0 0 119975 64 0 0 25 0 1 0 775868232 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.34
CPU time (s): 1200.4
CPU user time (s): 1199.75
CPU system time (s): 0.648901
CPU usage (%): 100.005
Max. virtual memory (Kb): 128760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####