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/unibo/normalized-mps-v2-13-7-rail507.opb
MD5SUM	323cdddd9985e43f8e7199c63ad6de47
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63209
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	226433975012582900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	226433975012582900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	295.054
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 25338

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 13:54:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20177 boxname=wulflinc31 idbench=1553 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  323cdddd9985e43f8e7199c63ad6de47  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
IDLAUNCH: 20177
/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:        676392 kB
Buffers:         27964 kB
Cached:         307364 kB
SwapCached:        932 kB
Active:         142260 kB
Inactive:       196392 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676140 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14072 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 14:14:21 (client local time) WITH STATUS 0 IN 1200.78 SECONDS
stats: 20177 7 1200.78 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.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (runsolver) R 8846 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778889119 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 2043 0 0 0 988 7 0 0 25 0 1 0 778889119 19865600 1966 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 1966 1111 63 0 4787 0
vsize: 19400
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 3251 0 0 0 1985 10 0 0 25 0 1 0 778889119 24940544 3174 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6089 3174 1111 63 0 6026 0
vsize: 24356
[startup+30.0025 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 4460 0 0 0 2983 13 0 0 25 0 1 0 778889119 29868032 4383 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7292 4383 1111 63 0 7229 0
vsize: 29168
[startup+40.0033 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 5675 0 0 0 3980 15 0 0 25 0 1 0 778889119 34795520 5598 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8495 5598 1111 63 0 8432 0
vsize: 33980
[startup+50.0033 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 6897 0 0 0 4979 17 0 0 25 0 1 0 778889119 39874560 6820 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9735 6820 1111 63 0 9672 0
vsize: 38940
[startup+60.0042 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 8121 0 0 0 5976 19 0 0 25 0 1 0 778889119 44789760 8044 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10935 8044 1111 63 0 10872 0
vsize: 43740
[startup+70.0041 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 9348 0 0 0 6975 21 0 0 25 0 1 0 778889119 49864704 9271 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12174 9271 1111 63 0 12111 0
vsize: 48696
[startup+80.0053 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 10581 0 0 0 7974 23 0 0 25 0 1 0 778889119 54939648 10504 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13413 10504 1111 63 0 13350 0
vsize: 53652
[startup+90.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 11814 0 0 0 8973 24 0 0 25 0 1 0 778889119 60014592 11737 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14652 11737 1111 63 0 14589 0
vsize: 58608
[startup+100.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 13059 0 0 0 9971 26 0 0 25 0 1 0 778889119 65069056 12982 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15886 12982 1111 63 0 15823 0
vsize: 63544
[startup+110.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 14299 0 0 0 10969 28 0 0 25 0 1 0 778889119 70144000 14222 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17125 14222 1111 63 0 17062 0
vsize: 68500
[startup+120.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 15544 0 0 0 11967 30 0 0 25 0 1 0 778889119 75218944 15467 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18364 15467 1111 63 0 18301 0
vsize: 73456
[startup+130.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 16796 0 0 0 12965 32 0 0 25 0 1 0 778889119 80293888 16719 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19603 16719 1111 63 0 19540 0
vsize: 78412
[startup+140.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 18047 0 0 0 13963 35 0 0 25 0 1 0 778889119 85520384 17970 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20879 17970 1111 63 0 20816 0
vsize: 83516
[startup+150.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 19304 0 0 0 14961 37 0 0 25 0 1 0 778889119 90595328 19227 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22118 19227 1111 63 0 22055 0
vsize: 88472
[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 20569 0 0 0 15958 40 0 0 25 0 1 0 778889119 95825920 20492 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23395 20492 1111 63 0 23332 0
vsize: 93580
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 21832 0 0 0 16956 42 0 0 25 0 1 0 778889119 101048320 21755 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24670 21755 1111 63 0 24607 0
vsize: 98680
[startup+180.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 23101 0 0 0 17954 44 0 0 25 0 1 0 778889119 106123264 23024 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25909 23024 1111 63 0 25846 0
vsize: 103636
[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 24377 0 0 0 18952 47 0 0 25 0 1 0 778889119 111349760 24300 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27185 24300 1111 63 0 27122 0
vsize: 108740
[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 25661 0 0 0 19951 48 0 0 25 0 1 0 778889119 116699136 25584 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28491 25584 1111 63 0 28428 0
vsize: 113964
[startup+210.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 26942 0 0 0 20949 50 0 0 25 0 1 0 778889119 121925632 26865 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29767 26865 1111 63 0 29704 0
vsize: 119068
[startup+220.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 28231 0 0 0 21948 52 0 0 25 0 1 0 778889119 127148032 28154 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31042 28154 1111 63 0 30979 0
vsize: 124168
[startup+230.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 29518 0 0 0 22946 54 0 0 25 0 1 0 778889119 132521984 29441 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32354 29441 1111 63 0 32291 0
vsize: 129416
[startup+240.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 30813 0 0 0 23944 56 0 0 25 0 1 0 778889119 137752576 30736 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33631 30736 1111 63 0 33568 0
vsize: 134524
[startup+250.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 32114 0 0 0 24942 58 0 0 25 0 1 0 778889119 143126528 32037 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34943 32037 1111 63 0 34880 0
vsize: 139772
[startup+260.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 33420 0 0 0 25940 60 0 0 25 0 1 0 778889119 148500480 33343 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36255 33343 1111 63 0 36192 0
vsize: 145020
[startup+270.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 34727 0 0 0 26939 62 0 0 25 0 1 0 778889119 153874432 34650 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37567 34650 1111 63 0 37504 0
vsize: 150268
[startup+280.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 36040 0 0 0 27936 65 0 0 25 0 1 0 778889119 159252480 35963 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38880 35963 1111 63 0 38817 0
vsize: 155520
[startup+290.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 37371 0 0 0 28933 67 0 0 25 0 1 0 778889119 164626432 37294 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40192 37294 1111 63 0 40129 0
vsize: 160768
[startup+300.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 38707 0 0 0 29930 70 0 0 25 0 1 0 778889119 170147840 38630 4294967295 134512640 134714508 3221221776 3221218604 1077244838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41540 38630 1111 63 0 41477 0
vsize: 166160
[startup+310.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 40049 0 0 0 30928 73 0 0 25 0 1 0 778889119 175669248 39972 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42888 39972 1111 63 0 42825 0
vsize: 171552
[startup+320.021 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 41394 0 0 0 31925 76 0 0 25 0 1 0 778889119 181051392 41317 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44202 41317 1111 63 0 44139 0
vsize: 176808
[startup+330.022 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 42742 0 0 0 32922 79 0 0 25 0 1 0 778889119 186572800 42665 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45550 42665 1111 63 0 45487 0
vsize: 182200
[startup+340.022 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 8847
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 44102 0 0 0 33919 82 0 0 25 0 1 0 778889119 192245760 44025 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46935 44025 1111 63 0 46872 0
vsize: 187740
[startup+350.198 s]
Raw data (loadavg): 0.99 0.99 0.96 3/59 8854
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 45477 0 0 0 34929 89 0 0 25 0 1 0 778889119 197771264 45400 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48284 45400 1111 63 0 48221 0
vsize: 193136
[startup+360.199 s]
Raw data (loadavg): 1.07 1.00 0.97 2/59 8890
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 46825 0 0 0 35927 92 0 0 25 0 1 0 778889119 203296768 46748 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49633 46748 1111 63 0 49570 0
vsize: 198532
[startup+370.199 s]
Raw data (loadavg): 1.13 1.02 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 48179 0 0 0 36925 94 0 0 25 0 1 0 778889119 208965632 48102 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51017 48102 1111 63 0 50954 0
vsize: 204068
[startup+380.384 s]
Raw data (loadavg): 1.11 1.02 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 49582 0 0 0 37940 97 0 0 25 0 1 0 778889119 214642688 49505 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52403 49505 1111 63 0 52340 0
vsize: 209612
[startup+390.384 s]
Raw data (loadavg): 1.09 1.02 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 50949 0 0 0 38936 101 0 0 25 0 1 0 778889119 220311552 50872 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53787 50872 1111 63 0 53724 0
vsize: 215148
[startup+400.384 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 52316 0 0 0 39935 103 0 0 25 0 1 0 778889119 225832960 52239 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55135 52239 1111 63 0 55072 0
vsize: 220540
[startup+410.384 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 53696 0 0 0 40932 106 0 0 25 0 1 0 778889119 231514112 53619 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56522 53619 1111 63 0 56459 0
vsize: 226088
[startup+420.384 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 55080 0 0 0 41930 108 0 0 25 0 1 0 778889119 237182976 55003 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57906 55003 1111 63 0 57843 0
vsize: 231624
[startup+430.386 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 8900
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 56466 0 0 0 42927 112 0 0 25 0 1 0 778889119 242855936 56389 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59291 56389 1111 63 0 59228 0
vsize: 237164
[startup+440.387 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 57865 0 0 0 43924 114 0 0 25 0 1 0 778889119 248680448 57788 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60713 57788 1111 63 0 60650 0
vsize: 242852
[startup+450.386 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 59262 0 0 0 44921 117 0 0 25 0 1 0 778889119 254353408 59185 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62098 59185 1111 63 0 62035 0
vsize: 248392
[startup+460.386 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 60665 0 0 0 45919 120 0 0 25 0 1 0 778889119 260026368 60588 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63483 60588 1111 63 0 63420 0
vsize: 253932
[startup+470.387 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 62082 0 0 0 46917 122 0 0 25 0 1 0 778889119 265850880 62005 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64905 62005 1111 63 0 64842 0
vsize: 259620
[startup+480.388 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 63505 0 0 0 47915 124 0 0 25 0 1 0 778889119 271671296 63428 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66326 63428 1111 63 0 66263 0
vsize: 265304
[startup+490.388 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 64938 0 0 0 48912 128 0 0 25 0 1 0 778889119 277643264 64861 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67784 64861 1111 63 0 67721 0
vsize: 271136
[startup+500.388 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 66372 0 0 0 49909 131 0 0 25 0 1 0 778889119 283467776 66295 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69206 66295 1111 63 0 69143 0
vsize: 276824
[startup+510.389 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 67813 0 0 0 50907 133 0 0 25 0 1 0 778889119 289288192 67736 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70627 67736 1111 63 0 70564 0
vsize: 282508
[startup+520.389 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 69259 0 0 0 51905 135 0 0 25 0 1 0 778889119 295264256 69182 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72086 69182 1111 63 0 72023 0
vsize: 288344
[startup+530.39 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 70712 0 0 0 52902 138 0 0 25 0 1 0 778889119 301236224 70635 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73544 70635 1111 63 0 73481 0
vsize: 294176
[startup+540.39 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 72175 0 0 0 53900 141 0 0 25 0 1 0 778889119 307204096 72098 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75001 72098 1111 63 0 74938 0
vsize: 300004
[startup+550.391 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 73640 0 0 0 54897 144 0 0 25 0 1 0 778889119 313180160 73563 4294967295 134512640 134714508 3221221776 3221220200 1077377200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76460 73563 1111 63 0 76397 0
vsize: 305840
[startup+560.392 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 75117 0 0 0 55895 146 0 0 25 0 1 0 778889119 319299584 75040 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77954 75040 1111 63 0 77891 0
vsize: 311816
[startup+570.392 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 76595 0 0 0 56893 149 0 0 25 0 1 0 778889119 325275648 76518 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79413 76518 1111 63 0 79350 0
vsize: 317652
[startup+580.394 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 78083 0 0 0 57890 151 0 0 25 0 1 0 778889119 331395072 78006 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80907 78006 1111 63 0 80844 0
vsize: 323628
[startup+590.393 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 79578 0 0 0 58888 154 0 0 25 0 1 0 778889119 337518592 79501 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82402 79501 1111 63 0 82339 0
vsize: 329608
[startup+600.393 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 81079 0 0 0 59885 157 0 0 25 0 1 0 778889119 343638016 81002 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83896 81002 1111 63 0 83833 0
vsize: 335584
[startup+610.394 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 82588 0 0 0 60882 160 0 0 25 0 1 0 778889119 349904896 82511 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85426 82511 1111 63 0 85363 0
vsize: 341704
[startup+620.394 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 84100 0 0 0 61879 163 0 0 25 0 1 0 778889119 356028416 84023 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86921 84023 1111 63 0 86858 0
vsize: 347684
[startup+630.395 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 85624 0 0 0 62877 165 0 0 25 0 1 0 778889119 362299392 85547 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88452 85547 1111 63 0 88389 0
vsize: 353808
[startup+640.396 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 87157 0 0 0 63875 168 0 0 25 0 1 0 778889119 368570368 87080 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89983 87080 1111 63 0 89920 0
vsize: 359932
[startup+650.396 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 88688 0 0 0 64872 171 0 0 25 0 1 0 778889119 374841344 88611 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91514 88611 1111 63 0 91451 0
vsize: 366056
[startup+660.396 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 90238 0 0 0 65869 174 0 0 25 0 1 0 778889119 381112320 90161 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93045 90161 1111 63 0 92982 0
vsize: 372180
[startup+670.396 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 91786 0 0 0 66868 175 0 0 25 0 1 0 778889119 387530752 91709 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94612 91709 1111 63 0 94549 0
vsize: 378448
[startup+680.397 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 93348 0 0 0 67865 178 0 0 25 0 1 0 778889119 393953280 93271 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96180 93271 1111 63 0 96117 0
vsize: 384720
[startup+690.397 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 94915 0 0 0 68863 180 0 0 25 0 1 0 778889119 400371712 94838 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97747 94838 1111 63 0 97684 0
vsize: 390988
[startup+700.398 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 96489 0 0 0 69861 183 0 0 25 0 1 0 778889119 406794240 96412 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99315 96412 1111 63 0 99252 0
vsize: 397260
[startup+710.398 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 98074 0 0 0 70858 186 0 0 25 0 1 0 778889119 413212672 97997 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100882 97997 1111 63 0 100819 0
vsize: 403528
[startup+720.398 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8902
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 99684 0 0 0 71854 190 0 0 25 0 1 0 778889119 419999744 99607 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102539 99607 1111 63 0 102476 0
vsize: 410156
[startup+730.399 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 101289 0 0 0 72852 193 0 0 25 0 1 0 778889119 426573824 101212 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104144 101212 1111 63 0 104081 0
vsize: 416576
[startup+740.399 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 102899 0 0 0 73849 195 0 0 25 0 1 0 778889119 433139712 102822 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105747 102822 1111 63 0 105684 0
vsize: 422988
[startup+750.399 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 104523 0 0 0 74846 198 0 0 25 0 1 0 778889119 439861248 104446 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107388 104446 1111 63 0 107325 0
vsize: 429552
[startup+760.399 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 106144 0 0 0 75844 201 0 0 25 0 1 0 778889119 446427136 106067 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108991 106067 1111 63 0 108928 0
vsize: 435964
[startup+770.399 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 107779 0 0 0 76841 204 0 0 25 0 1 0 778889119 453144576 107702 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110631 107702 1111 63 0 110568 0
vsize: 442524
[startup+780.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 109431 0 0 0 77838 207 0 0 25 0 1 0 778889119 459862016 109354 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 112271 109354 1111 63 0 112208 0
vsize: 449084
[startup+790.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 111085 0 0 0 78834 211 0 0 25 0 1 0 778889119 466731008 111008 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113948 111008 1111 63 0 113885 0
vsize: 455792
[startup+800.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 112750 0 0 0 79832 214 0 0 25 0 1 0 778889119 473452544 112673 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 115589 112673 1111 63 0 115526 0
vsize: 462356
[startup+810.401 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 114427 0 0 0 80829 217 0 0 25 0 1 0 778889119 480317440 114350 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117265 114350 1111 63 0 117202 0
vsize: 469060
[startup+820.401 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 116117 0 0 0 81827 219 0 0 25 0 1 0 778889119 487337984 116040 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118979 116040 1111 63 0 118916 0
vsize: 475916
[startup+830.401 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 117806 0 0 0 82824 222 0 0 25 0 1 0 778889119 494202880 117729 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 120655 117729 1111 63 0 120592 0
vsize: 482620
[startup+840.401 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 119513 0 0 0 83821 225 0 0 25 0 1 0 778889119 501219328 119436 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 122368 119436 1111 63 0 122305 0
vsize: 489472
[startup+850.401 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 121234 0 0 0 84818 228 0 0 25 0 1 0 778889119 508239872 121157 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 124082 121157 1111 63 0 124019 0
vsize: 496328
[startup+860.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 122966 0 0 0 85815 232 0 0 25 0 1 0 778889119 515252224 122889 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125794 122889 1111 63 0 125731 0
vsize: 503176
[startup+870.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 124710 0 0 0 86811 235 0 0 25 0 1 0 778889119 522420224 124633 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 127544 124633 1111 63 0 127481 0
vsize: 510176
[startup+880.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 126460 0 0 0 87809 238 0 0 25 0 1 0 778889119 529592320 126383 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 129295 126383 1111 63 0 129232 0
vsize: 517180
[startup+890.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 128222 0 0 0 88806 241 0 0 25 0 1 0 778889119 536903680 128145 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131080 128145 1111 63 0 131017 0
vsize: 524320
[startup+900.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 129997 0 0 0 89804 244 0 0 25 0 1 0 778889119 544071680 129920 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 132830 129920 1111 63 0 132767 0
vsize: 531320
[startup+910.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 131783 0 0 0 90800 248 0 0 25 0 1 0 778889119 551387136 131706 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134616 131706 1111 63 0 134553 0
vsize: 538464
[startup+920.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 133577 0 0 0 91797 251 0 0 25 0 1 0 778889119 558706688 133500 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 136403 133500 1111 63 0 136340 0
vsize: 545612
[startup+930.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 135387 0 0 0 92793 254 0 0 25 0 1 0 778889119 566165504 135310 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 138224 135310 1111 63 0 138161 0
vsize: 552896
[startup+940.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 137210 0 0 0 93790 258 0 0 25 0 1 0 778889119 573632512 137133 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 140047 137133 1111 63 0 139984 0
vsize: 560188
[startup+950.402 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 139039 0 0 0 94787 261 0 0 25 0 1 0 778889119 581099520 138962 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 141870 138962 1111 63 0 141807 0
vsize: 567480
[startup+960.403 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 140895 0 0 0 95785 263 0 0 25 0 1 0 778889119 588713984 140818 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 143729 140818 1111 63 0 143666 0
vsize: 574916
[startup+970.403 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 142752 0 0 0 96782 267 0 0 25 0 1 0 778889119 596324352 142675 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 145587 142675 1111 63 0 145524 0
vsize: 582348
[startup+980.403 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 144624 0 0 0 97779 270 0 0 25 0 1 0 778889119 603938816 144547 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 147446 144547 1111 63 0 147383 0
vsize: 589784
[startup+990.403 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 146508 0 0 0 98775 274 0 0 25 0 1 0 778889119 611704832 146431 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 149342 146431 1111 63 0 149279 0
vsize: 597368
[startup+1000.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 148411 0 0 0 99771 278 0 0 25 0 1 0 778889119 619470848 148334 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 151238 148334 1111 63 0 151175 0
vsize: 604952
[startup+1010.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 150325 0 0 0 100768 281 0 0 25 0 1 0 778889119 627384320 150248 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 153170 150248 1111 63 0 153107 0
vsize: 612680
[startup+1020.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 152258 0 0 0 101764 285 0 0 25 0 1 0 778889119 635297792 152181 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 155102 152181 1111 63 0 155039 0
vsize: 620408
[startup+1030.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 154210 0 0 0 102761 288 0 0 25 0 1 0 778889119 643211264 154133 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 157034 154133 1111 63 0 156971 0
vsize: 628136
[startup+1040.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 156164 0 0 0 103758 292 0 0 25 0 1 0 778889119 651268096 156087 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 159001 156087 1111 63 0 158938 0
vsize: 636004
[startup+1050.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 158146 0 0 0 104755 295 0 0 25 0 1 0 778889119 659333120 158069 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 160970 158069 1111 63 0 160907 0
vsize: 643880
[startup+1060.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 160140 0 0 0 105752 298 0 0 25 0 1 0 778889119 667545600 160063 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 162975 160063 1111 63 0 162912 0
vsize: 651900
[startup+1070.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 162151 0 0 0 106748 302 0 0 25 0 1 0 778889119 675758080 162074 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 164980 162074 1111 63 0 164917 0
vsize: 659920
[startup+1080.4 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 164181 0 0 0 107744 306 0 0 25 0 1 0 778889119 684118016 164104 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 167021 164104 1111 63 0 166958 0
vsize: 668084
[startup+1090.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 166229 0 0 0 108741 310 0 0 25 0 1 0 778889119 692477952 166152 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 169062 166152 1111 63 0 168999 0
vsize: 676248
[startup+1100.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 168289 0 0 0 109737 314 0 0 25 0 1 0 778889119 700841984 168212 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 171104 168212 1111 63 0 171041 0
vsize: 684416
[startup+1110.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 170374 0 0 0 110732 318 0 0 25 0 1 0 778889119 709500928 170297 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 173218 170297 1111 63 0 173155 0
vsize: 692872
[startup+1120.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 172483 0 0 0 111726 323 0 0 25 0 1 0 778889119 718008320 172406 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 175295 172406 1111 63 0 175232 0
vsize: 701180
[startup+1130.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 174597 0 0 0 112721 327 0 0 25 0 1 0 778889119 726671360 174520 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 177446 174525 1111 63 0 177383 0
vsize: 709640
[startup+1140.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 176767 0 0 0 113715 332 0 0 25 0 1 0 778889119 735625216 176690 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 179596 176690 1111 63 0 179533 0
vsize: 718384
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 178924 0 0 0 114712 335 0 0 25 0 1 0 778889119 744435712 178847 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 181747 178847 1111 63 0 181684 0
vsize: 726988
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 181105 0 0 0 115708 338 0 0 25 0 1 0 778889119 753393664 181028 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 183934 181031 1111 63 0 183871 0
vsize: 735736
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 183350 0 0 0 116701 344 0 0 25 0 1 0 778889119 762507264 183273 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 186159 183273 1111 63 0 186096 0
vsize: 744636
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 185616 0 0 0 117696 347 0 0 25 0 1 0 778889119 771911680 185539 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 188455 185539 1111 63 0 188392 0
vsize: 753820
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 187930 0 0 0 118691 352 0 0 25 0 1 0 778889119 781316096 187853 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 190751 187853 1111 63 0 190688 0
vsize: 763004
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8904
Raw data (stat): 8847 (bsolo_lpr) R 8846 7876 7672 0 -1 0 190276 0 0 0 119686 355 0 0 25 0 1 0 778889119 790867968 190199 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 193083 190199 1111 63 0 193020 0
vsize: 772332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.76 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 8904
Raw data (stat): 8847 (bsolo_lpr) Z 8846 7876 7672 0 -1 1036 190276 0 0 0 119686 391 0 0 25 0 1 0 778889119 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.76
CPU time (s): 1200.78
CPU user time (s): 1196.87
CPU system time (s): 3.91141
CPU usage (%): 100.001
Max. virtual memory (Kb): 772332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####