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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
Bench Category	optimization, medium integers (OPTMEDINT)
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	104999
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39166356584
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39166356584
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97585
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26951

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 18:18:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19033 boxname=wulflinc23 idbench=1465 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  15d69bc05970e4bbd20708cb8fb70185  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-n3703.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-n3703.opb
IDLAUNCH: 19033
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        827820 kB
Buffers:         35464 kB
Cached:         149104 kB
SwapCached:        664 kB
Active:          80636 kB
Inactive:       106428 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        827540 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14160 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:38:17 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 19033 7 1200.22 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.86 0.97 0.93 2/54 8482
Raw data (stat): 8482 (runsolver) R 8481 5562 5561 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 832340530 1052672 98 4294967295 134512640 135381576 3221224496 3221219720 134979581 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 98 215 215 0 42 0
vsize: 1028
[startup+9.99954 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 1158 0 0 0 986 5 0 0 25 0 1 0 832340530 16052224 1082 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0001 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 1398 0 0 0 1986 5 0 0 25 0 1 0 832340530 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0002 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 1642 0 0 0 2986 6 0 0 25 0 1 0 832340530 18038784 1566 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 1566 1111 63 0 4341 0
vsize: 17616
[startup+39.9994 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 1889 0 0 0 3984 7 0 0 25 0 1 0 832340530 19165184 1813 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1813 1111 63 0 4616 0
vsize: 18716
[startup+50.002 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 2137 0 0 0 4984 8 0 0 25 0 1 0 832340530 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+60.002 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 2383 0 0 0 5983 9 0 0 25 0 1 0 832340530 21135360 2307 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2307 1111 63 0 5097 0
vsize: 20640
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 2630 0 0 0 6982 10 0 0 25 0 1 0 832340530 22114304 2554 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2554 1111 63 0 5336 0
vsize: 21596
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 2871 0 0 0 7981 11 0 0 25 0 1 0 832340530 23101440 2795 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 2795 1111 63 0 5577 0
vsize: 22560
[startup+90.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 3119 0 0 0 8981 11 0 0 25 0 1 0 832340530 24088576 3043 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5881 3043 1111 63 0 5818 0
vsize: 23524
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 3367 0 0 0 9980 12 0 0 25 0 1 0 832340530 25214976 3291 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3291 1111 63 0 6093 0
vsize: 24624
[startup+110.003 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 3615 0 0 0 10980 13 0 0 25 0 1 0 832340530 26202112 3539 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3539 1111 63 0 6334 0
vsize: 25588
[startup+120.004 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 3870 0 0 0 11979 14 0 0 25 0 1 0 832340530 27209728 3794 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6643 3794 1111 63 0 6580 0
vsize: 26572
[startup+130.004 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 4118 0 0 0 12979 14 0 0 25 0 1 0 832340530 28188672 4042 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 4042 1111 63 0 6819 0
vsize: 27528
[startup+140.004 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 4365 0 0 0 13978 15 0 0 25 0 1 0 832340530 29315072 4289 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4289 1111 63 0 7094 0
vsize: 28628
[startup+150.005 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 4620 0 0 0 14977 16 0 0 25 0 1 0 832340530 30302208 4544 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4544 1111 63 0 7335 0
vsize: 29592
[startup+160.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 4868 0 0 0 15977 17 0 0 25 0 1 0 832340530 31289344 4792 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7639 4792 1111 63 0 7576 0
vsize: 30556
[startup+170.005 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 5123 0 0 0 16976 18 0 0 25 0 1 0 832340530 32415744 5047 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5047 1111 63 0 7851 0
vsize: 31656
[startup+180.005 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 5372 0 0 0 17976 18 0 0 25 0 1 0 832340530 33402880 5296 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5296 1111 63 0 8092 0
vsize: 32620
[startup+190.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 5620 0 0 0 18975 19 0 0 25 0 1 0 832340530 34390016 5544 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5544 1111 63 0 8333 0
vsize: 33584
[startup+200.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 5874 0 0 0 19975 20 0 0 25 0 1 0 832340530 35368960 5798 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8635 5798 1111 63 0 8572 0
vsize: 34540
[startup+210.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 6127 0 0 0 20973 21 0 0 25 0 1 0 832340530 36495360 6051 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6051 1111 63 0 8847 0
vsize: 35640
[startup+220.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 6375 0 0 0 21973 22 0 0 25 0 1 0 832340530 37482496 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 6299 1111 63 0 9088 0
vsize: 36604
[startup+230.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 6641 0 0 0 22972 23 0 0 25 0 1 0 832340530 38621184 6565 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9429 6565 1111 63 0 9366 0
vsize: 37716
[startup+240.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 6896 0 0 0 23972 23 0 0 25 0 1 0 832340530 39608320 6820 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9670 6820 1111 63 0 9607 0
vsize: 38680
[startup+250.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 7145 0 0 0 24972 24 0 0 25 0 1 0 832340530 40734720 7069 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 7069 1111 63 0 9882 0
vsize: 39780
[startup+260.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 7407 0 0 0 25971 25 0 0 25 0 1 0 832340530 41721856 7331 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10186 7331 1111 63 0 10123 0
vsize: 40744
[startup+270.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 7655 0 0 0 26970 26 0 0 25 0 1 0 832340530 42700800 7579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7579 1111 63 0 10362 0
vsize: 41700
[startup+280.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 7915 0 0 0 27970 26 0 0 25 0 1 0 832340530 43831296 7839 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10701 7839 1111 63 0 10638 0
vsize: 42804
[startup+290.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 8165 0 0 0 28969 27 0 0 25 0 1 0 832340530 44818432 8089 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10942 8089 1111 63 0 10879 0
vsize: 43768
[startup+300.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 8426 0 0 0 29968 28 0 0 25 0 1 0 832340530 45944832 8350 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11217 8350 1111 63 0 11154 0
vsize: 44868
[startup+310.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 8682 0 0 0 30968 29 0 0 25 0 1 0 832340530 46927872 8606 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11457 8606 1111 63 0 11394 0
vsize: 45828
[startup+320.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 8937 0 0 0 31967 30 0 0 25 0 1 0 832340530 48054272 8861 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11732 8861 1111 63 0 11669 0
vsize: 46928
[startup+330.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 9198 0 0 0 32966 31 0 0 25 0 1 0 832340530 49045504 9122 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11974 9122 1111 63 0 11911 0
vsize: 47896
[startup+340.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 9455 0 0 0 33966 31 0 0 25 0 1 0 832340530 50171904 9379 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 9379 1111 63 0 12186 0
vsize: 48996
[startup+350.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 9716 0 0 0 34965 32 0 0 25 0 1 0 832340530 51154944 9640 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12489 9640 1111 63 0 12426 0
vsize: 49956
[startup+360.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 9971 0 0 0 35965 33 0 0 25 0 1 0 832340530 52277248 9895 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12763 9895 1111 63 0 12700 0
vsize: 51052
[startup+370.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 10233 0 0 0 36964 34 0 0 25 0 1 0 832340530 53264384 10157 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13004 10157 1111 63 0 12941 0
vsize: 52016
[startup+380.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 10494 0 0 0 37964 34 0 0 25 0 1 0 832340530 54390784 10418 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13279 10418 1111 63 0 13216 0
vsize: 53116
[startup+390.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 10757 0 0 0 38963 35 0 0 25 0 1 0 832340530 55377920 10681 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13520 10681 1111 63 0 13457 0
vsize: 54080
[startup+400.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 11019 0 0 0 39963 35 0 0 25 0 1 0 832340530 56504320 10943 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13795 10943 1111 63 0 13732 0
vsize: 55180
[startup+410.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 11281 0 0 0 40963 36 0 0 25 0 1 0 832340530 57630720 11205 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14070 11205 1111 63 0 14007 0
vsize: 56280
[startup+420.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 11549 0 0 0 41962 36 0 0 25 0 1 0 832340530 58617856 11473 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14311 11473 1111 63 0 14248 0
vsize: 57244
[startup+430.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 11817 0 0 0 42962 37 0 0 25 0 1 0 832340530 59744256 11741 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14586 11741 1111 63 0 14523 0
vsize: 58344
[startup+440.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 12096 0 0 0 43962 37 0 0 25 0 1 0 832340530 61091840 12020 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14915 12020 1111 63 0 14852 0
vsize: 59660
[startup+450.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 12365 0 0 0 44961 38 0 0 25 0 1 0 832340530 62074880 12289 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15155 12289 1111 63 0 15092 0
vsize: 60620
[startup+460.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 12632 0 0 0 45961 38 0 0 25 0 1 0 832340530 63201280 12556 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15430 12556 1111 63 0 15367 0
vsize: 61720
[startup+470.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 12895 0 0 0 46961 39 0 0 25 0 1 0 832340530 64327680 12819 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15705 12819 1111 63 0 15642 0
vsize: 62820
[startup+480.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 13170 0 0 0 47961 39 0 0 25 0 1 0 832340530 65454080 13094 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 13094 1111 63 0 15917 0
vsize: 63920
[startup+490.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 13434 0 0 0 48960 40 0 0 25 0 1 0 832340530 66437120 13358 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16220 13358 1111 63 0 16157 0
vsize: 64880
[startup+500.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 13708 0 0 0 49960 40 0 0 25 0 1 0 832340530 67567616 13632 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16496 13632 1111 63 0 16433 0
vsize: 65984
[startup+510.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 13977 0 0 0 50959 41 0 0 25 0 1 0 832340530 68694016 13901 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16771 13901 1111 63 0 16708 0
vsize: 67084
[startup+520.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 14247 0 0 0 51959 42 0 0 25 0 1 0 832340530 69820416 14171 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17046 14171 1111 63 0 16983 0
vsize: 68184
[startup+530.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 14516 0 0 0 52959 42 0 0 25 0 1 0 832340530 70946816 14440 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17321 14440 1111 63 0 17258 0
vsize: 69284
[startup+540.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 14786 0 0 0 53958 43 0 0 25 0 1 0 832340530 72073216 14710 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17596 14710 1111 63 0 17533 0
vsize: 70384
[startup+550.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 15061 0 0 0 54958 43 0 0 25 0 1 0 832340530 73199616 14985 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17871 14985 1111 63 0 17808 0
vsize: 71484
[startup+560.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 15336 0 0 0 55958 44 0 0 25 0 1 0 832340530 74326016 15260 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 15260 1111 63 0 18083 0
vsize: 72584
[startup+570.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 15612 0 0 0 56958 44 0 0 25 0 1 0 832340530 75452416 15536 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15536 1111 63 0 18358 0
vsize: 73684
[startup+580.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 15882 0 0 0 57958 44 0 0 25 0 1 0 832340530 76435456 15806 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18661 15806 1111 63 0 18598 0
vsize: 74644
[startup+590.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 16157 0 0 0 58958 44 0 0 25 0 1 0 832340530 77561856 16081 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 16081 1111 63 0 18873 0
vsize: 75744
[startup+600.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 16432 0 0 0 59958 44 0 0 25 0 1 0 832340530 78688256 16356 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19211 16356 1111 63 0 19148 0
vsize: 76844
[startup+610.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 16701 0 0 0 60958 44 0 0 25 0 1 0 832340530 79814656 16625 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19486 16625 1111 63 0 19423 0
vsize: 77944
[startup+620.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 16984 0 0 0 61958 45 0 0 25 0 1 0 832340530 80941056 16908 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19761 16908 1111 63 0 19698 0
vsize: 79044
[startup+630.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 17260 0 0 0 62958 45 0 0 25 0 1 0 832340530 82067456 17184 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20036 17184 1111 63 0 19973 0
vsize: 80144
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 17536 0 0 0 63957 46 0 0 25 0 1 0 832340530 83193856 17460 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 17460 1111 63 0 20248 0
vsize: 81244
[startup+650.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 17811 0 0 0 64957 47 0 0 25 0 1 0 832340530 84324352 17735 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20587 17735 1111 63 0 20524 0
vsize: 82348
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 18094 0 0 0 65956 47 0 0 25 0 1 0 832340530 85590016 18018 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18018 1111 63 0 20833 0
vsize: 83584
[startup+670.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 18370 0 0 0 66956 47 0 0 25 0 1 0 832340530 86716416 18294 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21171 18294 1111 63 0 21108 0
vsize: 84684
[startup+680.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 18646 0 0 0 67956 48 0 0 25 0 1 0 832340530 87842816 18570 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18570 1111 63 0 21383 0
vsize: 85784
[startup+690.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 18929 0 0 0 68956 48 0 0 25 0 1 0 832340530 88969216 18853 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21721 18853 1111 63 0 21658 0
vsize: 86884
[startup+700.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 19211 0 0 0 69956 49 0 0 25 0 1 0 832340530 90095616 19135 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21996 19135 1111 63 0 21933 0
vsize: 87984
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 19494 0 0 0 70955 49 0 0 25 0 1 0 832340530 91222016 19418 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22271 19418 1111 63 0 22208 0
vsize: 89084
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 19777 0 0 0 71955 50 0 0 25 0 1 0 832340530 92348416 19701 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22546 19701 1111 63 0 22483 0
vsize: 90184
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 20053 0 0 0 72955 50 0 0 25 0 1 0 832340530 93474816 19977 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22821 19977 1111 63 0 22758 0
vsize: 91284
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 20343 0 0 0 73955 51 0 0 25 0 1 0 832340530 94744576 20267 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23131 20267 1111 63 0 23068 0
vsize: 92524
[startup+750.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 20625 0 0 0 74954 51 0 0 25 0 1 0 832340530 95870976 20549 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23406 20549 1111 63 0 23343 0
vsize: 93624
[startup+760.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 20908 0 0 0 75954 52 0 0 25 0 1 0 832340530 96997376 20832 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23681 20832 1111 63 0 23618 0
vsize: 94724
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 21191 0 0 0 76953 53 0 0 25 0 1 0 832340530 98119680 21115 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23955 21115 1111 63 0 23892 0
vsize: 95820
[startup+780.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 21473 0 0 0 77953 53 0 0 25 0 1 0 832340530 99385344 21397 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 21397 1111 63 0 24201 0
vsize: 97056
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 21762 0 0 0 78952 54 0 0 25 0 1 0 832340530 100511744 21686 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24539 21686 1111 63 0 24476 0
vsize: 98156
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 22050 0 0 0 79952 54 0 0 25 0 1 0 832340530 101638144 21974 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21974 1111 63 0 24751 0
vsize: 99256
[startup+810.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 22334 0 0 0 80952 55 0 0 25 0 1 0 832340530 102903808 22258 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25123 22258 1111 63 0 25060 0
vsize: 100492
[startup+820.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 22622 0 0 0 81951 55 0 0 25 0 1 0 832340530 104030208 22546 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22546 1111 63 0 25335 0
vsize: 101592
[startup+830.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 22905 0 0 0 82951 56 0 0 25 0 1 0 832340530 105160704 22829 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25674 22829 1111 63 0 25611 0
vsize: 102696
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 23227 0 0 0 83951 56 0 0 25 0 1 0 832340530 106786816 23151 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23151 1111 63 0 26008 0
vsize: 104284
[startup+850.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 23516 0 0 0 84951 56 0 0 25 0 1 0 832340530 107913216 23440 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23440 1111 63 0 26283 0
vsize: 105384
[startup+860.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 23807 0 0 0 85950 57 0 0 25 0 1 0 832340530 109178880 23731 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23731 1111 63 0 26592 0
vsize: 106620
[startup+870.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 24096 0 0 0 86950 57 0 0 25 0 1 0 832340530 110305280 24020 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24020 1111 63 0 26867 0
vsize: 107720
[startup+880.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 24385 0 0 0 87950 58 0 0 25 0 1 0 832340530 111431680 24309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27205 24309 1111 63 0 27142 0
vsize: 108820
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 24682 0 0 0 88950 58 0 0 25 0 1 0 832340530 112701440 24606 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24606 1111 63 0 27452 0
vsize: 110060
[startup+900.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 24977 0 0 0 89949 59 0 0 25 0 1 0 832340530 113967104 24901 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24901 1111 63 0 27761 0
vsize: 111296
[startup+910.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 25268 0 0 0 90949 60 0 0 25 0 1 0 832340530 115093504 25192 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 25192 1111 63 0 28036 0
vsize: 112396
[startup+920.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 25557 0 0 0 91948 61 0 0 25 0 1 0 832340530 116219904 25481 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28374 25481 1111 63 0 28311 0
vsize: 113496
[startup+930.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 25855 0 0 0 92947 62 0 0 25 0 1 0 832340530 117485568 25779 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28683 25779 1111 63 0 28620 0
vsize: 114732
[startup+940.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 26150 0 0 0 93947 62 0 0 25 0 1 0 832340530 118751232 26074 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28992 26074 1111 63 0 28929 0
vsize: 115968
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 26447 0 0 0 94947 63 0 0 25 0 1 0 832340530 119881728 26371 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29268 26371 1111 63 0 29205 0
vsize: 117072
[startup+960.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 26743 0 0 0 95946 63 0 0 25 0 1 0 832340530 121147392 26667 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29577 26667 1111 63 0 29514 0
vsize: 118308
[startup+970.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 27039 0 0 0 96946 64 0 0 25 0 1 0 832340530 122273792 26963 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29852 26963 1111 63 0 29789 0
vsize: 119408
[startup+980.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 27337 0 0 0 97945 64 0 0 25 0 1 0 832340530 123539456 27261 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30161 27261 1111 63 0 30098 0
vsize: 120644
[startup+990.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 27639 0 0 0 98944 65 0 0 25 0 1 0 832340530 124809216 27563 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 27563 1111 63 0 30408 0
vsize: 121884
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 27936 0 0 0 99944 66 0 0 25 0 1 0 832340530 125935616 27860 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30746 27860 1111 63 0 30683 0
vsize: 122984
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 28232 0 0 0 100943 67 0 0 25 0 1 0 832340530 127201280 28156 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31055 28156 1111 63 0 30992 0
vsize: 124220
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 28536 0 0 0 101943 67 0 0 25 0 1 0 832340530 128466944 28460 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31364 28460 1111 63 0 31301 0
vsize: 125456
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 28839 0 0 0 102943 68 0 0 25 0 1 0 832340530 129732608 28763 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31673 28763 1111 63 0 31610 0
vsize: 126692
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 29141 0 0 0 103942 68 0 0 25 0 1 0 832340530 130863104 29065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31949 29065 1111 63 0 31886 0
vsize: 127796
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 29446 0 0 0 104942 69 0 0 25 0 1 0 832340530 132128768 29370 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32258 29370 1111 63 0 32195 0
vsize: 129032
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 29743 0 0 0 105941 70 0 0 25 0 1 0 832340530 133394432 29667 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32567 29667 1111 63 0 32504 0
vsize: 130268
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 30053 0 0 0 106941 70 0 0 25 0 1 0 832340530 134668288 29977 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32878 29977 1111 63 0 32815 0
vsize: 131512
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 30355 0 0 0 107941 71 0 0 25 0 1 0 832340530 135933952 30279 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33187 30279 1111 63 0 33124 0
vsize: 132748
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 30660 0 0 0 108941 71 0 0 25 0 1 0 832340530 137060352 30584 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 30584 1111 63 0 33399 0
vsize: 133848
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 30963 0 0 0 109940 72 0 0 25 0 1 0 832340530 138330112 30887 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33772 30887 1111 63 0 33709 0
vsize: 135088
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 31265 0 0 0 110939 73 0 0 25 0 1 0 832340530 139595776 31189 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34081 31189 1111 63 0 34018 0
vsize: 136324
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 31576 0 0 0 111940 73 0 0 25 0 1 0 832340530 140865536 31500 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34391 31500 1111 63 0 34328 0
vsize: 137564
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 31879 0 0 0 112940 74 0 0 25 0 1 0 832340530 142131200 31803 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34700 31803 1111 63 0 34637 0
vsize: 138800
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 32190 0 0 0 113939 75 0 0 25 0 1 0 832340530 143396864 32114 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35009 32114 1111 63 0 34946 0
vsize: 140036
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 32499 0 0 0 114939 75 0 0 25 0 1 0 832340530 144662528 32423 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35318 32423 1111 63 0 35255 0
vsize: 141272
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 32811 0 0 0 115939 75 0 0 25 0 1 0 832340530 145932288 32735 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35628 32735 1111 63 0 35565 0
vsize: 142512
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 33120 0 0 0 116938 76 0 0 25 0 1 0 832340530 147197952 33044 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35937 33044 1111 63 0 35874 0
vsize: 143748
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 33431 0 0 0 117937 77 0 0 25 0 1 0 832340530 148463616 33355 4294967295 134512640 134714508 3221224592 3221222680 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36246 33355 1111 63 0 36183 0
vsize: 144984
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 33747 0 0 0 118937 78 0 0 25 0 1 0 832340530 149729280 33671 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36555 33671 1111 63 0 36492 0
vsize: 146220
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8482
Raw data (stat): 8482 (bsolo_lpr) R 8481 5562 5561 0 -1 0 34051 0 0 0 119936 79 0 0 25 0 1 0 832340530 150999040 33975 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36865 33975 1111 63 0 36802 0
vsize: 147460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 8482
Raw data (stat): 8482 (bsolo_lpr) Z 8481 5562 5561 0 -1 1036 34051 0 0 0 119936 85 0 0 25 0 1 0 832340530 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.09
CPU time (s): 1200.22
CPU user time (s): 1199.37
CPU system time (s): 0.85287
CPU usage (%): 100.011
Max. virtual memory (Kb): 147460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####