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-fit2p.opb
MD5SUM	5f5cb3c37eae37e49339d7674a999c27
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	172663
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	42533442284
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	30985420800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	101083836075
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9357
Number of variables	210852
Total number of constraints	10500
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	10500
Minimum length of a constraint	10
Maximum length of a constraint	413
Trace number 27756

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 23:13:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15809 boxname=wulflinc24 idbench=1217 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-fit2p.opb
IDLAUNCH: 15809
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        819624 kB
Buffers:          9720 kB
Cached:         181896 kB
SwapCached:        620 kB
Active:          49020 kB
Inactive:       145056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819372 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:33:19 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 15809 7 1200.19 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.83 0.94 0.95 1/54 9216
Raw data (stat): 9216 (runsolver) D 9215 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 834106660 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.0009 s]
Raw data (loadavg): 0.85 0.94 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 1458 0 0 0 986 6 0 0 25 0 1 0 834106660 15765504 1382 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3849 1382 1111 63 0 3786 0
vsize: 15396
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.94 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 1601 0 0 0 1986 6 0 0 25 0 1 0 834106660 16322560 1525 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 1525 1111 63 0 3922 0
vsize: 15940
[startup+30.0013 s]
Raw data (loadavg): 0.89 0.94 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 1750 0 0 0 2985 7 0 0 25 0 1 0 834106660 16875520 1674 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4120 1674 1111 63 0 4057 0
vsize: 16480
[startup+40.002 s]
Raw data (loadavg): 0.91 0.94 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 1893 0 0 0 3985 8 0 0 25 0 1 0 834106660 17428480 1817 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4255 1817 1111 63 0 4192 0
vsize: 17020
[startup+50.003 s]
Raw data (loadavg): 0.92 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2041 0 0 0 4984 8 0 0 25 0 1 0 834106660 18124800 1965 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4425 1965 1111 63 0 4362 0
vsize: 17700
[startup+60.0038 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2192 0 0 0 5984 9 0 0 25 0 1 0 834106660 18690048 2116 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2116 1111 63 0 4500 0
vsize: 18252
[startup+70.0041 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2342 0 0 0 6984 10 0 0 25 0 1 0 834106660 19386368 2266 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 2266 1111 63 0 4670 0
vsize: 18932
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2490 0 0 0 7983 10 0 0 25 0 1 0 834106660 19939328 2414 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 2414 1111 63 0 4805 0
vsize: 19472
[startup+90.0042 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2634 0 0 0 8983 11 0 0 25 0 1 0 834106660 20496384 2558 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 2558 1111 63 0 4941 0
vsize: 20016
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2788 0 0 0 9983 11 0 0 25 0 1 0 834106660 21184512 2712 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5172 2712 1111 63 0 5109 0
vsize: 20688
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 2943 0 0 0 10982 11 0 0 25 0 1 0 834106660 21741568 2867 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5308 2867 1111 63 0 5245 0
vsize: 21232
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3085 0 0 0 11982 12 0 0 25 0 1 0 834106660 22433792 3009 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3009 1111 63 0 5414 0
vsize: 21908
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3241 0 0 0 12982 12 0 0 25 0 1 0 834106660 22990848 3165 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5613 3165 1111 63 0 5550 0
vsize: 22452
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3390 0 0 0 13982 12 0 0 25 0 1 0 834106660 23678976 3314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3314 1111 63 0 5718 0
vsize: 23124
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3534 0 0 0 14982 13 0 0 25 0 1 0 834106660 24231936 3458 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 3458 1111 63 0 5853 0
vsize: 23664
[startup+160.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3689 0 0 0 15982 13 0 0 25 0 1 0 834106660 24793088 3613 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 3613 1111 63 0 5990 0
vsize: 24212
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3837 0 0 0 16982 14 0 0 25 0 1 0 834106660 25481216 3761 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6221 3761 1111 63 0 6158 0
vsize: 24884
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 3987 0 0 0 17982 14 0 0 25 0 1 0 834106660 26042368 3911 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 3911 1111 63 0 6295 0
vsize: 25432
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4136 0 0 0 18982 14 0 0 25 0 1 0 834106660 26730496 4060 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 4060 1111 63 0 6463 0
vsize: 26104
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4286 0 0 0 19981 14 0 0 25 0 1 0 834106660 27291648 4210 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6663 4210 1111 63 0 6600 0
vsize: 26652
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4434 0 0 0 20981 15 0 0 25 0 1 0 834106660 27840512 4358 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 4358 1111 63 0 6734 0
vsize: 27188
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4591 0 0 0 21981 15 0 0 25 0 1 0 834106660 28532736 4515 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6966 4515 1111 63 0 6903 0
vsize: 27864
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4739 0 0 0 22981 15 0 0 25 0 1 0 834106660 29220864 4663 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7134 4663 1111 63 0 7071 0
vsize: 28536
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 4895 0 0 0 23981 16 0 0 25 0 1 0 834106660 29782016 4819 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 4819 1111 63 0 7208 0
vsize: 29084
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5045 0 0 0 24981 16 0 0 25 0 1 0 834106660 30474240 4969 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7440 4969 1111 63 0 7377 0
vsize: 29760
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5195 0 0 0 25980 16 0 0 25 0 1 0 834106660 31031296 5119 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7576 5119 1111 63 0 7513 0
vsize: 30304
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5350 0 0 0 26980 17 0 0 25 0 1 0 834106660 31719424 5274 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7744 5274 1111 63 0 7681 0
vsize: 30976
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5494 0 0 0 27981 17 0 0 25 0 1 0 834106660 32280576 5418 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7881 5418 1111 63 0 7818 0
vsize: 31524
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5649 0 0 0 28980 17 0 0 25 0 1 0 834106660 32833536 5573 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8016 5573 1111 63 0 7953 0
vsize: 32064
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5798 0 0 0 29980 17 0 0 25 0 1 0 834106660 33521664 5722 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8184 5722 1111 63 0 8121 0
vsize: 32736
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 5955 0 0 0 30980 18 0 0 25 0 1 0 834106660 34082816 5879 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 5879 1111 63 0 8258 0
vsize: 33284
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6098 0 0 0 31979 19 0 0 25 0 1 0 834106660 34770944 6022 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8489 6022 1111 63 0 8426 0
vsize: 33956
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6254 0 0 0 32978 19 0 0 25 0 1 0 834106660 35332096 6178 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8626 6178 1111 63 0 8563 0
vsize: 34504
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6409 0 0 0 33978 19 0 0 25 0 1 0 834106660 36020224 6333 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8794 6333 1111 63 0 8731 0
vsize: 35176
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6560 0 0 0 34978 19 0 0 25 0 1 0 834106660 36577280 6484 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8930 6484 1111 63 0 8867 0
vsize: 35720
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6708 0 0 0 35978 20 0 0 25 0 1 0 834106660 37269504 6632 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 6632 1111 63 0 9036 0
vsize: 36396
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 6859 0 0 0 36978 20 0 0 25 0 1 0 834106660 37826560 6783 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9235 6783 1111 63 0 9172 0
vsize: 36940
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7013 0 0 0 37978 20 0 0 25 0 1 0 834106660 38518784 6937 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6937 1111 63 0 9341 0
vsize: 37616
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7163 0 0 0 38978 20 0 0 25 0 1 0 834106660 39075840 7087 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9540 7087 1111 63 0 9477 0
vsize: 38160
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7318 0 0 0 39978 20 0 0 25 0 1 0 834106660 39768064 7242 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 7242 1111 63 0 9646 0
vsize: 38836
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7468 0 0 0 40978 21 0 0 25 0 1 0 834106660 40325120 7392 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9845 7392 1111 63 0 9782 0
vsize: 39380
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7633 0 0 0 41977 22 0 0 25 0 1 0 834106660 41058304 7557 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 7557 1111 63 0 9961 0
vsize: 40096
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7784 0 0 0 42977 22 0 0 25 0 1 0 834106660 41607168 7708 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10158 7708 1111 63 0 10095 0
vsize: 40632
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 7939 0 0 0 43977 22 0 0 25 0 1 0 834106660 42303488 7863 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10328 7863 1111 63 0 10265 0
vsize: 41312
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8088 0 0 0 44977 22 0 0 25 0 1 0 834106660 42856448 8012 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10463 8012 1111 63 0 10400 0
vsize: 41852
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8244 0 0 0 45977 23 0 0 25 0 1 0 834106660 43556864 8168 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10634 8168 1111 63 0 10571 0
vsize: 42536
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8394 0 0 0 46977 23 0 0 25 0 1 0 834106660 44105728 8318 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10768 8318 1111 63 0 10705 0
vsize: 43072
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8550 0 0 0 47977 23 0 0 25 0 1 0 834106660 44802048 8474 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10938 8474 1111 63 0 10875 0
vsize: 43752
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8705 0 0 0 48977 24 0 0 25 0 1 0 834106660 45494272 8629 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 8629 1111 63 0 11044 0
vsize: 44428
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 8862 0 0 0 49977 24 0 0 25 0 1 0 834106660 46055424 8786 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11244 8786 1111 63 0 11181 0
vsize: 44976
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9005 0 0 0 50977 24 0 0 25 0 1 0 834106660 46604288 8929 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11378 8929 1111 63 0 11315 0
vsize: 45512
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9163 0 0 0 51977 25 0 0 25 0 1 0 834106660 47300608 9087 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11548 9087 1111 63 0 11485 0
vsize: 46192
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9317 0 0 0 52976 25 0 0 25 0 1 0 834106660 47992832 9241 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11717 9241 1111 63 0 11654 0
vsize: 46868
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9474 0 0 0 53977 25 0 0 25 0 1 0 834106660 48553984 9398 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11854 9398 1111 63 0 11791 0
vsize: 47416
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9624 0 0 0 54977 25 0 0 25 0 1 0 834106660 49246208 9548 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12023 9548 1111 63 0 11960 0
vsize: 48092
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9774 0 0 0 55977 25 0 0 25 0 1 0 834106660 49799168 9698 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12158 9698 1111 63 0 12095 0
vsize: 48632
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 9929 0 0 0 56977 25 0 0 25 0 1 0 834106660 50491392 9853 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12327 9853 1111 63 0 12264 0
vsize: 49308
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10086 0 0 0 57977 26 0 0 25 0 1 0 834106660 51052544 10010 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12464 10010 1111 63 0 12401 0
vsize: 49856
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10241 0 0 0 58977 26 0 0 25 0 1 0 834106660 51744768 10165 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12633 10165 1111 63 0 12570 0
vsize: 50532
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10393 0 0 0 59976 26 0 0 25 0 1 0 834106660 52293632 10317 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12767 10317 1111 63 0 12704 0
vsize: 51068
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10548 0 0 0 60977 26 0 0 25 0 1 0 834106660 52994048 10472 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12938 10472 1111 63 0 12875 0
vsize: 51752
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10698 0 0 0 61977 27 0 0 25 0 1 0 834106660 53547008 10622 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13073 10622 1111 63 0 13010 0
vsize: 52292
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 10860 0 0 0 62977 27 0 0 25 0 1 0 834106660 54243328 10784 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13243 10784 1111 63 0 13180 0
vsize: 52972
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11009 0 0 0 63976 27 0 0 25 0 1 0 834106660 54792192 10933 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13377 10933 1111 63 0 13314 0
vsize: 53508
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11167 0 0 0 64977 27 0 0 25 0 1 0 834106660 55492608 11091 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13548 11091 1111 63 0 13485 0
vsize: 54192
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11322 0 0 0 65976 28 0 0 25 0 1 0 834106660 56180736 11246 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13716 11246 1111 63 0 13653 0
vsize: 54864
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11478 0 0 0 66976 28 0 0 25 0 1 0 834106660 56741888 11402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 11402 1111 63 0 13790 0
vsize: 55412
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11634 0 0 0 67976 29 0 0 25 0 1 0 834106660 57430016 11558 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14021 11558 1111 63 0 13958 0
vsize: 56084
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11791 0 0 0 68976 29 0 0 25 0 1 0 834106660 57991168 11715 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14158 11715 1111 63 0 14095 0
vsize: 56632
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 11941 0 0 0 69976 29 0 0 25 0 1 0 834106660 58679296 11865 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14326 11865 1111 63 0 14263 0
vsize: 57304
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12097 0 0 0 70976 29 0 0 25 0 1 0 834106660 59240448 12021 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14463 12021 1111 63 0 14400 0
vsize: 57852
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12252 0 0 0 71976 30 0 0 25 0 1 0 834106660 59928576 12176 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14631 12176 1111 63 0 14568 0
vsize: 58524
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12410 0 0 0 72976 30 0 0 25 0 1 0 834106660 60624896 12334 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14801 12334 1111 63 0 14738 0
vsize: 59204
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12571 0 0 0 73975 30 0 0 25 0 1 0 834106660 61177856 12495 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14936 12495 1111 63 0 14873 0
vsize: 59744
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12723 0 0 0 74975 31 0 0 25 0 1 0 834106660 61878272 12647 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15107 12647 1111 63 0 15044 0
vsize: 60428
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 12878 0 0 0 75975 31 0 0 25 0 1 0 834106660 62427136 12802 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15241 12802 1111 63 0 15178 0
vsize: 60964
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13034 0 0 0 76975 32 0 0 25 0 1 0 834106660 63123456 12958 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15411 12958 1111 63 0 15348 0
vsize: 61644
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13196 0 0 0 77975 32 0 0 25 0 1 0 834106660 63815680 13120 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15580 13120 1111 63 0 15517 0
vsize: 62320
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13346 0 0 0 78975 32 0 0 25 0 1 0 834106660 64372736 13270 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15716 13270 1111 63 0 15653 0
vsize: 62864
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13507 0 0 0 79975 32 0 0 25 0 1 0 834106660 65064960 13431 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15885 13431 1111 63 0 15822 0
vsize: 63540
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13664 0 0 0 80975 33 0 0 25 0 1 0 834106660 65761280 13588 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16055 13588 1111 63 0 15992 0
vsize: 64220
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13819 0 0 0 81974 33 0 0 25 0 1 0 834106660 66314240 13743 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 13743 1111 63 0 16127 0
vsize: 64760
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 13994 0 0 0 82974 33 0 0 25 0 1 0 834106660 67174400 13918 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16400 13918 1111 63 0 16337 0
vsize: 65600
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14149 0 0 0 83974 34 0 0 25 0 1 0 834106660 67862528 14073 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16568 14073 1111 63 0 16505 0
vsize: 66272
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14313 0 0 0 84974 34 0 0 25 0 1 0 834106660 68419584 14237 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16704 14237 1111 63 0 16641 0
vsize: 66816
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14468 0 0 0 85974 34 0 0 25 0 1 0 834106660 69111808 14392 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16873 14392 1111 63 0 16810 0
vsize: 67492
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14625 0 0 0 86974 34 0 0 25 0 1 0 834106660 69808128 14549 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17043 14549 1111 63 0 16980 0
vsize: 68172
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14781 0 0 0 87974 34 0 0 25 0 1 0 834106660 70361088 14705 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17178 14705 1111 63 0 17115 0
vsize: 68712
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 14942 0 0 0 88973 35 0 0 25 0 1 0 834106660 71053312 14866 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17347 14866 1111 63 0 17284 0
vsize: 69388
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15094 0 0 0 89973 35 0 0 25 0 1 0 834106660 71610368 15018 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17483 15018 1111 63 0 17420 0
vsize: 69932
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15255 0 0 0 90973 35 0 0 25 0 1 0 834106660 72302592 15179 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17652 15179 1111 63 0 17589 0
vsize: 70608
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15412 0 0 0 91973 35 0 0 25 0 1 0 834106660 72998912 15336 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 15336 1111 63 0 17759 0
vsize: 71288
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15575 0 0 0 92973 36 0 0 25 0 1 0 834106660 73691136 15499 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17991 15499 1111 63 0 17928 0
vsize: 71964
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15732 0 0 0 93973 36 0 0 25 0 1 0 834106660 74248192 15656 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18127 15656 1111 63 0 18064 0
vsize: 72508
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 15888 0 0 0 94973 36 0 0 25 0 1 0 834106660 74936320 15812 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18295 15812 1111 63 0 18232 0
vsize: 73180
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16051 0 0 0 95973 36 0 0 25 0 1 0 834106660 75632640 15975 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18465 15975 1111 63 0 18402 0
vsize: 73860
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16213 0 0 0 96973 37 0 0 25 0 1 0 834106660 76185600 16137 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18600 16137 1111 63 0 18537 0
vsize: 74400
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16370 0 0 0 97973 37 0 0 25 0 1 0 834106660 76886016 16294 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18771 16294 1111 63 0 18708 0
vsize: 75084
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16525 0 0 0 98973 37 0 0 25 0 1 0 834106660 77574144 16449 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18939 16449 1111 63 0 18876 0
vsize: 75756
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16683 0 0 0 99973 37 0 0 25 0 1 0 834106660 78131200 16607 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19075 16607 1111 63 0 19012 0
vsize: 76300
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 16839 0 0 0 100973 38 0 0 25 0 1 0 834106660 78823424 16763 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19244 16763 1111 63 0 19181 0
vsize: 76976
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17003 0 0 0 101972 38 0 0 25 0 1 0 834106660 79519744 16927 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19414 16927 1111 63 0 19351 0
vsize: 77656
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17164 0 0 0 102973 38 0 0 25 0 1 0 834106660 80072704 17088 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19549 17088 1111 63 0 19486 0
vsize: 78196
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17327 0 0 0 103972 39 0 0 25 0 1 0 834106660 80769024 17251 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 17251 1111 63 0 19656 0
vsize: 78876
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17484 0 0 0 104973 39 0 0 25 0 1 0 834106660 81457152 17408 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19887 17408 1111 63 0 19824 0
vsize: 79548
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17641 0 0 0 105972 39 0 0 25 0 1 0 834106660 82018304 17565 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20024 17565 1111 63 0 19961 0
vsize: 80096
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17803 0 0 0 106972 40 0 0 25 0 1 0 834106660 82710528 17727 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20193 17727 1111 63 0 20130 0
vsize: 80772
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 17966 0 0 0 107972 40 0 0 25 0 1 0 834106660 83406848 17890 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20363 17890 1111 63 0 20300 0
vsize: 81452
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18128 0 0 0 108972 40 0 0 25 0 1 0 834106660 84094976 18052 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20531 18052 1111 63 0 20468 0
vsize: 82124
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18286 0 0 0 109972 40 0 0 25 0 1 0 834106660 84656128 18210 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20668 18210 1111 63 0 20605 0
vsize: 82672
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18448 0 0 0 110972 40 0 0 25 0 1 0 834106660 85344256 18372 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20836 18372 1111 63 0 20773 0
vsize: 83344
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18612 0 0 0 111972 41 0 0 25 0 1 0 834106660 86044672 18536 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21007 18536 1111 63 0 20944 0
vsize: 84028
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18767 0 0 0 112972 41 0 0 25 0 1 0 834106660 86732800 18691 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21175 18691 1111 63 0 21112 0
vsize: 84700
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 18930 0 0 0 113972 42 0 0 25 0 1 0 834106660 87289856 18854 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21311 18854 1111 63 0 21248 0
vsize: 85244
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19087 0 0 0 114972 42 0 0 25 0 1 0 834106660 87982080 19011 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21480 19011 1111 63 0 21417 0
vsize: 85920
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19250 0 0 0 115972 42 0 0 25 0 1 0 834106660 88678400 19174 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21650 19174 1111 63 0 21587 0
vsize: 86600
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19407 0 0 0 116972 42 0 0 25 0 1 0 834106660 89231360 19331 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21785 19331 1111 63 0 21722 0
vsize: 87140
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19570 0 0 0 117972 43 0 0 25 0 1 0 834106660 89927680 19494 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21955 19494 1111 63 0 21892 0
vsize: 87820
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19732 0 0 0 118972 43 0 0 25 0 1 0 834106660 90615808 19656 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22123 19656 1111 63 0 22060 0
vsize: 88492
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9216
Raw data (stat): 9216 (bsolo_lpr) R 9215 4613 4612 0 -1 0 19896 0 0 0 119972 43 0 0 25 0 1 0 834106660 91316224 19820 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22294 19820 1111 63 0 22231 0
vsize: 89176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 9216
Raw data (stat): 9216 (bsolo_lpr) Z 9215 4613 4612 0 -1 1036 19896 0 0 0 119972 47 0 0 25 0 1 0 834106660 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.08
CPU time (s): 1200.19
CPU user time (s): 1199.72
CPU system time (s): 0.470928
CPU usage (%): 100.01
Max. virtual memory (Kb): 89176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####