PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7060
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 25758

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912828 kB
Buffers:          5488 kB
Cached:          93036 kB
SwapCached:       3952 kB
Active:          62432 kB
Inactive:        41212 kB
HighTotal:      131008 kB
HighFree:        35308 kB
LowTotal:       903652 kB
LowFree:        877520 kB
SwapTotal:     2097892 kB
SwapFree:      2092908 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12384 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 08:17:51 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 17798 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 371.976 s
#### 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.91 0.95 0.95 2/55 21643
Raw data (stat): 21643 (runsolver) R 21642 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 811313869 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 68226 0 0 0 854 141 0 0 25 0 1 0 811313869 292708352 68149 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71462 68149 1111 63 0 71399 0
vsize: 285848
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 73806 0 0 0 1843 152 0 0 25 0 1 0 811313869 315486208 73729 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77023 73729 1111 63 0 76960 0
vsize: 308092
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 109582 0 0 0 2762 234 0 0 25 0 1 0 811313869 452313088 109491 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110428 109491 1111 63 0 110365 0
vsize: 441712
[startup+40.0193 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 110800 0 0 0 3761 236 0 0 25 0 1 0 811313869 457150464 110704 4294967295 134512640 134714508 3221221776 3221220352 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111609 110704 1111 63 0 111546 0
vsize: 446436
[startup+50.0329 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 113635 0 0 0 4755 243 0 0 25 0 1 0 811313869 465465344 112698 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113639 112704 1111 63 0 113576 0
vsize: 454556
[startup+60.0337 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 117800 0 0 0 5746 253 0 0 25 0 1 0 811313869 482357248 116858 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117763 116858 1111 63 0 117700 0
vsize: 471052
[startup+70.034 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 119146 0 0 0 6742 256 0 0 25 0 1 0 811313869 482357248 116858 4294967295 134512640 134714508 3221221776 3221220144 134543048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117763 116858 1111 63 0 117700 0
vsize: 471052
[startup+80.0336 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 119146 0 0 0 7743 256 0 0 25 0 1 0 811313869 482357248 116858 4294967295 134512640 134714508 3221221776 3221220256 134539356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117763 116858 1111 63 0 117700 0
vsize: 471052
[startup+90.0336 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 142728 0 0 0 8685 314 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+100.034 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 149733 0 0 0 9666 333 0 0 25 0 1 0 811313869 501002240 121391 4294967295 134512640 134714508 3221221776 3221220372 134534088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 122315 121391 1111 63 0 122252 0
vsize: 489260
[startup+110.034 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 154733 0 0 0 10654 346 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220192 134542731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+120.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156411 0 0 0 11649 350 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+130.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 21643
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156411 0 0 0 12649 350 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+140.036 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156411 0 0 0 13649 351 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+150.036 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156411 0 0 0 14650 351 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220256 134539576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+160.037 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156411 0 0 0 15649 351 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+170.037 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 156514 0 0 0 16649 351 0 0 25 0 1 0 811313869 497979392 120672 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121577 120672 1111 63 0 121514 0
vsize: 486308
[startup+180.037 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 167172 0 0 0 17625 375 0 0 25 0 1 0 811313869 538607616 130591 4294967295 134512640 134714508 3221221776 3221220512 134625553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131496 130591 1111 63 0 131433 0
vsize: 525984
[startup+190.038 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 167558 0 0 0 18625 376 0 0 25 0 1 0 811313869 538607616 130591 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131496 130591 1111 63 0 131433 0
vsize: 525984
[startup+200.038 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 21696
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 169310 0 0 0 19621 380 0 0 25 0 1 0 811313869 538607616 130591 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131496 130591 1111 63 0 131433 0
vsize: 525984
[startup+210.039 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 169310 0 0 0 20622 380 0 0 25 0 1 0 811313869 538607616 130591 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131496 130591 1111 63 0 131433 0
vsize: 525984
[startup+220.04 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 21615 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220168 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+230.04 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 22615 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+240.04 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 23615 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+250.04 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 24615 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+260.041 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 25616 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+270.042 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 26616 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+280.042 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 27616 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+290.043 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 28616 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+300.042 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 29616 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+310.043 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 30617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220448 134627244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+320.045 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 31617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+330.044 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 32617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+340.045 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 33617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+350.045 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 34617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+360.046 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 35617 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+370.046 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172048 0 0 0 36618 387 0 0 25 0 1 0 811313869 549953536 133329 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133329 1111 63 0 134203 0
vsize: 537064
[startup+380.047 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 37617 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+390.048 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 38617 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221219792 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+400.048 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 39617 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+410.049 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 40617 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+420.05 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 41618 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221219888 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+430.05 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 42618 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221219520 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+440.051 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 43618 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+450.052 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 44618 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220080 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+460.052 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 45618 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+470.052 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 46619 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+480.052 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21698
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172073 0 0 0 47619 387 0 0 25 0 1 0 811313869 549953536 133354 4294967295 134512640 134714508 3221221776 3221219744 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133354 1111 63 0 134203 0
vsize: 537064
[startup+490.053 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 48619 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+500.053 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 49619 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+510.054 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 50619 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+520.055 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 51620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218352 1075967935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+530.055 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 52620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+540.056 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 53620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218768 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+550.056 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 54619 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+560.057 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 55620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218736 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+570.058 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 56620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217768 1074950169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+580.058 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 57620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218736 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+590.059 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 58620 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+600.058 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 59621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218464 1076083593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+610.059 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 60621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218640 1074620352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+620.06 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 61621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218676 1075964069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+630.06 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 62621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217840 1074970114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+640.06 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 63621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218728 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+650.06 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 64621 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+660.061 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 65622 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+670.061 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 66622 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+680.061 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 67622 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218740 1074846206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+690.062 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 68622 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+700.063 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 69623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218768 1074867317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+710.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 70623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218352 1075968594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+720.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 71623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+730.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 72623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218028 1076111494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+740.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 73623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217564 1074787713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+750.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 74623 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+760.064 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 75624 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+770.065 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 76624 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+780.065 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 77624 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+790.066 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 78624 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+800.067 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 79624 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217832 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+810.068 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 80625 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217752 1074789548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+820.068 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 81625 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+830.068 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 82625 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+840.069 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 83625 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+850.069 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 84625 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+860.07 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 85626 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+870.071 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 86626 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+880.071 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 87626 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218736 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+890.072 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 88626 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+900.073 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 89627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221218160 1075602622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+910.074 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 90627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+920.074 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 91627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+930.074 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 92627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+940.075 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 93627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+950.076 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 94627 387 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+960.076 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 95627 388 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217752 1074860217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+970.082 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172180 0 0 0 96627 388 0 0 25 0 1 0 811313869 549953536 133461 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133461 1111 63 0 134203 0
vsize: 537064
[startup+980.082 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 97611 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+990.083 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 98611 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217968 1074961238 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 99611 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 100611 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 101612 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217968 1074806292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 102612 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 103612 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 104612 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 105612 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221218228 1075863672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 106613 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221218352 1075968652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 107613 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 108613 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 109613 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 110613 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217660 1074787576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 111614 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 112614 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 113614 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 114614 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 115615 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 116615 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221218352 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 117615 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 118615 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221218624 1075960263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 21700
Raw data (stat): 21643 (bsolo_lpr) R 21642 7876 7672 0 -1 0 172207 0 2 0 119615 388 0 0 25 0 1 0 811313869 549953536 133490 4294967295 134512640 134714508 3221221776 3221217916 1075116728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134266 133490 1111 63 0 134203 0
vsize: 537064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 21700
Raw data (stat): 21643 (bsolo_lpr) Z 21642 7876 7672 0 -1 1036 172207 0 2 0 119615 413 0 0 25 0 1 0 811313869 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.34
CPU time (s): 1200.29
CPU user time (s): 1196.16
CPU system time (s): 4.13237
CPU usage (%): 99.9956
Max. virtual memory (Kb): 537064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####