PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
MD5SUM	6f8b2121f6d249fe6e02652d1aab6d14
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29675972066390
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29675972066390
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43378
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28193

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        744120 kB
Buffers:          7148 kB
Cached:         260220 kB
SwapCached:        620 kB
Active:          43504 kB
Inactive:       226368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        743868 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15080 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:17:34 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 14054 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 11433
Raw data (stat): 11433 (runsolver) R 11432 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834732247 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1295 0 0 0 985 5 0 0 25 0 1 0 834732247 15511552 1219 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1405 0 0 0 1985 5 0 0 25 0 1 0 834732247 15941632 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1508 0 0 0 2985 6 0 0 25 0 1 0 834732247 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1618 0 0 0 3985 6 0 0 25 0 1 0 834732247 16834560 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1730 0 0 0 4985 6 0 0 25 0 1 0 834732247 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1834 0 0 0 5985 6 0 0 25 0 1 0 834732247 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 1942 0 0 0 6985 6 0 0 25 0 1 0 834732247 18161664 1866 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1866 1111 63 0 4371 0
vsize: 17736
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2053 0 0 0 7985 6 0 0 25 0 1 0 834732247 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2155 0 0 0 8985 7 0 0 25 0 1 0 834732247 19058688 2079 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2079 1111 63 0 4590 0
vsize: 18612
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2270 0 0 0 9985 7 0 0 25 0 1 0 834732247 19501056 2194 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2194 1111 63 0 4698 0
vsize: 19044
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2380 0 0 0 10985 7 0 0 25 0 1 0 834732247 19955712 2304 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2304 1111 63 0 4809 0
vsize: 19488
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2484 0 0 0 11984 8 0 0 25 0 1 0 834732247 20402176 2408 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2408 1111 63 0 4918 0
vsize: 19924
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2599 0 0 0 12984 8 0 0 25 0 1 0 834732247 20856832 2523 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2523 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2703 0 0 0 13984 9 0 0 25 0 1 0 834732247 21299200 2627 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2627 1111 63 0 5137 0
vsize: 20800
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11433
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2812 0 0 0 14984 9 0 0 25 0 1 0 834732247 21725184 2736 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2736 1111 63 0 5241 0
vsize: 21216
[startup+160.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 2922 0 0 0 15984 9 0 0 25 0 1 0 834732247 22171648 2846 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2846 1111 63 0 5350 0
vsize: 21652
[startup+170.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3025 0 0 0 16984 9 0 0 25 0 1 0 834732247 22622208 2949 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2949 1111 63 0 5460 0
vsize: 22092
[startup+180.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3135 0 0 0 17985 9 0 0 25 0 1 0 834732247 23072768 3059 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3059 1111 63 0 5570 0
vsize: 22532
[startup+190.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3251 0 0 0 18985 9 0 0 25 0 1 0 834732247 23511040 3175 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 3175 1111 63 0 5677 0
vsize: 22960
[startup+200.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3360 0 0 0 19985 9 0 0 25 0 1 0 834732247 23957504 3284 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 3284 1111 63 0 5786 0
vsize: 23396
[startup+210.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11486
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3470 0 0 0 20985 10 0 0 25 0 1 0 834732247 24408064 3394 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3394 1111 63 0 5896 0
vsize: 23836
[startup+220.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3574 0 0 0 21985 10 0 0 25 0 1 0 834732247 24858624 3498 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3498 1111 63 0 6006 0
vsize: 24276
[startup+230.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3691 0 0 0 22985 10 0 0 25 0 1 0 834732247 25309184 3615 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3615 1111 63 0 6116 0
vsize: 24716
[startup+240.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3794 0 0 0 23985 10 0 0 25 0 1 0 834732247 25759744 3718 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 3718 1111 63 0 6226 0
vsize: 25156
[startup+250.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 3905 0 0 0 24985 10 0 0 25 0 1 0 834732247 26210304 3829 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6399 3829 1111 63 0 6336 0
vsize: 25596
[startup+260.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4015 0 0 0 25985 11 0 0 25 0 1 0 834732247 26656768 3939 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 3939 1111 63 0 6445 0
vsize: 26032
[startup+270.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4125 0 0 0 26985 11 0 0 25 0 1 0 834732247 27107328 4049 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6618 4049 1111 63 0 6555 0
vsize: 26472
[startup+280.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4235 0 0 0 27985 11 0 0 25 0 1 0 834732247 27557888 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6728 4159 1111 63 0 6665 0
vsize: 26912
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4346 0 0 0 28985 11 0 0 25 0 1 0 834732247 28008448 4270 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 4270 1111 63 0 6775 0
vsize: 27352
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4455 0 0 0 29985 11 0 0 25 0 1 0 834732247 28454912 4379 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6947 4379 1111 63 0 6884 0
vsize: 27788
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4566 0 0 0 30985 11 0 0 25 0 1 0 834732247 28880896 4490 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7051 4490 1111 63 0 6988 0
vsize: 28204
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4675 0 0 0 31986 11 0 0 25 0 1 0 834732247 29323264 4599 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7159 4599 1111 63 0 7096 0
vsize: 28636
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4786 0 0 0 32986 12 0 0 25 0 1 0 834732247 29777920 4710 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 4710 1111 63 0 7207 0
vsize: 29080
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 4895 0 0 0 33986 12 0 0 25 0 1 0 834732247 30224384 4819 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7379 4819 1111 63 0 7316 0
vsize: 29516
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5005 0 0 0 34986 12 0 0 25 0 1 0 834732247 30679040 4929 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 4929 1111 63 0 7427 0
vsize: 29960
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5133 0 0 0 35986 12 0 0 25 0 1 0 834732247 31309824 5057 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5057 1111 63 0 7581 0
vsize: 30576
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5236 0 0 0 36986 12 0 0 25 0 1 0 834732247 31760384 5160 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5160 1111 63 0 7691 0
vsize: 31016
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5345 0 0 0 37986 13 0 0 25 0 1 0 834732247 32210944 5269 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5269 1111 63 0 7801 0
vsize: 31456
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5457 0 0 0 38985 13 0 0 25 0 1 0 834732247 32661504 5381 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5381 1111 63 0 7911 0
vsize: 31896
[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5566 0 0 0 39985 13 0 0 25 0 1 0 834732247 33107968 5490 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5490 1111 63 0 8020 0
vsize: 32332
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5678 0 0 0 40986 13 0 0 25 0 1 0 834732247 33558528 5602 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5602 1111 63 0 8130 0
vsize: 32772
[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5787 0 0 0 41986 13 0 0 25 0 1 0 834732247 34009088 5711 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5711 1111 63 0 8240 0
vsize: 33212
[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 5905 0 0 0 42985 14 0 0 25 0 1 0 834732247 34459648 5829 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5829 1111 63 0 8350 0
vsize: 33652
[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6008 0 0 0 43986 14 0 0 25 0 1 0 834732247 34906112 5932 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5932 1111 63 0 8459 0
vsize: 34088
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6126 0 0 0 44986 14 0 0 25 0 1 0 834732247 35360768 6050 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6050 1111 63 0 8570 0
vsize: 34532
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6235 0 0 0 45986 14 0 0 25 0 1 0 834732247 35807232 6159 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8742 6159 1111 63 0 8679 0
vsize: 34968
[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6346 0 0 0 46986 14 0 0 25 0 1 0 834732247 36257792 6270 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8852 6270 1111 63 0 8789 0
vsize: 35408
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11488
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6456 0 0 0 47986 14 0 0 25 0 1 0 834732247 36708352 6380 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8962 6380 1111 63 0 8899 0
vsize: 35848
[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6567 0 0 0 48986 15 0 0 25 0 1 0 834732247 37158912 6491 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 6491 1111 63 0 9009 0
vsize: 36288
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6683 0 0 0 49986 15 0 0 25 0 1 0 834732247 37605376 6607 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 6607 1111 63 0 9118 0
vsize: 36724
[startup+510.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6794 0 0 0 50986 15 0 0 25 0 1 0 834732247 38055936 6718 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 6718 1111 63 0 9228 0
vsize: 37164
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 6904 0 0 0 51986 15 0 0 25 0 1 0 834732247 38506496 6828 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 6828 1111 63 0 9338 0
vsize: 37604
[startup+530.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7015 0 0 0 52986 15 0 0 25 0 1 0 834732247 38957056 6939 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 6939 1111 63 0 9448 0
vsize: 38044
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7125 0 0 0 53986 15 0 0 25 0 1 0 834732247 39403520 7049 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7049 1111 63 0 9557 0
vsize: 38480
[startup+550.021 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7242 0 0 0 54986 15 0 0 25 0 1 0 834732247 39854080 7166 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7166 1111 63 0 9667 0
vsize: 38920
[startup+560.021 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7351 0 0 0 55986 16 0 0 25 0 1 0 834732247 40304640 7275 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7275 1111 63 0 9777 0
vsize: 39360
[startup+570.02 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7463 0 0 0 56986 16 0 0 25 0 1 0 834732247 40755200 7387 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7387 1111 63 0 9887 0
vsize: 39800
[startup+580.021 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7581 0 0 0 57986 16 0 0 25 0 1 0 834732247 41357312 7505 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7505 1111 63 0 10034 0
vsize: 40388
[startup+590.02 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7691 0 0 0 58986 17 0 0 25 0 1 0 834732247 41803776 7615 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7615 1111 63 0 10143 0
vsize: 40824
[startup+600.022 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7802 0 0 0 59986 17 0 0 25 0 1 0 834732247 42250240 7726 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7726 1111 63 0 10252 0
vsize: 41260
[startup+610.022 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 7918 0 0 0 60986 17 0 0 25 0 1 0 834732247 42704896 7842 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7842 1111 63 0 10363 0
vsize: 41704
[startup+620.021 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8029 0 0 0 61985 17 0 0 25 0 1 0 834732247 43151360 7953 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 7953 1111 63 0 10472 0
vsize: 42140
[startup+630.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8139 0 0 0 62985 18 0 0 25 0 1 0 834732247 43606016 8063 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8063 1111 63 0 10583 0
vsize: 42584
[startup+640.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8256 0 0 0 63985 18 0 0 25 0 1 0 834732247 44048384 8180 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8180 1111 63 0 10691 0
vsize: 43016
[startup+650.023 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8366 0 0 0 64985 18 0 0 25 0 1 0 834732247 44470272 8290 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8290 1111 63 0 10794 0
vsize: 43428
[startup+660.023 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8477 0 0 0 65985 18 0 0 25 0 1 0 834732247 44920832 8401 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8401 1111 63 0 10904 0
vsize: 43868
[startup+670.022 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8593 0 0 0 66985 19 0 0 25 0 1 0 834732247 45371392 8517 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8517 1111 63 0 11014 0
vsize: 44308
[startup+680.026 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8704 0 0 0 67985 19 0 0 25 0 1 0 834732247 45821952 8628 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8628 1111 63 0 11124 0
vsize: 44748
[startup+690.026 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8813 0 0 0 68985 20 0 0 25 0 1 0 834732247 46272512 8737 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11297 8737 1111 63 0 11234 0
vsize: 45188
[startup+700.026 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 8930 0 0 0 69985 20 0 0 25 0 1 0 834732247 46874624 8854 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8854 1111 63 0 11381 0
vsize: 45776
[startup+710.027 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9074 0 0 0 70985 20 0 0 25 0 1 0 834732247 47579136 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 8998 1111 63 0 11553 0
vsize: 46464
[startup+720.027 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9177 0 0 0 71984 21 0 0 25 0 1 0 834732247 47996928 9101 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9101 1111 63 0 11655 0
vsize: 46872
[startup+730.027 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9287 0 0 0 72984 21 0 0 25 0 1 0 834732247 48439296 9211 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9211 1111 63 0 11763 0
vsize: 47304
[startup+740.027 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9404 0 0 0 73984 21 0 0 25 0 1 0 834732247 48893952 9328 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9328 1111 63 0 11874 0
vsize: 47748
[startup+750.028 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9520 0 0 0 74984 21 0 0 25 0 1 0 834732247 49340416 9444 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9444 1111 63 0 11983 0
vsize: 48184
[startup+760.027 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9633 0 0 0 75984 22 0 0 25 0 1 0 834732247 49795072 9557 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12157 9557 1111 63 0 12094 0
vsize: 48628
[startup+770.027 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9742 0 0 0 76984 22 0 0 25 0 1 0 834732247 50241536 9666 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12266 9666 1111 63 0 12203 0
vsize: 49064
[startup+780.028 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9860 0 0 0 77984 22 0 0 25 0 1 0 834732247 50671616 9784 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12371 9784 1111 63 0 12308 0
vsize: 49484
[startup+790.029 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 9975 0 0 0 78984 23 0 0 25 0 1 0 834732247 51257344 9899 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9899 1111 63 0 12451 0
vsize: 50056
[startup+800.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10088 0 0 0 79984 23 0 0 25 0 1 0 834732247 51712000 10012 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 10012 1111 63 0 12562 0
vsize: 50500
[startup+810.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10204 0 0 0 80984 23 0 0 25 0 1 0 834732247 52158464 10128 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12734 10128 1111 63 0 12671 0
vsize: 50936
[startup+820.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10316 0 0 0 81984 23 0 0 25 0 1 0 834732247 52613120 10240 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12845 10240 1111 63 0 12782 0
vsize: 51380
[startup+830.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10432 0 0 0 82984 23 0 0 25 0 1 0 834732247 53055488 10356 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12953 10356 1111 63 0 12890 0
vsize: 51812
[startup+840.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10550 0 0 0 83984 24 0 0 25 0 1 0 834732247 53510144 10474 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10474 1111 63 0 13001 0
vsize: 52256
[startup+850.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10661 0 0 0 84984 24 0 0 25 0 1 0 834732247 53956608 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13173 10585 1111 63 0 13110 0
vsize: 52692
[startup+860.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10778 0 0 0 85984 24 0 0 25 0 1 0 834732247 54411264 10702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13284 10702 1111 63 0 13221 0
vsize: 53136
[startup+870.03 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 10888 0 0 0 86984 24 0 0 25 0 1 0 834732247 54857728 10812 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13393 10812 1111 63 0 13330 0
vsize: 53572
[startup+880.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11006 0 0 0 87984 24 0 0 25 0 1 0 834732247 55455744 10930 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10930 1111 63 0 13476 0
vsize: 54156
[startup+890.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11123 0 0 0 88984 25 0 0 25 0 1 0 834732247 55906304 11047 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13649 11047 1111 63 0 13586 0
vsize: 54596
[startup+900.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11241 0 0 0 89984 25 0 0 25 0 1 0 834732247 56356864 11165 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13759 11165 1111 63 0 13696 0
vsize: 55036
[startup+910.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11351 0 0 0 90984 25 0 0 25 0 1 0 834732247 56803328 11275 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 11275 1111 63 0 13805 0
vsize: 55472
[startup+920.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11468 0 0 0 91984 26 0 0 25 0 1 0 834732247 57257984 11392 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 11392 1111 63 0 13916 0
vsize: 55916
[startup+930.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11587 0 0 0 92984 26 0 0 25 0 1 0 834732247 57704448 11511 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14088 11511 1111 63 0 14025 0
vsize: 56352
[startup+940.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11698 0 0 0 93984 26 0 0 25 0 1 0 834732247 58155008 11622 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14198 11622 1111 63 0 14135 0
vsize: 56792
[startup+950.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11815 0 0 0 94983 27 0 0 25 0 1 0 834732247 58757120 11739 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14345 11739 1111 63 0 14282 0
vsize: 57380
[startup+960.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 11931 0 0 0 95983 27 0 0 25 0 1 0 834732247 59207680 11855 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14455 11855 1111 63 0 14392 0
vsize: 57820
[startup+970.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12050 0 0 0 96983 27 0 0 25 0 1 0 834732247 59658240 11974 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14565 11974 1111 63 0 14502 0
vsize: 58260
[startup+980.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12167 0 0 0 97983 27 0 0 25 0 1 0 834732247 60104704 12091 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14674 12091 1111 63 0 14611 0
vsize: 58696
[startup+990.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12285 0 0 0 98983 28 0 0 25 0 1 0 834732247 60555264 12209 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12209 1111 63 0 14721 0
vsize: 59136
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12401 0 0 0 99983 28 0 0 25 0 1 0 834732247 61153280 12325 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14930 12325 1111 63 0 14867 0
vsize: 59720
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12512 0 0 0 100983 28 0 0 25 0 1 0 834732247 61607936 12436 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 12436 1111 63 0 14978 0
vsize: 60164
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12629 0 0 0 101983 28 0 0 25 0 1 0 834732247 62050304 12553 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15149 12553 1111 63 0 15086 0
vsize: 60596
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12747 0 0 0 102983 28 0 0 25 0 1 0 834732247 62504960 12671 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15260 12671 1111 63 0 15197 0
vsize: 61040
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12863 0 0 0 103983 29 0 0 25 0 1 0 834732247 62951424 12787 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15369 12787 1111 63 0 15306 0
vsize: 61476
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 12982 0 0 0 104983 29 0 0 25 0 1 0 834732247 63406080 12906 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15480 12906 1111 63 0 15417 0
vsize: 61920
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13092 0 0 0 105983 29 0 0 25 0 1 0 834732247 63848448 13016 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 13016 1111 63 0 15525 0
vsize: 62352
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13211 0 0 0 106983 29 0 0 25 0 1 0 834732247 64450560 13135 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15735 13135 1111 63 0 15672 0
vsize: 62940
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13327 0 0 0 107983 29 0 0 25 0 1 0 834732247 64901120 13251 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 13251 1111 63 0 15782 0
vsize: 63380
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13445 0 0 0 108983 30 0 0 25 0 1 0 834732247 65351680 13369 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15955 13369 1111 63 0 15892 0
vsize: 63820
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13562 0 0 0 109983 30 0 0 25 0 1 0 834732247 65798144 13486 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16064 13486 1111 63 0 16001 0
vsize: 64256
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13681 0 0 0 110983 30 0 0 25 0 1 0 834732247 66248704 13605 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13605 1111 63 0 16111 0
vsize: 64696
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13799 0 0 0 111983 31 0 0 25 0 1 0 834732247 66850816 13723 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16321 13723 1111 63 0 16258 0
vsize: 65284
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 13915 0 0 0 112983 31 0 0 25 0 1 0 834732247 67301376 13839 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16431 13839 1111 63 0 16368 0
vsize: 65724
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14034 0 0 0 113983 31 0 0 25 0 1 0 834732247 67751936 13958 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13958 1111 63 0 16478 0
vsize: 66164
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14151 0 0 0 114983 31 0 0 25 0 1 0 834732247 68198400 14075 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14075 1111 63 0 16587 0
vsize: 66600
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14269 0 0 0 115983 31 0 0 25 0 1 0 834732247 68653056 14193 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14193 1111 63 0 16698 0
vsize: 67044
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14386 0 0 0 116983 32 0 0 25 0 1 0 834732247 69246976 14310 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16906 14310 1111 63 0 16843 0
vsize: 67624
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14510 0 0 0 117983 32 0 0 25 0 1 0 834732247 69701632 14434 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17017 14434 1111 63 0 16954 0
vsize: 68068
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14628 0 0 0 118982 32 0 0 25 0 1 0 834732247 70148096 14552 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14552 1111 63 0 17063 0
vsize: 68504
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11490
Raw data (stat): 11433 (bsolo_lpr) R 11432 4613 4612 0 -1 0 14746 0 0 0 119982 33 0 0 25 0 1 0 834732247 70598656 14670 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14670 1111 63 0 17173 0
vsize: 68944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 11490
Raw data (stat): 11433 (bsolo_lpr) Z 11432 4613 4612 0 -1 1036 14746 0 0 0 119983 35 0 0 25 0 1 0 834732247 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.07
CPU time (s): 1200.19
CPU user time (s): 1199.83
CPU system time (s): 0.358945
CPU usage (%): 100.01
Max. virtual memory (Kb): 68944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####