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-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 25194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 12:08:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20151 boxname=wulflinc31 idbench=1551 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 20151
/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:        750228 kB
Buffers:         26272 kB
Cached:         235956 kB
SwapCached:       1000 kB
Active:          86888 kB
Inactive:       177608 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        749948 kB
SwapTotal:     2097892 kB
SwapFree:      2096064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14264 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 12:29:01 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 20151 7 1200.32 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.94 0.99 0.99 2/55 26098
Raw data (stat): 26098 (runsolver) R 26097 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769616084 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 2081 0 0 0 986 9 0 0 25 0 1 0 769616084 17920000 2004 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4375 2004 1111 63 0 4312 0
vsize: 17500
[startup+20.0026 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 2768 0 0 0 1984 10 0 0 25 0 1 0 769616084 20611072 2691 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5032 2691 1111 63 0 4969 0
vsize: 20128
[startup+30.0021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 3461 0 0 0 2983 12 0 0 25 0 1 0 769616084 23449600 3384 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5725 3384 1111 63 0 5662 0
vsize: 22900
[startup+40.0034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 4146 0 0 0 3982 13 0 0 25 0 1 0 769616084 26284032 4069 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6417 4069 1111 63 0 6354 0
vsize: 25668
[startup+50.0044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 4839 0 0 0 4980 15 0 0 25 0 1 0 769616084 29122560 4762 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7110 4762 1111 63 0 7047 0
vsize: 28440
[startup+60.0049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 5532 0 0 0 5979 16 0 0 25 0 1 0 769616084 31961088 5455 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7803 5455 1111 63 0 7740 0
vsize: 31212
[startup+70.0052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 6224 0 0 0 6977 18 0 0 25 0 1 0 769616084 34795520 6147 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8495 6147 1111 63 0 8432 0
vsize: 33980
[startup+80.0062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 6917 0 0 0 7976 20 0 0 25 0 1 0 769616084 37634048 6840 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9188 6840 1111 63 0 9125 0
vsize: 36752
[startup+90.0067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 7613 0 0 0 8974 21 0 0 25 0 1 0 769616084 40460288 7536 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 7536 1111 63 0 9815 0
vsize: 39512
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 8304 0 0 0 9973 23 0 0 25 0 1 0 769616084 43290624 8227 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10569 8227 1111 63 0 10506 0
vsize: 42276
[startup+110.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 8998 0 0 0 10971 25 0 0 25 0 1 0 769616084 46129152 8921 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11262 8921 1111 63 0 11199 0
vsize: 45048
[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 9697 0 0 0 11969 27 0 0 25 0 1 0 769616084 49119232 9620 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11992 9620 1111 63 0 11929 0
vsize: 47968
[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 10388 0 0 0 12968 28 0 0 25 0 1 0 769616084 51949568 10311 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12683 10311 1111 63 0 12620 0
vsize: 50732
[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 11087 0 0 0 13967 30 0 0 25 0 1 0 769616084 54788096 11010 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13376 11010 1111 63 0 13313 0
vsize: 53504
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 11780 0 0 0 14966 31 0 0 25 0 1 0 769616084 57626624 11703 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14069 11703 1111 63 0 14006 0
vsize: 56276
[startup+160.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 12478 0 0 0 15965 32 0 0 25 0 1 0 769616084 60461056 12401 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14761 12401 1111 63 0 14698 0
vsize: 59044
[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 13177 0 0 0 16964 33 0 0 25 0 1 0 769616084 63299584 13100 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15454 13100 1111 63 0 15391 0
vsize: 61816
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 13875 0 0 0 17961 36 0 0 25 0 1 0 769616084 66113536 13798 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16141 13798 1111 63 0 16078 0
vsize: 64564
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 14574 0 0 0 18960 37 0 0 25 0 1 0 769616084 69095424 14497 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16869 14497 1111 63 0 16806 0
vsize: 67476
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 15273 0 0 0 19959 39 0 0 25 0 1 0 769616084 71933952 15196 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17562 15196 1111 63 0 17499 0
vsize: 70248
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 15972 0 0 0 20958 40 0 0 25 0 1 0 769616084 74772480 15895 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18255 15895 1111 63 0 18192 0
vsize: 73020
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 16670 0 0 0 21957 41 0 0 25 0 1 0 769616084 77602816 16593 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18946 16593 1111 63 0 18883 0
vsize: 75784
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 17369 0 0 0 22956 42 0 0 25 0 1 0 769616084 80445440 17292 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19640 17292 1111 63 0 19577 0
vsize: 78560
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 18074 0 0 0 23955 43 0 0 25 0 1 0 769616084 83431424 17997 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20369 17997 1111 63 0 20306 0
vsize: 81476
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 18772 0 0 0 24954 44 0 0 25 0 1 0 769616084 86265856 18695 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 18695 1111 63 0 20998 0
vsize: 84244
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 19477 0 0 0 25952 46 0 0 25 0 1 0 769616084 89104384 19400 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21754 19400 1111 63 0 21691 0
vsize: 87016
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 20176 0 0 0 26951 47 0 0 25 0 1 0 769616084 91942912 20099 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22447 20099 1111 63 0 22384 0
vsize: 89788
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 20880 0 0 0 27950 49 0 0 25 0 1 0 769616084 94924800 20803 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23175 20803 1111 63 0 23112 0
vsize: 92700
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 21579 0 0 0 28948 51 0 0 25 0 1 0 769616084 97763328 21502 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23868 21502 1111 63 0 23805 0
vsize: 95472
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 22284 0 0 0 29947 52 0 0 25 0 1 0 769616084 100601856 22207 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24561 22207 1111 63 0 24498 0
vsize: 98244
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 22989 0 0 0 30945 54 0 0 25 0 1 0 769616084 103432192 22912 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25252 22912 1111 63 0 25189 0
vsize: 101008
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 23693 0 0 0 31944 55 0 0 25 0 1 0 769616084 106422272 23616 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25982 23616 1111 63 0 25919 0
vsize: 103928
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 24398 0 0 0 32942 57 0 0 25 0 1 0 769616084 109260800 24321 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26675 24321 1111 63 0 26612 0
vsize: 106700
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 25103 0 0 0 33941 58 0 0 25 0 1 0 769616084 112099328 25026 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27368 25026 1111 63 0 27305 0
vsize: 109472
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 25816 0 0 0 34940 59 0 0 25 0 1 0 769616084 115064832 25739 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28092 25739 1111 63 0 28029 0
vsize: 112368
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 26519 0 0 0 35939 60 0 0 25 0 1 0 769616084 118042624 26442 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28819 26442 1111 63 0 28756 0
vsize: 115276
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 27230 0 0 0 36937 62 0 0 25 0 1 0 769616084 120881152 27153 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29512 27153 1111 63 0 29449 0
vsize: 118048
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 27934 0 0 0 37935 64 0 0 25 0 1 0 769616084 123715584 27857 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30204 27857 1111 63 0 30141 0
vsize: 120816
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 28645 0 0 0 38933 66 0 0 25 0 1 0 769616084 126701568 28568 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30933 28568 1111 63 0 30870 0
vsize: 123732
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 29351 0 0 0 39932 68 0 0 25 0 1 0 769616084 129540096 29274 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31626 29274 1111 63 0 31563 0
vsize: 126504
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 30061 0 0 0 40931 69 0 0 25 0 1 0 769616084 132521984 29984 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32354 29984 1111 63 0 32291 0
vsize: 129416
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 30773 0 0 0 41929 71 0 0 25 0 1 0 769616084 135360512 30696 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33047 30696 1111 63 0 32984 0
vsize: 132188
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 31484 0 0 0 42928 73 0 0 25 0 1 0 769616084 138350592 31407 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33777 31407 1111 63 0 33714 0
vsize: 135108
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 32195 0 0 0 43926 74 0 0 25 0 1 0 769616084 141180928 32118 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34468 32118 1111 63 0 34405 0
vsize: 137872
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 32906 0 0 0 44925 76 0 0 25 0 1 0 769616084 144171008 32829 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35198 32829 1111 63 0 35135 0
vsize: 140792
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 33617 0 0 0 45924 76 0 0 25 0 1 0 769616084 147009536 33540 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35891 33540 1111 63 0 35828 0
vsize: 143564
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 34327 0 0 0 46923 78 0 0 25 0 1 0 769616084 149991424 34250 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36619 34250 1111 63 0 36556 0
vsize: 146476
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 35033 0 0 0 47922 79 0 0 25 0 1 0 769616084 152829952 34956 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37312 34956 1111 63 0 37249 0
vsize: 149248
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 35738 0 0 0 48921 81 0 0 25 0 1 0 769616084 155668480 35661 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38005 35661 1111 63 0 37942 0
vsize: 152020
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 36450 0 0 0 49919 82 0 0 25 0 1 0 769616084 158650368 36373 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38733 36373 1111 63 0 38670 0
vsize: 154932
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 37153 0 0 0 50918 84 0 0 25 0 1 0 769616084 161488896 37076 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39426 37076 1111 63 0 39363 0
vsize: 157704
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 37865 0 0 0 51917 85 0 0 25 0 1 0 769616084 164474880 37788 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40155 37788 1111 63 0 40092 0
vsize: 160620
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 38571 0 0 0 52916 86 0 0 25 0 1 0 769616084 167317504 38494 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40849 38494 1111 63 0 40786 0
vsize: 163396
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 39281 0 0 0 53915 88 0 0 25 0 1 0 769616084 170295296 39204 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41576 39204 1111 63 0 41513 0
vsize: 166304
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 39992 0 0 0 54913 89 0 0 25 0 1 0 769616084 173137920 39915 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42270 39915 1111 63 0 42207 0
vsize: 169080
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 40703 0 0 0 55913 90 0 0 25 0 1 0 769616084 176123904 40626 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42999 40626 1111 63 0 42936 0
vsize: 171996
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 41414 0 0 0 56912 91 0 0 25 0 1 0 769616084 178958336 41337 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43691 41337 1111 63 0 43628 0
vsize: 174764
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 42125 0 0 0 57910 93 0 0 25 0 1 0 769616084 181944320 42048 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44420 42048 1111 63 0 44357 0
vsize: 177680
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 42836 0 0 0 58910 94 0 0 25 0 1 0 769616084 184782848 42759 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45113 42759 1111 63 0 45050 0
vsize: 180452
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 43546 0 0 0 59908 95 0 0 25 0 1 0 769616084 187764736 43469 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45841 43469 1111 63 0 45778 0
vsize: 183364
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 44257 0 0 0 60908 96 0 0 25 0 1 0 769616084 190603264 44180 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46534 44180 1111 63 0 46471 0
vsize: 186136
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 44975 0 0 0 61906 97 0 0 25 0 1 0 769616084 193593344 44898 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47264 44898 1111 63 0 47201 0
vsize: 189056
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 45685 0 0 0 62905 99 0 0 25 0 1 0 769616084 196423680 45608 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47955 45608 1111 63 0 47892 0
vsize: 191820
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 46402 0 0 0 63904 100 0 0 25 0 1 0 769616084 199413760 46325 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48685 46325 1111 63 0 48622 0
vsize: 194740
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 47113 0 0 0 64904 101 0 0 25 0 1 0 769616084 202252288 47036 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49378 47036 1111 63 0 49315 0
vsize: 197512
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 47829 0 0 0 65902 102 0 0 25 0 1 0 769616084 205234176 47752 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50106 47752 1111 63 0 50043 0
vsize: 200424
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 48546 0 0 0 66901 104 0 0 25 0 1 0 769616084 208220160 48469 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50835 48469 1111 63 0 50772 0
vsize: 203340
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 49264 0 0 0 67899 106 0 0 25 0 1 0 769616084 211058688 49187 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51528 49187 1111 63 0 51465 0
vsize: 206112
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 49981 0 0 0 68898 107 0 0 25 0 1 0 769616084 214048768 49904 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52258 49904 1111 63 0 52195 0
vsize: 209032
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 50707 0 0 0 69897 108 0 0 25 0 1 0 769616084 217026560 50630 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52985 50630 1111 63 0 52922 0
vsize: 211940
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 51432 0 0 0 70896 109 0 0 25 0 1 0 769616084 220016640 51355 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53715 51355 1111 63 0 53652 0
vsize: 214860
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 52150 0 0 0 71896 110 0 0 25 0 1 0 769616084 223002624 52073 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54444 52073 1111 63 0 54381 0
vsize: 217776
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 52872 0 0 0 72894 112 0 0 25 0 1 0 769616084 225988608 52795 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55173 52795 1111 63 0 55110 0
vsize: 220692
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 53595 0 0 0 73893 113 0 0 25 0 1 0 769616084 228974592 53518 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55902 53518 1111 63 0 55839 0
vsize: 223608
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 54313 0 0 0 74892 114 0 0 25 0 1 0 769616084 231817216 54236 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56596 54236 1111 63 0 56533 0
vsize: 226384
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 55035 0 0 0 75891 115 0 0 25 0 1 0 769616084 234799104 54958 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57324 54958 1111 63 0 57261 0
vsize: 229296
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 55759 0 0 0 76891 116 0 0 25 0 1 0 769616084 237789184 55682 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58054 55682 1111 63 0 57991 0
vsize: 232216
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 56483 0 0 0 77888 118 0 0 25 0 1 0 769616084 240775168 56406 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58783 56406 1111 63 0 58720 0
vsize: 235132
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 57213 0 0 0 78888 119 0 0 25 0 1 0 769616084 243765248 57136 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59513 57136 1111 63 0 59450 0
vsize: 238052
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 57936 0 0 0 79886 121 0 0 25 0 1 0 769616084 246747136 57859 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60241 57859 1111 63 0 60178 0
vsize: 240964
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 58660 0 0 0 80885 123 0 0 25 0 1 0 769616084 249585664 58583 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60934 58583 1111 63 0 60871 0
vsize: 243736
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 59390 0 0 0 81883 124 0 0 25 0 1 0 769616084 252575744 59313 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61664 59313 1111 63 0 61601 0
vsize: 246656
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 60112 0 0 0 82882 126 0 0 25 0 1 0 769616084 255557632 60035 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62392 60035 1111 63 0 62329 0
vsize: 249568
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 60841 0 0 0 83881 126 0 0 25 0 1 0 769616084 258547712 60764 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63122 60764 1111 63 0 63059 0
vsize: 252488
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 61571 0 0 0 84880 128 0 0 25 0 1 0 769616084 261537792 61494 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63852 61494 1111 63 0 63789 0
vsize: 255408
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 62294 0 0 0 85878 130 0 0 25 0 1 0 769616084 264519680 62217 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64580 62217 1111 63 0 64517 0
vsize: 258320
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 63024 0 0 0 86877 131 0 0 25 0 1 0 769616084 267509760 62947 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65310 62947 1111 63 0 65247 0
vsize: 261240
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 63755 0 0 0 87876 132 0 0 25 0 1 0 769616084 270495744 63678 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66039 63678 1111 63 0 65976 0
vsize: 264156
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 64490 0 0 0 88875 133 0 0 25 0 1 0 769616084 273481728 64413 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66768 64413 1111 63 0 66705 0
vsize: 267072
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 65219 0 0 0 89875 134 0 0 25 0 1 0 769616084 276467712 65142 4294967295 134512640 134714508 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67497 65142 1111 63 0 67434 0
vsize: 269988
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 65948 0 0 0 90873 136 0 0 25 0 1 0 769616084 279457792 65871 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68227 65871 1111 63 0 68164 0
vsize: 272908
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 66684 0 0 0 91872 137 0 0 25 0 1 0 769616084 282447872 66607 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68957 66607 1111 63 0 68894 0
vsize: 275828
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 67412 0 0 0 92871 138 0 0 25 0 1 0 769616084 285429760 67335 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69685 67335 1111 63 0 69622 0
vsize: 278740
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 68148 0 0 0 93870 140 0 0 25 0 1 0 769616084 288567296 68071 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70451 68071 1111 63 0 70388 0
vsize: 281804
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 68885 0 0 0 94869 141 0 0 25 0 1 0 769616084 291557376 68808 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71181 68808 1111 63 0 71118 0
vsize: 284724
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 69613 0 0 0 95867 143 0 0 25 0 1 0 769616084 294539264 69536 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71909 69536 1111 63 0 71846 0
vsize: 287636
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 70350 0 0 0 96866 145 0 0 25 0 1 0 769616084 297529344 70273 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72639 70273 1111 63 0 72576 0
vsize: 290556
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 71086 0 0 0 97865 145 0 0 25 0 1 0 769616084 300515328 71009 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73368 71009 1111 63 0 73305 0
vsize: 293472
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 71821 0 0 0 98864 146 0 0 25 0 1 0 769616084 303505408 71744 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74098 71744 1111 63 0 74035 0
vsize: 296392
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 72562 0 0 0 99863 147 0 0 25 0 1 0 769616084 306638848 72485 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74863 72485 1111 63 0 74800 0
vsize: 299452
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 73297 0 0 0 100862 149 0 0 25 0 1 0 769616084 309624832 73220 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75592 73220 1111 63 0 75529 0
vsize: 302368
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 74033 0 0 0 101860 151 0 0 25 0 1 0 769616084 312614912 73956 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76322 73956 1111 63 0 76259 0
vsize: 305288
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 74775 0 0 0 102858 153 0 0 25 0 1 0 769616084 315596800 74698 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77050 74698 1111 63 0 76987 0
vsize: 308200
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 75516 0 0 0 103858 154 0 0 25 0 1 0 769616084 318734336 75439 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77816 75439 1111 63 0 77753 0
vsize: 311264
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 76253 0 0 0 104856 155 0 0 25 0 1 0 769616084 321724416 76176 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78546 76176 1111 63 0 78483 0
vsize: 314184
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 76995 0 0 0 105855 157 0 0 25 0 1 0 769616084 324714496 76918 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79276 76918 1111 63 0 79213 0
vsize: 317104
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 77735 0 0 0 106854 158 0 0 25 0 1 0 769616084 327696384 77658 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80004 77658 1111 63 0 79941 0
vsize: 320016
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 78477 0 0 0 107853 159 0 0 25 0 1 0 769616084 330833920 78400 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80770 78400 1111 63 0 80707 0
vsize: 323080
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 79219 0 0 0 108852 160 0 0 25 0 1 0 769616084 333824000 79142 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81500 79142 1111 63 0 81437 0
vsize: 326000
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 79965 0 0 0 109851 162 0 0 25 0 1 0 769616084 336953344 79888 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82264 79888 1111 63 0 82201 0
vsize: 329056
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 80708 0 0 0 110850 163 0 0 25 0 1 0 769616084 339943424 80631 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82994 80631 1111 63 0 82931 0
vsize: 331976
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 81456 0 0 0 111849 164 0 0 25 0 1 0 769616084 342933504 81379 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83724 81379 1111 63 0 83661 0
vsize: 334896
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 82198 0 0 0 112848 165 0 0 25 0 1 0 769616084 346071040 82121 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84490 82121 1111 63 0 84427 0
vsize: 337960
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 82945 0 0 0 113846 167 0 0 25 0 1 0 769616084 349052928 82868 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85218 82868 1111 63 0 85155 0
vsize: 340872
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 83693 0 0 0 114845 169 0 0 25 0 1 0 769616084 352190464 83616 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85984 83616 1111 63 0 85921 0
vsize: 343936
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 84441 0 0 0 115843 171 0 0 25 0 1 0 769616084 355180544 84364 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86714 84364 1111 63 0 86651 0
vsize: 346856
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 85188 0 0 0 116842 172 0 0 25 0 1 0 769616084 358313984 85111 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87479 85111 1111 63 0 87416 0
vsize: 349916
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 85936 0 0 0 117841 173 0 0 25 0 1 0 769616084 361299968 85859 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88208 85859 1111 63 0 88145 0
vsize: 352832
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 86685 0 0 0 118840 175 0 0 25 0 1 0 769616084 364437504 86608 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88974 86608 1111 63 0 88911 0
vsize: 355896
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26098
Raw data (stat): 26098 (bsolo_lpr) R 26097 7876 7672 0 -1 0 87432 0 0 0 119838 176 0 0 25 0 1 0 769616084 367427584 87355 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89704 87355 1111 63 0 89641 0
vsize: 358816
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 26098
Raw data (stat): 26098 (bsolo_lpr) Z 26097 7876 7672 0 -1 1036 87432 0 0 0 119838 192 0 0 25 0 1 0 769616084 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.22
CPU time (s): 1200.32
CPU user time (s): 1198.39
CPU system time (s): 1.92971
CPU usage (%): 100.008
Max. virtual memory (Kb): 358816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####