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-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	29610373267604
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	29610373267604
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.42678
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 26299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 14:58:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14120 boxname=wulflinc5 idbench=1087 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bd3b7059f5a46c39741d1666410238f7  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3709.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3709.opb
IDLAUNCH: 14120
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        856392 kB
Buffers:         37228 kB
Cached:         119332 kB
SwapCached:        656 kB
Active:          64576 kB
Inactive:        94556 kB
HighTotal:      131008 kB
HighFree:        25396 kB
LowTotal:       903652 kB
LowFree:        830996 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5756 kB
Slab:            13556 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:18:39 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14120 7 1200.24 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.92 0.98 1.16 2/54 7495
Raw data (stat): 7495 (runsolver) R 7494 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772919174 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99968 s]
Raw data (loadavg): 0.93 0.98 1.15 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 772919174 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0053 s]
Raw data (loadavg): 0.94 0.98 1.15 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 772919174 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0052 s]
Raw data (loadavg): 0.95 0.98 1.15 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1515 0 0 0 2992 6 0 0 25 0 1 0 772919174 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0059 s]
Raw data (loadavg): 0.96 0.98 1.15 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1625 0 0 0 3991 7 0 0 25 0 1 0 772919174 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 1.15 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1737 0 0 0 4991 7 0 0 25 0 1 0 772919174 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0064 s]
Raw data (loadavg): 0.97 0.98 1.14 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1848 0 0 0 5991 8 0 0 25 0 1 0 772919174 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.98 1.14 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 1950 0 0 0 6991 8 0 0 25 0 1 0 772919174 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.0074 s]
Raw data (loadavg): 0.98 0.98 1.14 2/54 7495
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2067 0 0 0 7991 8 0 0 25 0 1 0 772919174 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0088 s]
Raw data (loadavg): 1.06 1.00 1.14 3/58 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2176 0 0 0 8989 10 0 0 25 0 1 0 772919174 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.008 s]
Raw data (loadavg): 1.05 1.00 1.14 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2285 0 0 0 9989 10 0 0 25 0 1 0 772919174 19656704 2209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2209 1111 63 0 4736 0
vsize: 19196
[startup+110.008 s]
Raw data (loadavg): 1.04 1.00 1.14 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2395 0 0 0 10989 10 0 0 25 0 1 0 772919174 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.009 s]
Raw data (loadavg): 1.04 1.00 1.14 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2505 0 0 0 11989 10 0 0 25 0 1 0 772919174 20557824 2429 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2429 1111 63 0 4956 0
vsize: 20076
[startup+130.009 s]
Raw data (loadavg): 1.03 1.00 1.14 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2614 0 0 0 12989 11 0 0 25 0 1 0 772919174 21004288 2538 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2538 1111 63 0 5065 0
vsize: 20512
[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 1.13 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2718 0 0 0 13989 11 0 0 25 0 1 0 772919174 21299200 2642 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2642 1111 63 0 5137 0
vsize: 20800
[startup+150.01 s]
Raw data (loadavg): 1.02 1.00 1.13 2/54 7548
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2827 0 0 0 14989 11 0 0 25 0 1 0 772919174 21872640 2751 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2751 1111 63 0 5277 0
vsize: 21360
[startup+160.01 s]
Raw data (loadavg): 1.02 1.00 1.13 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 2937 0 0 0 15989 11 0 0 25 0 1 0 772919174 22323200 2861 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2861 1111 63 0 5387 0
vsize: 21800
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 1.13 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3046 0 0 0 16989 12 0 0 25 0 1 0 772919174 22773760 2970 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2970 1111 63 0 5497 0
vsize: 22240
[startup+180.009 s]
Raw data (loadavg): 1.01 1.00 1.13 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3167 0 0 0 17989 12 0 0 25 0 1 0 772919174 23232512 3091 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.01 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3272 0 0 0 18989 12 0 0 25 0 1 0 772919174 23662592 3196 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3196 1111 63 0 5714 0
vsize: 23108
[startup+200.01 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3383 0 0 0 19988 13 0 0 25 0 1 0 772919174 24113152 3307 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3307 1111 63 0 5824 0
vsize: 23548
[startup+210.01 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3487 0 0 0 20988 13 0 0 25 0 1 0 772919174 24559616 3411 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3411 1111 63 0 5933 0
vsize: 23984
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3603 0 0 0 21988 13 0 0 25 0 1 0 772919174 25010176 3527 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3527 1111 63 0 6043 0
vsize: 24424
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3707 0 0 0 22988 13 0 0 25 0 1 0 772919174 25460736 3631 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3631 1111 63 0 6153 0
vsize: 24864
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3824 0 0 0 23989 14 0 0 25 0 1 0 772919174 25911296 3748 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3748 1111 63 0 6263 0
vsize: 25304
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 3927 0 0 0 24989 14 0 0 25 0 1 0 772919174 26357760 3851 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3851 1111 63 0 6372 0
vsize: 25740
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4038 0 0 0 25989 14 0 0 25 0 1 0 772919174 26804224 3962 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3962 1111 63 0 6481 0
vsize: 26176
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4148 0 0 0 26989 14 0 0 25 0 1 0 772919174 27258880 4072 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4072 1111 63 0 6592 0
vsize: 26620
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4259 0 0 0 27989 14 0 0 25 0 1 0 772919174 27705344 4183 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4183 1111 63 0 6701 0
vsize: 27056
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4368 0 0 0 28989 14 0 0 25 0 1 0 772919174 28160000 4292 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4292 1111 63 0 6812 0
vsize: 27500
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4479 0 0 0 29988 15 0 0 25 0 1 0 772919174 28602368 4403 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4403 1111 63 0 6920 0
vsize: 27932
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4588 0 0 0 30988 15 0 0 25 0 1 0 772919174 29028352 4512 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4512 1111 63 0 7024 0
vsize: 28348
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4705 0 0 0 31988 15 0 0 25 0 1 0 772919174 29474816 4629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4629 1111 63 0 7133 0
vsize: 28784
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4808 0 0 0 32988 16 0 0 25 0 1 0 772919174 29925376 4732 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4732 1111 63 0 7243 0
vsize: 29224
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 4925 0 0 0 33988 16 0 0 25 0 1 0 772919174 30375936 4849 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4849 1111 63 0 7353 0
vsize: 29664
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5028 0 0 0 34988 16 0 0 25 0 1 0 772919174 30826496 4952 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4952 1111 63 0 7463 0
vsize: 30104
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5156 0 0 0 35988 16 0 0 25 0 1 0 772919174 31461376 5080 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5080 1111 63 0 7618 0
vsize: 30724
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5265 0 0 0 36988 17 0 0 25 0 1 0 772919174 31911936 5189 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5189 1111 63 0 7728 0
vsize: 31164
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5377 0 0 0 37988 17 0 0 25 0 1 0 772919174 32362496 5301 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5301 1111 63 0 7838 0
vsize: 31604
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5486 0 0 0 38988 17 0 0 25 0 1 0 772919174 32813056 5410 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5410 1111 63 0 7948 0
vsize: 32044
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5597 0 0 0 39988 17 0 0 25 0 1 0 772919174 33263616 5521 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5521 1111 63 0 8058 0
vsize: 32484
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5713 0 0 0 40988 17 0 0 25 0 1 0 772919174 33710080 5637 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5637 1111 63 0 8167 0
vsize: 32920
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5818 0 0 0 41988 17 0 0 25 0 1 0 772919174 34160640 5742 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5742 1111 63 0 8277 0
vsize: 33360
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 5934 0 0 0 42988 18 0 0 25 0 1 0 772919174 34611200 5858 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5858 1111 63 0 8387 0
vsize: 33800
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6045 0 0 0 43988 18 0 0 25 0 1 0 772919174 35061760 5969 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5969 1111 63 0 8497 0
vsize: 34240
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7550
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6155 0 0 0 44988 18 0 0 25 0 1 0 772919174 35508224 6079 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6079 1111 63 0 8606 0
vsize: 34676
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6266 0 0 0 45988 18 0 0 25 0 1 0 772919174 35958784 6190 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6190 1111 63 0 8716 0
vsize: 35116
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6376 0 0 0 46988 19 0 0 25 0 1 0 772919174 36409344 6300 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6300 1111 63 0 8826 0
vsize: 35556
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6493 0 0 0 47988 19 0 0 25 0 1 0 772919174 36859904 6417 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6417 1111 63 0 8936 0
vsize: 35996
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6603 0 0 0 48988 19 0 0 25 0 1 0 772919174 37306368 6527 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6527 1111 63 0 9045 0
vsize: 36432
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6714 0 0 0 49988 19 0 0 25 0 1 0 772919174 37761024 6638 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6638 1111 63 0 9156 0
vsize: 36876
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6830 0 0 0 50988 19 0 0 25 0 1 0 772919174 38207488 6754 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6754 1111 63 0 9265 0
vsize: 37312
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 6942 0 0 0 51988 19 0 0 25 0 1 0 772919174 38658048 6866 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6866 1111 63 0 9375 0
vsize: 37752
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7051 0 0 0 52988 19 0 0 25 0 1 0 772919174 39108608 6975 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6975 1111 63 0 9485 0
vsize: 38192
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7169 0 0 0 53988 20 0 0 25 0 1 0 772919174 39559168 7093 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7093 1111 63 0 9595 0
vsize: 38632
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7279 0 0 0 54988 20 0 0 25 0 1 0 772919174 40005632 7203 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7203 1111 63 0 9704 0
vsize: 39068
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7391 0 0 0 55988 20 0 0 25 0 1 0 772919174 40456192 7315 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7315 1111 63 0 9814 0
vsize: 39508
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7506 0 0 0 56988 20 0 0 25 0 1 0 772919174 41054208 7430 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7430 1111 63 0 9960 0
vsize: 40092
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7618 0 0 0 57988 20 0 0 25 0 1 0 772919174 41508864 7542 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7542 1111 63 0 10071 0
vsize: 40536
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7728 0 0 0 58988 21 0 0 25 0 1 0 772919174 41951232 7652 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7652 1111 63 0 10179 0
vsize: 40968
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7845 0 0 0 59988 21 0 0 25 0 1 0 772919174 42405888 7769 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7769 1111 63 0 10290 0
vsize: 41412
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 7955 0 0 0 60988 21 0 0 25 0 1 0 772919174 42852352 7879 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7879 1111 63 0 10399 0
vsize: 41848
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8066 0 0 0 61988 21 0 0 25 0 1 0 772919174 43307008 7990 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7990 1111 63 0 10510 0
vsize: 42292
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8182 0 0 0 62988 22 0 0 25 0 1 0 772919174 43753472 8106 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8106 1111 63 0 10619 0
vsize: 42728
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8299 0 0 0 63988 22 0 0 25 0 1 0 772919174 44183552 8223 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8223 1111 63 0 10724 0
vsize: 43148
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8410 0 0 0 64988 22 0 0 25 0 1 0 772919174 44621824 8334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8334 1111 63 0 10831 0
vsize: 43576
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8521 0 0 0 65988 22 0 0 25 0 1 0 772919174 45072384 8445 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8445 1111 63 0 10941 0
vsize: 44016
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8636 0 0 0 66988 23 0 0 25 0 1 0 772919174 45670400 8560 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8560 1111 63 0 11087 0
vsize: 44600
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8754 0 0 0 67988 23 0 0 25 0 1 0 772919174 46125056 8678 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8678 1111 63 0 11198 0
vsize: 45044
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8863 0 0 0 68988 23 0 0 25 0 1 0 772919174 46567424 8787 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8787 1111 63 0 11306 0
vsize: 45476
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 8974 0 0 0 69988 23 0 0 25 0 1 0 772919174 47022080 8898 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8898 1111 63 0 11417 0
vsize: 45920
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9110 0 0 0 70988 23 0 0 25 0 1 0 772919174 47718400 9034 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9034 1111 63 0 11587 0
vsize: 46600
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9227 0 0 0 71988 24 0 0 25 0 1 0 772919174 48144384 9151 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9151 1111 63 0 11691 0
vsize: 47016
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9337 0 0 0 72988 24 0 0 25 0 1 0 772919174 48590848 9261 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9261 1111 63 0 11800 0
vsize: 47452
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9448 0 0 0 73988 24 0 0 25 0 1 0 772919174 49041408 9372 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9372 1111 63 0 11910 0
vsize: 47892
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9565 0 0 0 74988 24 0 0 25 0 1 0 772919174 49491968 9489 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9489 1111 63 0 12020 0
vsize: 48332
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9684 0 0 0 75987 25 0 0 25 0 1 0 772919174 49942528 9608 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9608 1111 63 0 12130 0
vsize: 48772
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9799 0 0 0 76987 25 0 0 25 0 1 0 772919174 50536448 9723 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9723 1111 63 0 12275 0
vsize: 49352
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 9911 0 0 0 77987 25 0 0 25 0 1 0 772919174 50958336 9835 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9835 1111 63 0 12378 0
vsize: 49764
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10028 0 0 0 78987 26 0 0 25 0 1 0 772919174 51408896 9952 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9952 1111 63 0 12488 0
vsize: 50204
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10140 0 0 0 79987 26 0 0 25 0 1 0 772919174 51859456 10064 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10064 1111 63 0 12598 0
vsize: 50644
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10257 0 0 0 80987 26 0 0 25 0 1 0 772919174 52310016 10181 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10181 1111 63 0 12708 0
vsize: 51084
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10373 0 0 0 81987 26 0 0 25 0 1 0 772919174 52760576 10297 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10297 1111 63 0 12818 0
vsize: 51524
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10491 0 0 0 82987 27 0 0 25 0 1 0 772919174 53362688 10415 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10415 1111 63 0 12965 0
vsize: 52112
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10602 0 0 0 83987 27 0 0 25 0 1 0 772919174 53809152 10526 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10526 1111 63 0 13074 0
vsize: 52548
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10720 0 0 0 84987 27 0 0 25 0 1 0 772919174 54259712 10644 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10644 1111 63 0 13184 0
vsize: 52988
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10830 0 0 0 85987 27 0 0 25 0 1 0 772919174 54710272 10754 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10754 1111 63 0 13294 0
vsize: 53428
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 10948 0 0 0 86987 27 0 0 25 0 1 0 772919174 55160832 10872 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10872 1111 63 0 13404 0
vsize: 53868
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11065 0 0 0 87987 28 0 0 25 0 1 0 772919174 55607296 10989 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10989 1111 63 0 13513 0
vsize: 54304
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11183 0 0 0 88987 28 0 0 25 0 1 0 772919174 56057856 11107 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11107 1111 63 0 13623 0
vsize: 54744
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11299 0 0 0 89987 28 0 0 25 0 1 0 772919174 56655872 11223 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11223 1111 63 0 13769 0
vsize: 55328
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11417 0 0 0 90987 28 0 0 25 0 1 0 772919174 57110528 11341 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11341 1111 63 0 13880 0
vsize: 55772
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11534 0 0 0 91987 28 0 0 25 0 1 0 772919174 57552896 11458 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11458 1111 63 0 13988 0
vsize: 56204
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11647 0 0 0 92987 29 0 0 25 0 1 0 772919174 58007552 11571 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11571 1111 63 0 14099 0
vsize: 56648
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11763 0 0 0 93987 29 0 0 25 0 1 0 772919174 58454016 11687 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11687 1111 63 0 14208 0
vsize: 57084
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11880 0 0 0 94987 29 0 0 25 0 1 0 772919174 58908672 11804 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11804 1111 63 0 14319 0
vsize: 57528
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 11997 0 0 0 95987 29 0 0 25 0 1 0 772919174 59502592 11921 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11921 1111 63 0 14464 0
vsize: 58108
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12116 0 0 0 96987 29 0 0 25 0 1 0 772919174 59953152 12040 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12040 1111 63 0 14574 0
vsize: 58548
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12232 0 0 0 97987 29 0 0 25 0 1 0 772919174 60403712 12156 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12156 1111 63 0 14684 0
vsize: 58988
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12344 0 0 0 98987 29 0 0 25 0 1 0 772919174 60854272 12268 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12268 1111 63 0 14794 0
vsize: 59428
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12462 0 0 0 99987 30 0 0 25 0 1 0 772919174 61300736 12386 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12386 1111 63 0 14903 0
vsize: 59864
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12578 0 0 0 100987 30 0 0 25 0 1 0 772919174 61755392 12502 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12502 1111 63 0 15014 0
vsize: 60308
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12697 0 0 0 101987 30 0 0 25 0 1 0 772919174 62353408 12621 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12621 1111 63 0 15160 0
vsize: 60892
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12813 0 0 0 102987 30 0 0 25 0 1 0 772919174 62803968 12737 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12737 1111 63 0 15270 0
vsize: 61332
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 12931 0 0 0 103987 30 0 0 25 0 1 0 772919174 63254528 12855 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12855 1111 63 0 15380 0
vsize: 61772
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13048 0 0 0 104987 30 0 0 25 0 1 0 772919174 63700992 12972 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12972 1111 63 0 15489 0
vsize: 62208
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13167 0 0 0 105987 30 0 0 25 0 1 0 772919174 64155648 13091 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13091 1111 63 0 15600 0
vsize: 62652
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13284 0 0 0 106987 31 0 0 25 0 1 0 772919174 64749568 13208 4294967295 134512640 134714508 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13208 1111 63 0 15745 0
vsize: 63232
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13401 0 0 0 107987 31 0 0 25 0 1 0 772919174 65204224 13325 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13519 0 0 0 108987 31 0 0 25 0 1 0 772919174 65650688 13443 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13443 1111 63 0 15965 0
vsize: 64112
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13644 0 0 0 109987 31 0 0 25 0 1 0 772919174 66105344 13568 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13568 1111 63 0 16076 0
vsize: 64556
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13760 0 0 0 110988 31 0 0 25 0 1 0 772919174 66699264 13684 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13684 1111 63 0 16221 0
vsize: 65136
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13878 0 0 0 111988 31 0 0 25 0 1 0 772919174 67149824 13802 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13802 1111 63 0 16331 0
vsize: 65576
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 13996 0 0 0 112987 32 0 0 25 0 1 0 772919174 67600384 13920 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13920 1111 63 0 16441 0
vsize: 66016
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14115 0 0 0 113987 32 0 0 25 0 1 0 772919174 68050944 14039 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14039 1111 63 0 16551 0
vsize: 66456
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14239 0 0 0 114987 32 0 0 25 0 1 0 772919174 68653056 14163 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14163 1111 63 0 16698 0
vsize: 67044
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14355 0 0 0 115987 32 0 0 25 0 1 0 772919174 69099520 14279 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14279 1111 63 0 16807 0
vsize: 67480
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14474 0 0 0 116987 33 0 0 25 0 1 0 772919174 69550080 14398 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14398 1111 63 0 16917 0
vsize: 67920
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14591 0 0 0 117987 33 0 0 25 0 1 0 772919174 70000640 14515 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14515 1111 63 0 17027 0
vsize: 68360
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14710 0 0 0 118987 33 0 0 25 0 1 0 772919174 70451200 14634 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14634 1111 63 0 17137 0
vsize: 68800
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) R 7494 7266 7265 0 -1 0 14826 0 0 0 119987 33 0 0 25 0 1 0 772919174 71045120 14750 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14750 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.01 1/54 7552
Raw data (stat): 7495 (bsolo_lpr_cuts) Z 7494 7266 7265 0 -1 1036 14826 0 0 0 119987 36 0 0 25 0 1 0 772919174 0 0 4294967295 0 0 0 0 0 0 0 7 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.87
CPU system time (s): 0.366944
CPU usage (%): 100.015
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####