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-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	29652813254765
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	29652813254765
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.43078
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 26286

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-24 14:57:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14171 boxname=wulflinc6 idbench=1091 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 14171
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        909084 kB
Buffers:         34664 kB
Cached:          69132 kB
SwapCached:        652 kB
Active:          74548 kB
Inactive:        31836 kB
HighTotal:      131008 kB
HighFree:        60620 kB
LowTotal:       903652 kB
LowFree:        848464 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5704 kB
Slab:            13572 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:18:00 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 14171 7 1200.44 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.77 0.92 1.16 2/54 26088
Raw data (stat): 26088 (runsolver) R 26087 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772914435 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0018 s]
Raw data (loadavg): 0.80 0.93 1.15 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 772914435 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0037 s]
Raw data (loadavg): 0.83 0.93 1.15 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1406 0 0 0 1994 4 0 0 25 0 1 0 772914435 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0043 s]
Raw data (loadavg): 0.86 0.93 1.15 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1515 0 0 0 2994 4 0 0 25 0 1 0 772914435 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0054 s]
Raw data (loadavg): 0.88 0.93 1.15 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1625 0 0 0 3994 5 0 0 25 0 1 0 772914435 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0061 s]
Raw data (loadavg): 0.90 0.93 1.15 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1737 0 0 0 4994 5 0 0 25 0 1 0 772914435 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0067 s]
Raw data (loadavg): 0.91 0.94 1.14 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1848 0 0 0 5993 6 0 0 25 0 1 0 772914435 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0074 s]
Raw data (loadavg): 0.93 0.94 1.14 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 1950 0 0 0 6994 6 0 0 25 0 1 0 772914435 18161664 1874 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1874 1111 63 0 4371 0
vsize: 17736
[startup+80.0085 s]
Raw data (loadavg): 0.94 0.94 1.14 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2060 0 0 0 7994 6 0 0 25 0 1 0 772914435 18616320 1984 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1984 1111 63 0 4482 0
vsize: 18180
[startup+90.0089 s]
Raw data (loadavg): 0.95 0.94 1.14 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2169 0 0 0 8994 6 0 0 25 0 1 0 772914435 19058688 2093 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2093 1111 63 0 4590 0
vsize: 18612
[startup+100.009 s]
Raw data (loadavg): 0.95 0.94 1.14 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2284 0 0 0 9994 7 0 0 25 0 1 0 772914435 19656704 2208 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2208 1111 63 0 4736 0
vsize: 19196
[startup+110.009 s]
Raw data (loadavg): 0.96 0.94 1.13 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2394 0 0 0 10994 7 0 0 25 0 1 0 772914435 20103168 2318 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2318 1111 63 0 4845 0
vsize: 19632
[startup+120.009 s]
Raw data (loadavg): 0.97 0.94 1.13 2/54 26088
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2499 0 0 0 11994 7 0 0 25 0 1 0 772914435 20402176 2423 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2423 1111 63 0 4918 0
vsize: 19924
[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 1.13 4/57 26134
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2607 0 0 0 12994 7 0 0 25 0 1 0 772914435 20856832 2531 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2531 1111 63 0 5029 0
vsize: 20368
[startup+140.01 s]
Raw data (loadavg): 1.05 0.96 1.13 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2718 0 0 0 13994 8 0 0 25 0 1 0 772914435 21299200 2642 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2642 1111 63 0 5137 0
vsize: 20800
[startup+150.011 s]
Raw data (loadavg): 1.04 0.96 1.13 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2827 0 0 0 14994 8 0 0 25 0 1 0 772914435 21872640 2751 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2751 1111 63 0 5277 0
vsize: 21360
[startup+160.011 s]
Raw data (loadavg): 1.03 0.97 1.13 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 2937 0 0 0 15994 9 0 0 25 0 1 0 772914435 22323200 2861 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2861 1111 63 0 5387 0
vsize: 21800
[startup+170.011 s]
Raw data (loadavg): 1.03 0.97 1.13 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3040 0 0 0 16994 9 0 0 25 0 1 0 772914435 22622208 2964 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2964 1111 63 0 5460 0
vsize: 22092
[startup+180.011 s]
Raw data (loadavg): 1.02 0.97 1.13 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3167 0 0 0 17994 9 0 0 25 0 1 0 772914435 23232512 3091 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.011 s]
Raw data (loadavg): 1.02 0.97 1.12 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3266 0 0 0 18994 9 0 0 25 0 1 0 772914435 23662592 3190 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3190 1111 63 0 5714 0
vsize: 23108
[startup+200.011 s]
Raw data (loadavg): 1.02 0.97 1.12 2/54 26141
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3376 0 0 0 19994 10 0 0 25 0 1 0 772914435 24113152 3300 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3300 1111 63 0 5824 0
vsize: 23548
[startup+210.011 s]
Raw data (loadavg): 1.01 0.97 1.12 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3486 0 0 0 20994 10 0 0 25 0 1 0 772914435 24559616 3410 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3410 1111 63 0 5933 0
vsize: 23984
[startup+220.011 s]
Raw data (loadavg): 1.01 0.97 1.12 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3597 0 0 0 21994 10 0 0 25 0 1 0 772914435 25010176 3521 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3521 1111 63 0 6043 0
vsize: 24424
[startup+230.012 s]
Raw data (loadavg): 1.01 0.97 1.12 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3707 0 0 0 22994 10 0 0 25 0 1 0 772914435 25460736 3631 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3631 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 1.01 0.97 1.11 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3817 0 0 0 23995 10 0 0 25 0 1 0 772914435 25911296 3741 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3741 1111 63 0 6263 0
vsize: 25304
[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 1.11 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 3926 0 0 0 24995 11 0 0 25 0 1 0 772914435 26357760 3850 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3850 1111 63 0 6372 0
vsize: 25740
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 1.11 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4038 0 0 0 25995 11 0 0 25 0 1 0 772914435 26804224 3962 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3962 1111 63 0 6481 0
vsize: 26176
[startup+270.012 s]
Raw data (loadavg): 1.00 0.97 1.11 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4148 0 0 0 26995 11 0 0 25 0 1 0 772914435 27258880 4072 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4072 1111 63 0 6592 0
vsize: 26620
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 1.11 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4258 0 0 0 27995 11 0 0 25 0 1 0 772914435 27705344 4182 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4182 1111 63 0 6701 0
vsize: 27056
[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 1.10 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4367 0 0 0 28996 12 0 0 25 0 1 0 772914435 28160000 4291 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4291 1111 63 0 6812 0
vsize: 27500
[startup+300.018 s]
Raw data (loadavg): 1.00 0.97 1.10 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4479 0 0 0 29996 12 0 0 25 0 1 0 772914435 28602368 4403 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4403 1111 63 0 6920 0
vsize: 27932
[startup+310.018 s]
Raw data (loadavg): 1.00 0.97 1.10 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4588 0 0 0 30996 12 0 0 25 0 1 0 772914435 29028352 4512 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4512 1111 63 0 7024 0
vsize: 28348
[startup+320.018 s]
Raw data (loadavg): 1.00 0.97 1.10 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4699 0 0 0 31996 12 0 0 25 0 1 0 772914435 29474816 4623 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4623 1111 63 0 7133 0
vsize: 28784
[startup+330.018 s]
Raw data (loadavg): 1.00 0.97 1.10 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4808 0 0 0 32997 12 0 0 25 0 1 0 772914435 29925376 4732 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4732 1111 63 0 7243 0
vsize: 29224
[startup+340.019 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 4918 0 0 0 33997 12 0 0 25 0 1 0 772914435 30375936 4842 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4842 1111 63 0 7353 0
vsize: 29664
[startup+350.019 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5027 0 0 0 34997 13 0 0 25 0 1 0 772914435 30826496 4951 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4951 1111 63 0 7463 0
vsize: 30104
[startup+360.019 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5156 0 0 0 35997 13 0 0 25 0 1 0 772914435 31461376 5080 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5080 1111 63 0 7618 0
vsize: 30724
[startup+370.02 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5259 0 0 0 36997 13 0 0 25 0 1 0 772914435 31760384 5183 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5183 1111 63 0 7691 0
vsize: 31016
[startup+380.02 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5376 0 0 0 37997 13 0 0 25 0 1 0 772914435 32362496 5300 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5300 1111 63 0 7838 0
vsize: 31604
[startup+390.02 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5486 0 0 0 38997 14 0 0 25 0 1 0 772914435 32813056 5410 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 5410 1111 63 0 7948 0
vsize: 32044
[startup+400.022 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5596 0 0 0 39997 15 0 0 25 0 1 0 772914435 33263616 5520 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5520 1111 63 0 8058 0
vsize: 32484
[startup+410.022 s]
Raw data (loadavg): 1.00 0.97 1.09 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5707 0 0 0 40997 15 0 0 25 0 1 0 772914435 33710080 5631 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 5631 1111 63 0 8167 0
vsize: 32920
[startup+420.022 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5817 0 0 0 41997 16 0 0 25 0 1 0 772914435 34160640 5741 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 5741 1111 63 0 8277 0
vsize: 33360
[startup+430.024 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 5934 0 0 0 42997 16 0 0 25 0 1 0 772914435 34611200 5858 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 5858 1111 63 0 8387 0
vsize: 33800
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6038 0 0 0 43997 16 0 0 25 0 1 0 772914435 35061760 5962 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5962 1111 63 0 8497 0
vsize: 34240
[startup+450.025 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26143
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6155 0 0 0 44997 16 0 0 25 0 1 0 772914435 35508224 6079 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6079 1111 63 0 8606 0
vsize: 34676
[startup+460.025 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6265 0 0 0 45997 16 0 0 25 0 1 0 772914435 35958784 6189 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6189 1111 63 0 8716 0
vsize: 35116
[startup+470.026 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6376 0 0 0 46998 17 0 0 25 0 1 0 772914435 36409344 6300 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6300 1111 63 0 8826 0
vsize: 35556
[startup+480.026 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6493 0 0 0 47998 17 0 0 25 0 1 0 772914435 36859904 6417 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6417 1111 63 0 8936 0
vsize: 35996
[startup+490.026 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6603 0 0 0 48998 17 0 0 25 0 1 0 772914435 37306368 6527 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6527 1111 63 0 9045 0
vsize: 36432
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6714 0 0 0 49998 17 0 0 25 0 1 0 772914435 37761024 6638 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6638 1111 63 0 9156 0
vsize: 36876
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6823 0 0 0 50998 18 0 0 25 0 1 0 772914435 38207488 6747 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6747 1111 63 0 9265 0
vsize: 37312
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 6935 0 0 0 51998 18 0 0 25 0 1 0 772914435 38658048 6859 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6859 1111 63 0 9375 0
vsize: 37752
[startup+530.028 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7051 0 0 0 52998 18 0 0 25 0 1 0 772914435 39108608 6975 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6975 1111 63 0 9485 0
vsize: 38192
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7163 0 0 0 53999 18 0 0 25 0 1 0 772914435 39559168 7087 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7087 1111 63 0 9595 0
vsize: 38632
[startup+550.029 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7272 0 0 0 54999 18 0 0 25 0 1 0 772914435 40005632 7196 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7196 1111 63 0 9704 0
vsize: 39068
[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7390 0 0 0 55999 19 0 0 25 0 1 0 772914435 40456192 7314 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7314 1111 63 0 9814 0
vsize: 39508
[startup+570.031 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7500 0 0 0 56999 19 0 0 25 0 1 0 772914435 40906752 7424 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7424 1111 63 0 9924 0
vsize: 39948
[startup+580.031 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7612 0 0 0 57999 19 0 0 25 0 1 0 772914435 41357312 7536 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7536 1111 63 0 10034 0
vsize: 40388
[startup+590.032 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7727 0 0 0 58999 20 0 0 25 0 1 0 772914435 41951232 7651 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7651 1111 63 0 10179 0
vsize: 40968
[startup+600.032 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7844 0 0 0 59999 20 0 0 25 0 1 0 772914435 42405888 7768 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7768 1111 63 0 10290 0
vsize: 41412
[startup+610.033 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 7955 0 0 0 61000 20 0 0 25 0 1 0 772914435 42852352 7879 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7879 1111 63 0 10399 0
vsize: 41848
[startup+620.034 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8066 0 0 0 62000 20 0 0 25 0 1 0 772914435 43307008 7990 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7990 1111 63 0 10510 0
vsize: 42292
[startup+630.035 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8181 0 0 0 63000 20 0 0 25 0 1 0 772914435 43753472 8105 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8105 1111 63 0 10619 0
vsize: 42728
[startup+640.036 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8292 0 0 0 64000 21 0 0 25 0 1 0 772914435 44183552 8216 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8216 1111 63 0 10724 0
vsize: 43148
[startup+650.037 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8403 0 0 0 65000 21 0 0 25 0 1 0 772914435 44621824 8327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8327 1111 63 0 10831 0
vsize: 43576
[startup+660.037 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8520 0 0 0 66001 21 0 0 25 0 1 0 772914435 45072384 8444 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8444 1111 63 0 10941 0
vsize: 44016
[startup+670.038 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8636 0 0 0 67001 21 0 0 25 0 1 0 772914435 45670400 8560 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8560 1111 63 0 11087 0
vsize: 44600
[startup+680.039 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8747 0 0 0 68001 22 0 0 25 0 1 0 772914435 46125056 8671 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8671 1111 63 0 11198 0
vsize: 45044
[startup+690.04 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8857 0 0 0 69001 22 0 0 25 0 1 0 772914435 46567424 8781 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8781 1111 63 0 11306 0
vsize: 45476
[startup+700.04 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 8974 0 0 0 70001 22 0 0 25 0 1 0 772914435 47022080 8898 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8898 1111 63 0 11417 0
vsize: 45920
[startup+710.039 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9110 0 0 0 71001 23 0 0 25 0 1 0 772914435 47718400 9034 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11650 9034 1111 63 0 11587 0
vsize: 46600
[startup+720.039 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9221 0 0 0 72001 23 0 0 25 0 1 0 772914435 48144384 9145 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9145 1111 63 0 11691 0
vsize: 47016
[startup+730.039 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9331 0 0 0 73001 23 0 0 25 0 1 0 772914435 48590848 9255 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9255 1111 63 0 11800 0
vsize: 47452
[startup+740.039 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9448 0 0 0 74001 23 0 0 25 0 1 0 772914435 49041408 9372 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9372 1111 63 0 11910 0
vsize: 47892
[startup+750.039 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9565 0 0 0 75001 23 0 0 25 0 1 0 772914435 49491968 9489 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9489 1111 63 0 12020 0
vsize: 48332
[startup+760.04 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9683 0 0 0 76001 24 0 0 25 0 1 0 772914435 49942528 9607 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9607 1111 63 0 12130 0
vsize: 48772
[startup+770.039 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9793 0 0 0 77002 24 0 0 25 0 1 0 772914435 50388992 9717 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9717 1111 63 0 12239 0
vsize: 49208
[startup+780.04 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 9910 0 0 0 78002 24 0 0 25 0 1 0 772914435 50958336 9834 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9834 1111 63 0 12378 0
vsize: 49764
[startup+790.04 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10020 0 0 0 79002 24 0 0 25 0 1 0 772914435 51408896 9944 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9944 1111 63 0 12488 0
vsize: 50204
[startup+800.04 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10139 0 0 0 80002 24 0 0 25 0 1 0 772914435 51859456 10063 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10063 1111 63 0 12598 0
vsize: 50644
[startup+810.039 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10257 0 0 0 81002 24 0 0 25 0 1 0 772914435 52310016 10181 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10181 1111 63 0 12708 0
vsize: 51084
[startup+820.04 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10373 0 0 0 82003 24 0 0 25 0 1 0 772914435 52760576 10297 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10297 1111 63 0 12818 0
vsize: 51524
[startup+830.039 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10484 0 0 0 83003 24 0 0 25 0 1 0 772914435 53207040 10408 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10408 1111 63 0 12927 0
vsize: 51960
[startup+840.039 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10601 0 0 0 84003 24 0 0 25 0 1 0 772914435 53809152 10525 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10525 1111 63 0 13074 0
vsize: 52548
[startup+850.039 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10714 0 0 0 85003 25 0 0 25 0 1 0 772914435 54259712 10638 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10638 1111 63 0 13184 0
vsize: 52988
[startup+860.039 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10830 0 0 0 86003 25 0 0 25 0 1 0 772914435 54710272 10754 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10754 1111 63 0 13294 0
vsize: 53428
[startup+870.038 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 10947 0 0 0 87003 26 0 0 25 0 1 0 772914435 55160832 10871 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10871 1111 63 0 13404 0
vsize: 53868
[startup+880.039 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11064 0 0 0 88003 26 0 0 25 0 1 0 772914435 55607296 10988 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10988 1111 63 0 13513 0
vsize: 54304
[startup+890.038 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11183 0 0 0 89003 26 0 0 25 0 1 0 772914435 56057856 11107 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11107 1111 63 0 13623 0
vsize: 54744
[startup+900.038 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11293 0 0 0 90003 26 0 0 25 0 1 0 772914435 56508416 11217 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11217 1111 63 0 13733 0
vsize: 55184
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11410 0 0 0 91004 26 0 0 25 0 1 0 772914435 57110528 11334 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11334 1111 63 0 13880 0
vsize: 55772
[startup+920.038 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11527 0 0 0 92004 26 0 0 25 0 1 0 772914435 57552896 11451 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11451 1111 63 0 13988 0
vsize: 56204
[startup+930.037 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11646 0 0 0 93004 27 0 0 25 0 1 0 772914435 58007552 11570 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11570 1111 63 0 14099 0
vsize: 56648
[startup+940.038 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11756 0 0 0 94004 27 0 0 25 0 1 0 772914435 58454016 11680 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11680 1111 63 0 14208 0
vsize: 57084
[startup+950.037 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11874 0 0 0 95004 27 0 0 25 0 1 0 772914435 58908672 11798 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11798 1111 63 0 14319 0
vsize: 57528
[startup+960.037 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 11990 0 0 0 96004 27 0 0 25 0 1 0 772914435 59351040 11914 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11914 1111 63 0 14427 0
vsize: 57960
[startup+970.038 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12110 0 0 0 97004 28 0 0 25 0 1 0 772914435 59953152 12034 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12034 1111 63 0 14574 0
vsize: 58548
[startup+980.037 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12226 0 0 0 98004 28 0 0 25 0 1 0 772914435 60403712 12150 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12150 1111 63 0 14684 0
vsize: 58988
[startup+990.038 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12343 0 0 0 99004 29 0 0 25 0 1 0 772914435 60854272 12267 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12267 1111 63 0 14794 0
vsize: 59428
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12461 0 0 0 100003 29 0 0 25 0 1 0 772914435 61300736 12385 4294967295 134512640 134714508 3221224592 3221223248 134527944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12385 1111 63 0 14903 0
vsize: 59864
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12577 0 0 0 101004 30 0 0 25 0 1 0 772914435 61755392 12501 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12501 1111 63 0 15014 0
vsize: 60308
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12696 0 0 0 102003 30 0 0 25 0 1 0 772914435 62353408 12620 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12620 1111 63 0 15160 0
vsize: 60892
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12812 0 0 0 103003 31 0 0 25 0 1 0 772914435 62803968 12736 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12736 1111 63 0 15270 0
vsize: 61332
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 12930 0 0 0 104004 31 0 0 25 0 1 0 772914435 63254528 12854 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12854 1111 63 0 15380 0
vsize: 61772
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13048 0 0 0 105003 31 0 0 25 0 1 0 772914435 63700992 12972 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12972 1111 63 0 15489 0
vsize: 62208
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13166 0 0 0 106003 31 0 0 25 0 1 0 772914435 64155648 13090 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13090 1111 63 0 15600 0
vsize: 62652
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13283 0 0 0 107004 32 0 0 25 0 1 0 772914435 64749568 13207 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13207 1111 63 0 15745 0
vsize: 63232
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13401 0 0 0 108004 32 0 0 25 0 1 0 772914435 65204224 13325 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13518 0 0 0 109005 32 0 0 25 0 1 0 772914435 65650688 13442 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13442 1111 63 0 15965 0
vsize: 64112
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13637 0 0 0 110005 32 0 0 25 0 1 0 772914435 66105344 13561 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13561 1111 63 0 16076 0
vsize: 64556
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13753 0 0 0 111005 32 0 0 25 0 1 0 772914435 66547712 13677 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13677 1111 63 0 16184 0
vsize: 64988
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13871 0 0 0 112005 32 0 0 25 0 1 0 772914435 67149824 13795 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13795 1111 63 0 16331 0
vsize: 65576
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 13989 0 0 0 113005 33 0 0 25 0 1 0 772914435 67600384 13913 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13913 1111 63 0 16441 0
vsize: 66016
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14107 0 0 0 114005 33 0 0 25 0 1 0 772914435 68050944 14031 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14031 1111 63 0 16551 0
vsize: 66456
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14224 0 0 0 115005 33 0 0 25 0 1 0 772914435 68497408 14148 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14148 1111 63 0 16660 0
vsize: 66892
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14348 0 0 0 116005 33 0 0 25 0 1 0 772914435 69099520 14272 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14272 1111 63 0 16807 0
vsize: 67480
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14467 0 0 0 117005 34 0 0 25 0 1 0 772914435 69550080 14391 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14391 1111 63 0 16917 0
vsize: 67920
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14584 0 0 0 118005 34 0 0 25 0 1 0 772914435 70000640 14508 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14508 1111 63 0 17027 0
vsize: 68360
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14709 0 0 0 119005 35 0 0 25 0 1 0 772914435 70451200 14633 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14633 1111 63 0 17137 0
vsize: 68800
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 26145
Raw data (stat): 26088 (bsolo_lpr) R 26087 25568 25567 0 -1 0 14825 0 0 0 120006 35 0 0 25 0 1 0 772914435 71045120 14749 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14749 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 1.01 1/54 26145
Raw data (stat): 26088 (bsolo_lpr) Z 26087 25568 25567 0 -1 1036 14825 0 0 0 120006 38 0 0 25 0 1 0 772914435 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.08
CPU time (s): 1200.44
CPU user time (s): 1200.06
CPU system time (s): 0.381941
CPU usage (%): 100.031
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####