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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 25097

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 17:38:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5084 boxname=wulflinc31 idbench=392 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
IDLAUNCH: 5084
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        763148 kB
Buffers:         49620 kB
Cached:         198804 kB
SwapCached:       1952 kB
Active:         194196 kB
Inactive:        57460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        762896 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14164 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 17:58:42 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 5084 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.92 0.95 0.98 2/55 15730
Raw data (stat): 15730 (runsolver) R 15729 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 762953464 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 793 0 0 0 991 4 0 0 25 0 1 0 762953464 15351808 716 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 716 1111 63 0 3685 0
vsize: 14992
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 849 0 0 0 1991 4 0 0 25 0 1 0 762953464 15622144 772 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3814 772 1111 63 0 3751 0
vsize: 15256
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 902 0 0 0 2992 4 0 0 25 0 1 0 762953464 15757312 825 4294967295 134512640 134714508 3221221792 3221220020 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 825 1111 63 0 3784 0
vsize: 15388
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 960 0 0 0 3991 4 0 0 25 0 1 0 762953464 16027648 883 4294967295 134512640 134714508 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 883 1111 63 0 3850 0
vsize: 15652
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1016 0 0 0 4991 4 0 0 25 0 1 0 762953464 16297984 939 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3979 939 1111 63 0 3916 0
vsize: 15916
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1070 0 0 0 5991 5 0 0 25 0 1 0 762953464 16433152 993 4294967295 134512640 134714508 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 993 1111 63 0 3949 0
vsize: 16048
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1131 0 0 0 6991 5 0 0 25 0 1 0 762953464 16711680 1054 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4080 1054 1111 63 0 4017 0
vsize: 16320
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1185 0 0 0 7991 5 0 0 25 0 1 0 762953464 16982016 1108 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4146 1108 1111 63 0 4083 0
vsize: 16584
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1241 0 0 0 8991 5 0 0 25 0 1 0 762953464 17117184 1164 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4179 1164 1111 63 0 4116 0
vsize: 16716
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1296 0 0 0 9991 6 0 0 25 0 1 0 762953464 17387520 1219 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 1219 1111 63 0 4182 0
vsize: 16980
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1366 0 0 0 10991 6 0 0 25 0 1 0 762953464 17616896 1289 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4301 1289 1111 63 0 4238 0
vsize: 17204
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1423 0 0 0 11991 6 0 0 25 0 1 0 762953464 17895424 1346 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1346 1111 63 0 4306 0
vsize: 17476
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1477 0 0 0 12991 7 0 0 25 0 1 0 762953464 18075648 1400 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 1400 1111 63 0 4350 0
vsize: 17652
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1546 0 0 0 13991 7 0 0 25 0 1 0 762953464 18432000 1469 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4500 1469 1111 63 0 4437 0
vsize: 18000
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1602 0 0 0 14991 7 0 0 25 0 1 0 762953464 18649088 1525 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4553 1525 1111 63 0 4490 0
vsize: 18212
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1662 0 0 0 15991 7 0 0 25 0 1 0 762953464 18878464 1585 4294967295 134512640 134714508 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4609 1585 1111 63 0 4546 0
vsize: 18436
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1714 0 0 0 16991 8 0 0 25 0 1 0 762953464 19128320 1637 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4670 1637 1111 63 0 4607 0
vsize: 18680
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1781 0 0 0 17990 8 0 0 25 0 1 0 762953464 19394560 1704 4294967295 134512640 134714508 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4735 1704 1111 63 0 4672 0
vsize: 18940
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1829 0 0 0 18990 8 0 0 25 0 1 0 762953464 19574784 1752 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4779 1752 1111 63 0 4716 0
vsize: 19116
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1890 0 0 0 19990 8 0 0 25 0 1 0 762953464 19816448 1813 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4838 1813 1111 63 0 4775 0
vsize: 19352
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1954 0 0 0 20990 9 0 0 25 0 1 0 762953464 20070400 1877 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4900 1877 1111 63 0 4837 0
vsize: 19600
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2008 0 0 0 21990 9 0 0 25 0 1 0 762953464 20283392 1931 4294967295 134512640 134714508 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4952 1931 1111 63 0 4889 0
vsize: 19808
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2065 0 0 0 22990 9 0 0 25 0 1 0 762953464 20504576 1988 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5006 1988 1111 63 0 4943 0
vsize: 20024
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2125 0 0 0 23990 9 0 0 25 0 1 0 762953464 20738048 2048 4294967295 134512640 134714508 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5063 2048 1111 63 0 5000 0
vsize: 20252
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2170 0 0 0 24991 9 0 0 25 0 1 0 762953464 20918272 2093 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5107 2093 1111 63 0 5044 0
vsize: 20428
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2233 0 0 0 25990 10 0 0 25 0 1 0 762953464 21172224 2156 4294967295 134512640 134714508 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5169 2156 1111 63 0 5106 0
vsize: 20676
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2315 0 0 0 26990 10 0 0 25 0 1 0 762953464 21622784 2238 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5279 2238 1111 63 0 5216 0
vsize: 21116
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2494 0 0 0 27989 11 0 0 25 0 1 0 762953464 21827584 2289 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5329 2289 1111 63 0 5266 0
vsize: 21316
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2855 0 0 0 28988 13 0 0 25 0 1 0 762953464 22044672 2344 4294967295 134512640 134714508 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5382 2344 1111 63 0 5319 0
vsize: 21528
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 3479 0 0 0 29986 15 0 0 25 0 1 0 762953464 22409216 2402 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5471 2402 1111 63 0 5408 0
vsize: 21884
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 4389 0 0 0 30983 18 0 0 25 0 1 0 762953464 22487040 2454 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5490 2454 1111 63 0 5427 0
vsize: 21960
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 5531 0 0 0 31979 22 0 0 25 0 1 0 762953464 22876160 2518 4294967295 134512640 134714508 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5585 2518 1111 63 0 5522 0
vsize: 22340
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 6854 0 0 0 32976 25 0 0 25 0 1 0 762953464 22962176 2572 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5606 2572 1111 63 0 5543 0
vsize: 22424
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 8382 0 0 0 33971 30 0 0 25 0 1 0 762953464 23130112 2614 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5647 2614 1111 63 0 5584 0
vsize: 22588
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 10246 0 0 0 34966 35 0 0 25 0 1 0 762953464 23384064 2678 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5709 2678 1111 63 0 5646 0
vsize: 22836
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 12570 0 0 0 35962 40 0 0 25 0 1 0 762953464 23822336 2754 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5816 2754 1111 63 0 5753 0
vsize: 23264
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 15079 0 0 0 36955 47 0 0 25 0 1 0 762953464 23826432 2788 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5817 2788 1111 63 0 5754 0
vsize: 23268
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 18035 0 0 0 37949 54 0 0 25 0 1 0 762953464 24293376 2872 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5931 2872 1111 63 0 5868 0
vsize: 23724
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 20986 0 0 0 38943 59 0 0 25 0 1 0 762953464 24391680 2929 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5955 2929 1111 63 0 5892 0
vsize: 23820
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 24100 0 0 0 39937 66 0 0 25 0 1 0 762953464 24588288 2978 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6003 2978 1111 63 0 5940 0
vsize: 24012
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 27463 0 0 0 40931 72 0 0 25 0 1 0 762953464 24793088 3030 4294967295 134512640 134714508 3221221792 3221220020 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6053 3030 1111 63 0 5990 0
vsize: 24212
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 31201 0 0 0 41923 80 0 0 25 0 1 0 762953464 24997888 3080 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6103 3080 1111 63 0 6040 0
vsize: 24412
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 35440 0 0 0 42913 89 0 0 25 0 1 0 762953464 25530368 3180 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6233 3180 1111 63 0 6170 0
vsize: 24932
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 39595 0 0 0 43906 97 0 0 25 0 1 0 762953464 25538560 3215 4294967295 134512640 134714508 3221221792 3221220020 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6235 3215 1111 63 0 6172 0
vsize: 24940
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 44098 0 0 0 44897 106 0 0 25 0 1 0 762953464 25759744 3270 4294967295 134512640 134714508 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6289 3270 1111 63 0 6226 0
vsize: 25156
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 48775 0 0 0 45887 116 0 0 25 0 1 0 762953464 25989120 3328 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6345 3328 1111 63 0 6282 0
vsize: 25380
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 53511 0 0 0 46877 126 0 0 25 0 1 0 762953464 26218496 3385 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6401 3385 1111 63 0 6338 0
vsize: 25604
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 58360 0 0 0 47867 136 0 0 25 0 1 0 762953464 26456064 3444 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6459 3444 1111 63 0 6396 0
vsize: 25836
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 63325 0 0 0 48857 147 0 0 25 0 1 0 762953464 26578944 3475 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6489 3475 1111 63 0 6426 0
vsize: 25956
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 68546 0 0 0 49845 159 0 0 25 0 1 0 762953464 26824704 3536 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6549 3536 1111 63 0 6486 0
vsize: 26196
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 73833 0 0 0 50835 169 0 0 25 0 1 0 762953464 27320320 3626 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6670 3626 1111 63 0 6607 0
vsize: 26680
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 79938 0 0 0 51824 180 0 0 25 0 1 0 762953464 27328512 3660 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6672 3660 1111 63 0 6609 0
vsize: 26688
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 86219 0 0 0 52811 193 0 0 25 0 1 0 762953464 28106752 3757 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6862 3757 1111 63 0 6799 0
vsize: 27448
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 93705 0 0 0 53798 206 0 0 25 0 1 0 762953464 27979776 3759 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6831 3759 1111 63 0 6768 0
vsize: 27324
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 110140 0 0 0 54766 238 0 0 25 0 1 0 762953464 28250112 3826 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6897 3826 1111 63 0 6834 0
vsize: 27588
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 130682 0 0 0 55726 279 0 0 25 0 1 0 762953464 28389376 3854 4294967295 134512640 134714508 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6931 3854 1111 63 0 6868 0
vsize: 27724
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 151648 0 0 0 56685 320 0 0 25 0 1 0 762953464 28659712 3910 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6997 3910 1111 63 0 6934 0
vsize: 27988
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 173453 0 0 0 57643 363 0 0 25 0 1 0 762953464 28934144 3968 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 3968 1111 63 0 7001 0
vsize: 28256
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 195949 0 0 0 58598 407 0 0 25 0 1 0 762953464 29073408 4027 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4027 1111 63 0 7035 0
vsize: 28392
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 217747 0 0 0 59558 448 0 0 25 0 1 0 762953464 29343744 4081 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 4081 1111 63 0 7101 0
vsize: 28656
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 237720 0 0 0 60520 486 0 0 25 0 1 0 762953464 29483008 4132 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7198 4132 1111 63 0 7135 0
vsize: 28792
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 260679 0 0 0 61473 533 0 0 25 0 1 0 762953464 29753344 4188 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7264 4188 1111 63 0 7201 0
vsize: 29056
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 286044 0 0 0 62423 583 0 0 25 0 1 0 762953464 30183424 4272 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7369 4276 1111 63 0 7306 0
vsize: 29476
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 310504 0 0 0 63377 629 0 0 25 0 1 0 762953464 30302208 4309 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7398 4309 1111 63 0 7335 0
vsize: 29592
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 335521 0 0 0 64328 679 0 0 25 0 1 0 762953464 30437376 4366 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 4366 1111 63 0 7368 0
vsize: 29724
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 361257 0 0 0 65278 728 0 0 25 0 1 0 762953464 30711808 4427 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7498 4427 1111 63 0 7435 0
vsize: 29992
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 387263 0 0 0 66229 778 0 0 25 0 1 0 762953464 30986240 4488 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7565 4488 1111 63 0 7502 0
vsize: 30260
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 412820 0 0 0 67179 828 0 0 25 0 1 0 762953464 31121408 4543 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7598 4543 1111 63 0 7535 0
vsize: 30392
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 439126 0 0 0 68133 874 0 0 25 0 1 0 762953464 31395840 4600 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7665 4600 1111 63 0 7602 0
vsize: 30660
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 462864 0 0 0 69086 921 0 0 25 0 1 0 762953464 31666176 4650 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 4650 1111 63 0 7668 0
vsize: 30924
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 490928 0 0 0 70031 976 0 0 25 0 1 0 762953464 31805440 4713 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7765 4713 1111 63 0 7702 0
vsize: 31060
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 517336 0 0 0 70982 1026 0 0 25 0 1 0 762953464 32079872 4770 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 4770 1111 63 0 7769 0
vsize: 31328
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 542995 0 0 0 71934 1073 0 0 25 0 1 0 762953464 32350208 4821 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 4821 1111 63 0 7835 0
vsize: 31592
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 568966 0 0 0 72885 1123 0 0 25 0 1 0 762953464 32489472 4876 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7932 4876 1111 63 0 7869 0
vsize: 31728
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 594216 0 0 0 73837 1172 0 0 25 0 1 0 762953464 32759808 4926 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7998 4926 1111 63 0 7935 0
vsize: 31992
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 620522 0 0 0 74785 1223 0 0 25 0 1 0 762953464 32899072 4980 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8032 4980 1111 63 0 7969 0
vsize: 32128
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 647162 0 0 0 75737 1271 0 0 25 0 1 0 762953464 33169408 5032 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8098 5032 1111 63 0 8035 0
vsize: 32392
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 672539 0 0 0 76691 1318 0 0 25 0 1 0 762953464 33501184 5096 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8179 5101 1111 63 0 8116 0
vsize: 32716
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 699183 0 0 0 77640 1369 0 0 25 0 1 0 762953464 33771520 5138 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8245 5143 1111 63 0 8182 0
vsize: 32980
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 727907 0 0 0 78585 1424 0 0 25 0 1 0 762953464 33718272 5189 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8232 5189 1111 63 0 8169 0
vsize: 32928
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 756219 0 0 0 79531 1478 0 0 25 0 1 0 762953464 33992704 5244 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8299 5244 1111 63 0 8236 0
vsize: 33196
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 785378 0 0 0 80474 1536 0 0 25 0 1 0 762953464 34263040 5297 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8365 5297 1111 63 0 8302 0
vsize: 33460
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 818288 0 0 0 81412 1598 0 0 25 0 1 0 762953464 34402304 5358 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8399 5358 1111 63 0 8336 0
vsize: 33596
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 849446 0 0 0 82350 1659 0 0 25 0 1 0 762953464 34676736 5416 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8466 5416 1111 63 0 8403 0
vsize: 33864
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 877455 0 0 0 83299 1711 0 0 25 0 1 0 762953464 34951168 5466 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8533 5466 1111 63 0 8470 0
vsize: 34132
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 908509 0 0 0 84240 1770 0 0 25 0 1 0 762953464 35090432 5523 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8567 5523 1111 63 0 8504 0
vsize: 34268
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 939710 0 0 0 85183 1827 0 0 25 0 1 0 762953464 35360768 5576 4294967295 134512640 134714508 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8633 5576 1111 63 0 8570 0
vsize: 34532
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 972984 0 0 0 86118 1893 0 0 25 0 1 0 762953464 35500032 5635 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8667 5635 1111 63 0 8604 0
vsize: 34668
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1008555 0 0 0 87050 1961 0 0 25 0 1 0 762953464 35770368 5696 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8733 5696 1111 63 0 8670 0
vsize: 34932
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1046017 0 0 0 87979 2032 0 0 25 0 1 0 762953464 36270080 5791 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8855 5796 1111 63 0 8792 0
vsize: 35420
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1083393 0 0 0 88905 2106 0 0 25 0 1 0 762953464 36323328 5823 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8868 5823 1111 63 0 8805 0
vsize: 35472
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1117495 0 0 0 89841 2171 0 0 25 0 1 0 762953464 36593664 5880 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8934 5880 1111 63 0 8871 0
vsize: 35736
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1148016 0 0 0 90781 2231 0 0 25 0 1 0 762953464 36732928 5930 4294967295 134512640 134714508 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8968 5930 1111 63 0 8905 0
vsize: 35872
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1182203 0 0 0 91716 2295 0 0 25 0 1 0 762953464 37007360 5987 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9035 5987 1111 63 0 8972 0
vsize: 36140
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1214801 0 0 0 92657 2355 0 0 25 0 1 0 762953464 37142528 6038 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9068 6038 1111 63 0 9005 0
vsize: 36272
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1247139 0 0 0 93596 2416 0 0 25 0 1 0 762953464 37416960 6091 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9135 6091 1111 63 0 9072 0
vsize: 36540
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1279089 0 0 0 94534 2479 0 0 25 0 1 0 762953464 37556224 6141 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9169 6141 1111 63 0 9106 0
vsize: 36676
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1312080 0 0 0 95471 2541 0 0 25 0 1 0 762953464 37830656 6193 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9236 6193 1111 63 0 9173 0
vsize: 36944
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1344638 0 0 0 96408 2604 0 0 25 0 1 0 762953464 37965824 6242 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6242 1111 63 0 9206 0
vsize: 37076
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1377263 0 0 0 97344 2669 0 0 25 0 1 0 762953464 38240256 6293 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6293 1111 63 0 9273 0
vsize: 37344
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1408390 0 0 0 98283 2730 0 0 25 0 1 0 762953464 38375424 6340 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9369 6340 1111 63 0 9306 0
vsize: 37476
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1443191 0 0 0 99216 2797 0 0 25 0 1 0 762953464 38649856 6393 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9436 6393 1111 63 0 9373 0
vsize: 37744
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1478686 0 0 0 100147 2866 0 0 25 0 1 0 762953464 38785024 6447 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9469 6447 1111 63 0 9406 0
vsize: 37876
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1521082 0 0 0 101068 2946 0 0 25 0 1 0 762953464 39063552 6510 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9537 6510 1111 63 0 9474 0
vsize: 38148
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1564704 0 0 0 101983 3031 0 0 25 0 1 0 762953464 39337984 6573 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9604 6573 1111 63 0 9541 0
vsize: 38416
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1607379 0 0 0 102893 3121 0 0 25 0 1 0 762953464 40505344 6660 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9889 6660 1111 63 0 9826 0
vsize: 39556
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1645297 0 0 0 103818 3196 0 0 25 0 1 0 762953464 40509440 6693 4294967295 134512640 134714508 3221221792 3221220448 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9890 6693 1111 63 0 9827 0
vsize: 39560
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1692381 0 0 0 104724 3290 0 0 25 0 1 0 762953464 40783872 6760 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9957 6760 1111 63 0 9894 0
vsize: 39828
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1733344 0 0 0 105643 3371 0 0 25 0 1 0 762953464 41320448 6838 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10088 6843 1111 63 0 10025 0
vsize: 40352
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1771081 0 0 0 106573 3441 0 0 25 0 1 0 762953464 41598976 6919 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10156 6924 1111 63 0 10093 0
vsize: 40624
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1804146 0 0 0 107509 3506 0 0 25 0 1 0 762953464 41463808 6918 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10123 6918 1111 63 0 10060 0
vsize: 40492
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1842882 0 0 0 108433 3582 0 0 25 0 1 0 762953464 41738240 6973 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10190 6973 1111 63 0 10127 0
vsize: 40760
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1880729 0 0 0 109357 3658 0 0 25 0 1 0 762953464 41877504 7025 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7025 1111 63 0 10161 0
vsize: 40896
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1918861 0 0 0 110283 3732 0 0 25 0 1 0 762953464 42147840 7077 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10290 7077 1111 63 0 10227 0
vsize: 41160
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1953641 0 0 0 111217 3799 0 0 25 0 1 0 762953464 42291200 7124 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10325 7124 1111 63 0 10262 0
vsize: 41300
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 1993391 0 0 0 112143 3872 0 0 25 0 1 0 762953464 42708992 7199 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10427 7204 1111 63 0 10364 0
vsize: 41708
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2030893 0 0 0 113071 3945 0 0 25 0 1 0 762953464 42700800 7227 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10425 7227 1111 63 0 10362 0
vsize: 41700
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2066220 0 0 0 114004 4012 0 0 25 0 1 0 762953464 42835968 7274 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10458 7274 1111 63 0 10395 0
vsize: 41832
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2100194 0 0 0 114939 4078 0 0 25 0 1 0 762953464 43401216 7330 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10596 7335 1111 63 0 10533 0
vsize: 42384
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 15730
Raw data (stat): 15730 (bsolo_lpr) R 15729 7876 7672 0 -1 0 2130895 0 0 0 115879 4138 0 0 25 0 1 0 762953464 43245568 7359 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10558 7359 1111 63 0 10495 0
vsize: 42232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 15730
Raw data (stat): 15730 (bsolo_lpr) Z 15729 7876 7672 0 -1 1036 2130895 0 0 0 115879 4139 0 0 25 0 1 0 762953464 0 0 4294967295 0 0 0 0 0 0 0 1 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.06
CPU time (s): 1200.19
CPU user time (s): 1158.79
CPU system time (s): 41.3977
CPU usage (%): 100.011
Max. virtual memory (Kb): 42384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####