PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.646901
Number of variables	71610
Total number of constraints	712
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	712
Minimum length of a constraint	30
Maximum length of a constraint	1830
Trace number 26833

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        878700 kB
Buffers:         35580 kB
Cached:          98588 kB
SwapCached:        812 kB
Active:          68644 kB
Inactive:        68044 kB
HighTotal:      131008 kB
HighFree:        31808 kB
LowTotal:       903652 kB
LowFree:        846892 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5600 kB
Slab:            13712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:21:18 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 11441 7 1200.37 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.87 0.95 0.98 2/54 2588
Raw data (stat): 2588 (runsolver) R 2587 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831890895 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1050 0 0 0 994 4 0 0 25 0 1 0 831890895 15663104 974 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 974 1111 63 0 3761 0
vsize: 15296
[startup+20.0008 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1182 0 0 0 1994 4 0 0 25 0 1 0 831890895 16236544 1106 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1106 1111 63 0 3901 0
vsize: 15856
[startup+30.0004 s]
Raw data (loadavg): 0.92 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1307 0 0 0 2993 5 0 0 25 0 1 0 831890895 16687104 1231 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1231 1111 63 0 4011 0
vsize: 16296
[startup+40 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1450 0 0 0 3993 5 0 0 25 0 1 0 831890895 17272832 1374 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1374 1111 63 0 4154 0
vsize: 16868
[startup+50.0012 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1598 0 0 0 4993 6 0 0 25 0 1 0 831890895 17846272 1522 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1522 1111 63 0 4294 0
vsize: 17428
[startup+60.0012 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1743 0 0 0 5993 6 0 0 25 0 1 0 831890895 18444288 1667 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 1667 1111 63 0 4440 0
vsize: 18012
[startup+70.0018 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 1890 0 0 0 6993 6 0 0 25 0 1 0 831890895 19046400 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 1814 1111 63 0 4587 0
vsize: 18600
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2043 0 0 0 7993 6 0 0 25 0 1 0 831890895 19644416 1967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 1967 1111 63 0 4733 0
vsize: 19184
[startup+90.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2190 0 0 0 8993 6 0 0 25 0 1 0 831890895 20242432 2114 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 2114 1111 63 0 4879 0
vsize: 19768
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2337 0 0 0 9993 7 0 0 25 0 1 0 831890895 20844544 2261 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2261 1111 63 0 5026 0
vsize: 20356
[startup+110.013 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2485 0 0 0 10994 7 0 0 25 0 1 0 831890895 21450752 2409 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2409 1111 63 0 5174 0
vsize: 20948
[startup+120.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2631 0 0 0 11993 7 0 0 25 0 1 0 831890895 22048768 2555 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2555 1111 63 0 5320 0
vsize: 21532
[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2779 0 0 0 12993 8 0 0 25 0 1 0 831890895 22650880 2703 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2703 1111 63 0 5467 0
vsize: 22120
[startup+140.013 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 2933 0 0 0 13993 8 0 0 25 0 1 0 831890895 23400448 2857 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2857 1111 63 0 5650 0
vsize: 22852
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3086 0 0 0 14992 9 0 0 25 0 1 0 831890895 23994368 3010 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 3010 1111 63 0 5795 0
vsize: 23432
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3234 0 0 0 15992 10 0 0 25 0 1 0 831890895 24596480 3158 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3158 1111 63 0 5942 0
vsize: 24020
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3390 0 0 0 16992 10 0 0 25 0 1 0 831890895 25202688 3314 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3314 1111 63 0 6090 0
vsize: 24612
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3537 0 0 0 17992 10 0 0 25 0 1 0 831890895 25800704 3461 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3461 1111 63 0 6236 0
vsize: 25196
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3691 0 0 0 18991 11 0 0 25 0 1 0 831890895 26402816 3615 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 3615 1111 63 0 6383 0
vsize: 25784
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 3847 0 0 0 19991 12 0 0 25 0 1 0 831890895 27127808 3771 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 3771 1111 63 0 6560 0
vsize: 26492
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4002 0 0 0 20991 12 0 0 25 0 1 0 831890895 27725824 3926 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 3926 1111 63 0 6706 0
vsize: 27076
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4156 0 0 0 21991 12 0 0 25 0 1 0 831890895 28327936 4080 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4080 1111 63 0 6853 0
vsize: 27664
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4311 0 0 0 22991 12 0 0 25 0 1 0 831890895 28934144 4235 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4235 1111 63 0 7001 0
vsize: 28256
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4467 0 0 0 23990 13 0 0 25 0 1 0 831890895 29683712 4391 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4391 1111 63 0 7184 0
vsize: 28988
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2588
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4626 0 0 0 24990 13 0 0 25 0 1 0 831890895 30281728 4550 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 4550 1111 63 0 7330 0
vsize: 29572
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4775 0 0 0 25990 13 0 0 25 0 1 0 831890895 30887936 4699 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 4699 1111 63 0 7478 0
vsize: 30164
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 4947 0 0 0 26990 14 0 0 25 0 1 0 831890895 31678464 4871 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 4871 1111 63 0 7671 0
vsize: 30936
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5094 0 0 0 27991 14 0 0 25 0 1 0 831890895 32276480 5018 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5018 1111 63 0 7817 0
vsize: 31520
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5256 0 0 0 28990 15 0 0 25 0 1 0 831890895 32882688 5180 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8028 5180 1111 63 0 7965 0
vsize: 32112
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5413 0 0 0 29990 15 0 0 25 0 1 0 831890895 33484800 5337 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5337 1111 63 0 8112 0
vsize: 32700
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5568 0 0 0 30990 16 0 0 25 0 1 0 831890895 34238464 5492 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5492 1111 63 0 8296 0
vsize: 33436
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5728 0 0 0 31990 16 0 0 25 0 1 0 831890895 34836480 5652 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 5652 1111 63 0 8442 0
vsize: 34020
[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 5892 0 0 0 32989 17 0 0 25 0 1 0 831890895 35438592 5816 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 5816 1111 63 0 8589 0
vsize: 34608
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6054 0 0 0 33989 17 0 0 25 0 1 0 831890895 36192256 5978 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5978 1111 63 0 8773 0
vsize: 35344
[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6214 0 0 0 34990 17 0 0 25 0 1 0 831890895 36790272 6138 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8982 6138 1111 63 0 8919 0
vsize: 35928
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6378 0 0 0 35990 18 0 0 25 0 1 0 831890895 37543936 6302 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6302 1111 63 0 9103 0
vsize: 36664
[startup+370.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6541 0 0 0 36990 18 0 0 25 0 1 0 831890895 38146048 6465 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 6465 1111 63 0 9250 0
vsize: 37252
[startup+380.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6703 0 0 0 37990 18 0 0 25 0 1 0 831890895 38752256 6627 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9461 6627 1111 63 0 9398 0
vsize: 37844
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 6866 0 0 0 38989 19 0 0 25 0 1 0 831890895 39501824 6790 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 6790 1111 63 0 9581 0
vsize: 38576
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7028 0 0 0 39989 20 0 0 25 0 1 0 831890895 40103936 6952 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9791 6952 1111 63 0 9728 0
vsize: 39164
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7190 0 0 0 40989 20 0 0 25 0 1 0 831890895 40857600 7114 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7114 1111 63 0 9912 0
vsize: 39900
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7355 0 0 0 41989 20 0 0 25 0 1 0 831890895 41459712 7279 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7279 1111 63 0 10059 0
vsize: 40488
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7528 0 0 0 42989 20 0 0 25 0 1 0 831890895 42209280 7452 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7452 1111 63 0 10242 0
vsize: 41220
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7691 0 0 0 43989 21 0 0 25 0 1 0 831890895 42782720 7615 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7615 1111 63 0 10382 0
vsize: 41780
[startup+450.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 7862 0 0 0 44988 21 0 0 25 0 1 0 831890895 43536384 7786 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7786 1111 63 0 10566 0
vsize: 42516
[startup+460.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8032 0 0 0 45988 22 0 0 25 0 1 0 831890895 44290048 7956 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 7956 1111 63 0 10750 0
vsize: 43252
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8199 0 0 0 46988 22 0 0 25 0 1 0 831890895 44888064 8123 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8123 1111 63 0 10896 0
vsize: 43836
[startup+480.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8369 0 0 0 47987 23 0 0 25 0 1 0 831890895 45641728 8293 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11143 8293 1111 63 0 11080 0
vsize: 44572
[startup+490.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8538 0 0 0 48987 23 0 0 25 0 1 0 831890895 46247936 8462 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8462 1111 63 0 11228 0
vsize: 45164
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8708 0 0 0 49988 23 0 0 25 0 1 0 831890895 46997504 8632 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8632 1111 63 0 11411 0
vsize: 45896
[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 8902 0 0 0 50988 24 0 0 25 0 1 0 831890895 47849472 8826 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8826 1111 63 0 11619 0
vsize: 46728
[startup+520.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9071 0 0 0 51988 24 0 0 25 0 1 0 831890895 48603136 8995 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 8995 1111 63 0 11803 0
vsize: 47464
[startup+530.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9242 0 0 0 52988 25 0 0 25 0 1 0 831890895 49328128 9166 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9166 1111 63 0 11980 0
vsize: 48172
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9419 0 0 0 53987 25 0 0 25 0 1 0 831890895 50077696 9343 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9343 1111 63 0 12163 0
vsize: 48904
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9589 0 0 0 54988 25 0 0 25 0 1 0 831890895 50675712 9513 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12372 9513 1111 63 0 12309 0
vsize: 49488
[startup+560.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9758 0 0 0 55988 25 0 0 25 0 1 0 831890895 51400704 9682 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9682 1111 63 0 12486 0
vsize: 50196
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 9936 0 0 0 56987 26 0 0 25 0 1 0 831890895 52154368 9860 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 9860 1111 63 0 12670 0
vsize: 50932
[startup+580.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 10113 0 0 0 57987 26 0 0 25 0 1 0 831890895 52908032 10037 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10037 1111 63 0 12854 0
vsize: 51668
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 10297 0 0 0 58987 27 0 0 25 0 1 0 831890895 53661696 10221 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10221 1111 63 0 13038 0
vsize: 52404
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 10475 0 0 0 59987 27 0 0 25 0 1 0 831890895 54259712 10399 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10399 1111 63 0 13184 0
vsize: 52988
[startup+610.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 10657 0 0 0 60987 27 0 0 25 0 1 0 831890895 55013376 10581 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10581 1111 63 0 13368 0
vsize: 53724
[startup+620.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 10836 0 0 0 61987 28 0 0 25 0 1 0 831890895 55767040 10760 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 10760 1111 63 0 13552 0
vsize: 54460
[startup+630.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11020 0 0 0 62987 28 0 0 25 0 1 0 831890895 56520704 10944 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13799 10944 1111 63 0 13736 0
vsize: 55196
[startup+640.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11203 0 0 0 63986 29 0 0 25 0 1 0 831890895 57274368 11127 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13983 11127 1111 63 0 13920 0
vsize: 55932
[startup+650.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11383 0 0 0 64986 29 0 0 25 0 1 0 831890895 58028032 11307 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14167 11307 1111 63 0 14104 0
vsize: 56668
[startup+660.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11565 0 0 0 65987 29 0 0 25 0 1 0 831890895 58777600 11489 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14350 11489 1111 63 0 14287 0
vsize: 57400
[startup+670.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11750 0 0 0 66987 30 0 0 25 0 1 0 831890895 59527168 11674 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14533 11674 1111 63 0 14470 0
vsize: 58132
[startup+680.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 11942 0 0 0 67986 30 0 0 25 0 1 0 831890895 60284928 11866 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14718 11866 1111 63 0 14655 0
vsize: 58872
[startup+690.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 12132 0 0 0 68986 31 0 0 25 0 1 0 831890895 61034496 12056 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14901 12056 1111 63 0 14838 0
vsize: 59604
[startup+700.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 12319 0 0 0 69986 31 0 0 25 0 1 0 831890895 61792256 12243 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12243 1111 63 0 15023 0
vsize: 60344
[startup+710.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 12510 0 0 0 70987 31 0 0 25 0 1 0 831890895 62693376 12434 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15306 12434 1111 63 0 15243 0
vsize: 61224
[startup+720.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 12695 0 0 0 71987 32 0 0 25 0 1 0 831890895 63447040 12619 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15490 12619 1111 63 0 15427 0
vsize: 61960
[startup+730.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 12887 0 0 0 72987 32 0 0 25 0 1 0 831890895 64196608 12811 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15673 12811 1111 63 0 15610 0
vsize: 62692
[startup+740.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 13078 0 0 0 73987 32 0 0 25 0 1 0 831890895 64946176 13002 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15856 13002 1111 63 0 15793 0
vsize: 63424
[startup+750.077 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 13278 0 0 0 74986 33 0 0 25 0 1 0 831890895 65699840 13202 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16040 13202 1111 63 0 15977 0
vsize: 64160
[startup+760.077 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 13469 0 0 0 75987 33 0 0 25 0 1 0 831890895 66605056 13393 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16261 13393 1111 63 0 16198 0
vsize: 65044
[startup+770.077 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 13661 0 0 0 76986 33 0 0 25 0 1 0 831890895 67354624 13585 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16444 13585 1111 63 0 16381 0
vsize: 65776
[startup+780.076 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 13861 0 0 0 77986 33 0 0 25 0 1 0 831890895 68112384 13785 4294967295 134512640 134714508 3221224592 3221222812 1077360259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16629 13785 1111 63 0 16566 0
vsize: 66516
[startup+790.076 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 14052 0 0 0 78986 34 0 0 25 0 1 0 831890895 68861952 13976 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 13976 1111 63 0 16749 0
vsize: 67248
[startup+800.083 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 14252 0 0 0 79987 34 0 0 25 0 1 0 831890895 69767168 14176 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17033 14176 1111 63 0 16970 0
vsize: 68132
[startup+810.086 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 14450 0 0 0 80986 35 0 0 25 0 1 0 831890895 70516736 14374 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17216 14374 1111 63 0 17153 0
vsize: 68864
[startup+820.086 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 14655 0 0 0 81986 35 0 0 25 0 1 0 831890895 71417856 14579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17436 14579 1111 63 0 17373 0
vsize: 69744
[startup+830.097 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 14857 0 0 0 82987 35 0 0 25 0 1 0 831890895 72171520 14781 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17620 14781 1111 63 0 17557 0
vsize: 70480
[startup+840.096 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 15062 0 0 0 83987 36 0 0 25 0 1 0 831890895 73072640 14986 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17840 14986 1111 63 0 17777 0
vsize: 71360
[startup+850.096 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 15269 0 0 0 84987 36 0 0 25 0 1 0 831890895 73949184 15193 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18054 15193 1111 63 0 17991 0
vsize: 72216
[startup+860.096 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 15476 0 0 0 85987 36 0 0 25 0 1 0 831890895 74698752 15400 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15400 1111 63 0 18174 0
vsize: 72948
[startup+870.101 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 15682 0 0 0 86987 37 0 0 25 0 1 0 831890895 75603968 15606 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 15606 1111 63 0 18395 0
vsize: 73832
[startup+880.1 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 15890 0 0 0 87987 37 0 0 25 0 1 0 831890895 76357632 15814 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18642 15814 1111 63 0 18579 0
vsize: 74568
[startup+890.1 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 16103 0 0 0 88986 37 0 0 25 0 1 0 831890895 77262848 16027 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18863 16027 1111 63 0 18800 0
vsize: 75452
[startup+900.101 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 16310 0 0 0 89986 38 0 0 25 0 1 0 831890895 78163968 16234 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16234 1111 63 0 19020 0
vsize: 76332
[startup+910.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 16529 0 0 0 90985 39 0 0 25 0 1 0 831890895 79069184 16453 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 16453 1111 63 0 19241 0
vsize: 77216
[startup+920.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 16770 0 0 0 91985 39 0 0 25 0 1 0 831890895 80326656 16694 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19611 16694 1111 63 0 19548 0
vsize: 78444
[startup+930.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 16989 0 0 0 92985 40 0 0 25 0 1 0 831890895 81203200 16913 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19825 16913 1111 63 0 19762 0
vsize: 79300
[startup+940.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 17204 0 0 0 93985 40 0 0 25 0 1 0 831890895 82104320 17128 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 17128 1111 63 0 19982 0
vsize: 80180
[startup+950.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 17425 0 0 0 94984 40 0 0 25 0 1 0 831890895 83009536 17349 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 17349 1111 63 0 20203 0
vsize: 81064
[startup+960.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 17640 0 0 0 95984 41 0 0 25 0 1 0 831890895 83759104 17564 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20449 17564 1111 63 0 20386 0
vsize: 81796
[startup+970.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 17861 0 0 0 96984 41 0 0 25 0 1 0 831890895 84664320 17785 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20670 17785 1111 63 0 20607 0
vsize: 82680
[startup+980.099 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 18082 0 0 0 97983 42 0 0 25 0 1 0 831890895 85565440 18006 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20890 18006 1111 63 0 20827 0
vsize: 83560
[startup+990.099 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 18304 0 0 0 98983 42 0 0 25 0 1 0 831890895 86470656 18228 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21111 18228 1111 63 0 21048 0
vsize: 84444
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 18532 0 0 0 99983 43 0 0 25 0 1 0 831890895 87523328 18456 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21368 18456 1111 63 0 21305 0
vsize: 85472
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 18761 0 0 0 100983 43 0 0 25 0 1 0 831890895 88428544 18685 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 18685 1111 63 0 21526 0
vsize: 86356
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 18982 0 0 0 101983 43 0 0 25 0 1 0 831890895 89329664 18906 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21809 18906 1111 63 0 21746 0
vsize: 87236
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 19218 0 0 0 102983 44 0 0 25 0 1 0 831890895 90210304 19142 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22024 19142 1111 63 0 21961 0
vsize: 88096
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 19453 0 0 0 103983 44 0 0 25 0 1 0 831890895 91254784 19377 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22279 19377 1111 63 0 22216 0
vsize: 89116
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 19684 0 0 0 104983 45 0 0 25 0 1 0 831890895 92160000 19608 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 19608 1111 63 0 22437 0
vsize: 90000
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 19912 0 0 0 105983 45 0 0 25 0 1 0 831890895 93061120 19836 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22720 19836 1111 63 0 22657 0
vsize: 90880
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 20148 0 0 0 106983 46 0 0 25 0 1 0 831890895 94113792 20072 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22977 20072 1111 63 0 22914 0
vsize: 91908
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 20391 0 0 0 107982 46 0 0 25 0 1 0 831890895 95014912 20315 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 20315 1111 63 0 23134 0
vsize: 92788
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 20634 0 0 0 108982 47 0 0 25 0 1 0 831890895 96067584 20558 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 20558 1111 63 0 23391 0
vsize: 93816
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 20871 0 0 0 109982 47 0 0 25 0 1 0 831890895 96972800 20795 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23675 20795 1111 63 0 23612 0
vsize: 94700
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 21119 0 0 0 110983 47 0 0 25 0 1 0 831890895 98021376 21043 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23931 21043 1111 63 0 23868 0
vsize: 95724
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 21364 0 0 0 111983 48 0 0 25 0 1 0 831890895 99078144 21288 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24189 21288 1111 63 0 24126 0
vsize: 96756
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 21616 0 0 0 112982 48 0 0 25 0 1 0 831890895 99979264 21540 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24409 21540 1111 63 0 24346 0
vsize: 97636
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.99 3/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 21866 0 0 0 113982 49 0 0 25 0 1 0 831890895 101036032 21790 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24667 21790 1111 63 0 24604 0
vsize: 98668
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 22116 0 0 0 114982 49 0 0 25 0 1 0 831890895 102092800 22040 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24925 22040 1111 63 0 24862 0
vsize: 99700
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 22374 0 0 0 115982 49 0 0 25 0 1 0 831890895 103141376 22298 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25181 22298 1111 63 0 25118 0
vsize: 100724
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 22632 0 0 0 116981 50 0 0 25 0 1 0 831890895 104198144 22556 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25439 22556 1111 63 0 25376 0
vsize: 101756
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 22891 0 0 0 117981 51 0 0 25 0 1 0 831890895 105246720 22815 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25695 22815 1111 63 0 25632 0
vsize: 102780
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 23158 0 0 0 118980 51 0 0 25 0 1 0 831890895 106303488 23082 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25953 23082 1111 63 0 25890 0
vsize: 103812
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 2590
Raw data (stat): 2588 (bsolo_lpr) R 2587 1586 1585 0 -1 0 23423 0 0 0 119980 52 0 0 25 0 1 0 831890895 107360256 23347 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26211 23347 1111 63 0 26148 0
vsize: 104844
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 2590
Raw data (stat): 2588 (bsolo_lpr) Z 2587 1586 1585 0 -1 1036 23423 0 0 0 119980 56 0 0 25 0 1 0 831890895 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.17
CPU time (s): 1200.37
CPU user time (s): 1199.81
CPU system time (s): 0.566913
CPU usage (%): 100.017
Max. virtual memory (Kb): 104844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####