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-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	29593306649763
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	29593306649763
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.43278
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 26328

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917228 kB
Buffers:         35984 kB
Cached:          57572 kB
SwapCached:        624 kB
Active:          68304 kB
Inactive:        27732 kB
HighTotal:      131008 kB
HighFree:        73360 kB
LowTotal:       903652 kB
LowFree:        843868 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15728 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:22:18 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 14068 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.94 0.99 1.11 2/54 4898
Raw data (stat): 4898 (runsolver) R 4897 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831160149 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.95 0.99 1.10 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1295 0 0 0 993 5 0 0 25 0 1 0 831160149 15511552 1219 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.99 1.10 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 831160149 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414370 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.0013 s]
Raw data (loadavg): 0.96 0.99 1.10 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1508 0 0 0 2992 6 0 0 25 0 1 0 831160149 16379904 1432 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0016 s]
Raw data (loadavg): 0.97 0.99 1.10 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1618 0 0 0 3991 7 0 0 25 0 1 0 831160149 16834560 1542 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.99 1.10 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1730 0 0 0 4991 7 0 0 25 0 1 0 831160149 17264640 1654 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0034 s]
Raw data (loadavg): 0.98 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1834 0 0 0 5991 8 0 0 25 0 1 0 831160149 17715200 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0027 s]
Raw data (loadavg): 0.98 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 1942 0 0 0 6990 9 0 0 25 0 1 0 831160149 18161664 1866 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1866 1111 63 0 4371 0
vsize: 17736
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2053 0 0 0 7989 9 0 0 25 0 1 0 831160149 18616320 1977 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2155 0 0 0 8989 10 0 0 25 0 1 0 831160149 19058688 2079 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2079 1111 63 0 4590 0
vsize: 18612
[startup+100.005 s]
Raw data (loadavg): 0.99 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2270 0 0 0 9989 10 0 0 25 0 1 0 831160149 19501056 2194 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2194 1111 63 0 4698 0
vsize: 19044
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2380 0 0 0 10989 11 0 0 25 0 1 0 831160149 19955712 2304 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2304 1111 63 0 4809 0
vsize: 19488
[startup+120.007 s]
Raw data (loadavg): 0.99 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2484 0 0 0 11989 11 0 0 25 0 1 0 831160149 20402176 2408 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2408 1111 63 0 4918 0
vsize: 19924
[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 1.09 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2593 0 0 0 12988 11 0 0 25 0 1 0 831160149 20856832 2517 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2517 1111 63 0 5029 0
vsize: 20368
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2703 0 0 0 13988 12 0 0 25 0 1 0 831160149 21299200 2627 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2627 1111 63 0 5137 0
vsize: 20800
[startup+150.009 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2812 0 0 0 14988 12 0 0 25 0 1 0 831160149 21725184 2736 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2736 1111 63 0 5241 0
vsize: 21216
[startup+160.009 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 2922 0 0 0 15988 12 0 0 25 0 1 0 831160149 22171648 2846 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2846 1111 63 0 5350 0
vsize: 21652
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3025 0 0 0 16988 13 0 0 25 0 1 0 831160149 22622208 2949 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2949 1111 63 0 5460 0
vsize: 22092
[startup+180.01 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3135 0 0 0 17987 13 0 0 25 0 1 0 831160149 23072768 3059 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3059 1111 63 0 5570 0
vsize: 22532
[startup+190.01 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3251 0 0 0 18987 14 0 0 25 0 1 0 831160149 23511040 3175 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 3175 1111 63 0 5677 0
vsize: 22960
[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4898
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3360 0 0 0 19986 14 0 0 25 0 1 0 831160149 23957504 3284 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 3284 1111 63 0 5786 0
vsize: 23396
[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3470 0 0 0 20986 15 0 0 25 0 1 0 831160149 24408064 3394 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3394 1111 63 0 5896 0
vsize: 23836
[startup+220.012 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3574 0 0 0 21985 16 0 0 25 0 1 0 831160149 24858624 3498 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3498 1111 63 0 6006 0
vsize: 24276
[startup+230.014 s]
Raw data (loadavg): 0.99 0.99 1.08 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3691 0 0 0 22986 16 0 0 25 0 1 0 831160149 25309184 3615 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3615 1111 63 0 6116 0
vsize: 24716
[startup+240.014 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3794 0 0 0 23985 16 0 0 25 0 1 0 831160149 25759744 3718 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 3718 1111 63 0 6226 0
vsize: 25156
[startup+250.015 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 3905 0 0 0 24985 17 0 0 25 0 1 0 831160149 26210304 3829 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6399 3829 1111 63 0 6336 0
vsize: 25596
[startup+260.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4015 0 0 0 25985 17 0 0 25 0 1 0 831160149 26656768 3939 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 3939 1111 63 0 6445 0
vsize: 26032
[startup+270.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4125 0 0 0 26985 17 0 0 25 0 1 0 831160149 27107328 4049 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6618 4049 1111 63 0 6555 0
vsize: 26472
[startup+280.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4235 0 0 0 27984 18 0 0 25 0 1 0 831160149 27557888 4159 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6728 4159 1111 63 0 6665 0
vsize: 26912
[startup+290.017 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4352 0 0 0 28985 18 0 0 25 0 1 0 831160149 28008448 4276 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4276 1111 63 0 6775 0
vsize: 27352
[startup+300.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4455 0 0 0 29984 18 0 0 25 0 1 0 831160149 28454912 4379 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6947 4379 1111 63 0 6884 0
vsize: 27788
[startup+310.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4573 0 0 0 30984 18 0 0 25 0 1 0 831160149 29028352 4497 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4497 1111 63 0 7024 0
vsize: 28348
[startup+320.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4682 0 0 0 31984 19 0 0 25 0 1 0 831160149 29474816 4606 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4606 1111 63 0 7133 0
vsize: 28784
[startup+330.016 s]
Raw data (loadavg): 0.99 0.99 1.07 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4793 0 0 0 32984 19 0 0 25 0 1 0 831160149 29925376 4717 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4717 1111 63 0 7243 0
vsize: 29224
[startup+340.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 4902 0 0 0 33984 19 0 0 25 0 1 0 831160149 30375936 4826 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4826 1111 63 0 7353 0
vsize: 29664
[startup+350.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5013 0 0 0 34984 20 0 0 25 0 1 0 831160149 30826496 4937 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4937 1111 63 0 7463 0
vsize: 30104
[startup+360.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5133 0 0 0 35984 20 0 0 25 0 1 0 831160149 31309824 5057 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5057 1111 63 0 7581 0
vsize: 30576
[startup+370.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5244 0 0 0 36984 20 0 0 25 0 1 0 831160149 31760384 5168 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5168 1111 63 0 7691 0
vsize: 31016
[startup+380.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5360 0 0 0 37984 20 0 0 25 0 1 0 831160149 32210944 5284 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5284 1111 63 0 7801 0
vsize: 31456
[startup+390.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5471 0 0 0 38984 20 0 0 25 0 1 0 831160149 32661504 5395 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5395 1111 63 0 7911 0
vsize: 31896
[startup+400.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5581 0 0 0 39983 21 0 0 25 0 1 0 831160149 33107968 5505 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5505 1111 63 0 8020 0
vsize: 32332
[startup+410.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5698 0 0 0 40983 21 0 0 25 0 1 0 831160149 33558528 5622 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5622 1111 63 0 8130 0
vsize: 32772
[startup+420.015 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5803 0 0 0 41983 21 0 0 25 0 1 0 831160149 34009088 5727 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5727 1111 63 0 8240 0
vsize: 33212
[startup+430.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 5920 0 0 0 42983 21 0 0 25 0 1 0 831160149 34459648 5844 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5844 1111 63 0 8350 0
vsize: 33652
[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 1.06 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6031 0 0 0 43983 22 0 0 25 0 1 0 831160149 34906112 5955 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 5955 1111 63 0 8459 0
vsize: 34088
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6141 0 0 0 44983 22 0 0 25 0 1 0 831160149 35360768 6065 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 6065 1111 63 0 8570 0
vsize: 34532
[startup+460.016 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6258 0 0 0 45983 22 0 0 25 0 1 0 831160149 35958784 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.016 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6368 0 0 0 46983 23 0 0 25 0 1 0 831160149 36409344 6292 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6292 1111 63 0 8826 0
vsize: 35556
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6479 0 0 0 47983 23 0 0 25 0 1 0 831160149 36859904 6403 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.016 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6595 0 0 0 48983 23 0 0 25 0 1 0 831160149 37306368 6519 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6519 1111 63 0 9045 0
vsize: 36432
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6707 0 0 0 49983 23 0 0 25 0 1 0 831160149 37761024 6631 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6631 1111 63 0 9156 0
vsize: 36876
[startup+510.017 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6816 0 0 0 50983 24 0 0 25 0 1 0 831160149 38207488 6740 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.016 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 6934 0 0 0 51982 24 0 0 25 0 1 0 831160149 38658048 6858 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6858 1111 63 0 9375 0
vsize: 37752
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7044 0 0 0 52983 24 0 0 25 0 1 0 831160149 39108608 6968 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6968 1111 63 0 9485 0
vsize: 38192
[startup+540.017 s]
Raw data (loadavg): 0.99 0.99 1.05 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7156 0 0 0 53983 24 0 0 25 0 1 0 831160149 39559168 7080 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7080 1111 63 0 9595 0
vsize: 38632
[startup+550.017 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7271 0 0 0 54982 25 0 0 25 0 1 0 831160149 40005632 7195 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7195 1111 63 0 9704 0
vsize: 39068
[startup+560.017 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7389 0 0 0 55982 25 0 0 25 0 1 0 831160149 40456192 7313 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7313 1111 63 0 9814 0
vsize: 39508
[startup+570.017 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7499 0 0 0 56982 25 0 0 25 0 1 0 831160149 40906752 7423 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7423 1111 63 0 9924 0
vsize: 39948
[startup+580.017 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7611 0 0 0 57982 25 0 0 25 0 1 0 831160149 41357312 7535 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7535 1111 63 0 10034 0
vsize: 40388
[startup+590.017 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7727 0 0 0 58982 25 0 0 25 0 1 0 831160149 41951232 7651 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7651 1111 63 0 10179 0
vsize: 40968
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7838 0 0 0 59982 26 0 0 25 0 1 0 831160149 42405888 7762 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7762 1111 63 0 10290 0
vsize: 41412
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 7949 0 0 0 60982 26 0 0 25 0 1 0 831160149 42852352 7873 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7873 1111 63 0 10399 0
vsize: 41848
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8066 0 0 0 61982 26 0 0 25 0 1 0 831160149 43307008 7990 4294967295 134512640 134714508 3221224576 3221222804 1077414388 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.016 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8182 0 0 0 62982 27 0 0 25 0 1 0 831160149 43753472 8106 4294967295 134512640 134714508 3221224576 3221222804 1077414338 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.016 s]
Raw data (loadavg): 0.99 0.99 1.04 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8293 0 0 0 63982 27 0 0 25 0 1 0 831160149 44183552 8217 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8217 1111 63 0 10724 0
vsize: 43148
[startup+650.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8409 0 0 0 64981 27 0 0 25 0 1 0 831160149 44621824 8333 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8333 1111 63 0 10831 0
vsize: 43576
[startup+660.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8521 0 0 0 65981 28 0 0 25 0 1 0 831160149 45072384 8445 4294967295 134512640 134714508 3221224576 3221222804 1077414413 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.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8636 0 0 0 66981 28 0 0 25 0 1 0 831160149 45670400 8560 4294967295 134512640 134714508 3221224576 3221222804 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.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8754 0 0 0 67981 28 0 0 25 0 1 0 831160149 46125056 8678 4294967295 134512640 134714508 3221224576 3221222804 1077414345 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.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8864 0 0 0 68981 28 0 0 25 0 1 0 831160149 46567424 8788 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8788 1111 63 0 11306 0
vsize: 45476
[startup+700.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 8975 0 0 0 69981 28 0 0 25 0 1 0 831160149 47022080 8899 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8899 1111 63 0 11417 0
vsize: 45920
[startup+710.017 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9111 0 0 0 70981 28 0 0 25 0 1 0 831160149 47718400 9035 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9035 1111 63 0 11587 0
vsize: 46600
[startup+720.017 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9228 0 0 0 71981 29 0 0 25 0 1 0 831160149 48144384 9152 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9152 1111 63 0 11691 0
vsize: 47016
[startup+730.016 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9344 0 0 0 72982 29 0 0 25 0 1 0 831160149 48590848 9268 4294967295 134512640 134714508 3221224576 3221222928 134566708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9268 1111 63 0 11800 0
vsize: 47452
[startup+740.018 s]
Raw data (loadavg): 0.99 0.99 1.03 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9455 0 0 0 73982 29 0 0 25 0 1 0 831160149 49041408 9379 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9379 1111 63 0 11910 0
vsize: 47892
[startup+750.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9572 0 0 0 74981 29 0 0 25 0 1 0 831160149 49491968 9496 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9496 1111 63 0 12020 0
vsize: 48332
[startup+760.016 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9684 0 0 0 75981 30 0 0 25 0 1 0 831160149 49942528 9608 4294967295 134512640 134714508 3221224576 3221222804 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.016 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9800 0 0 0 76981 30 0 0 25 0 1 0 831160149 50536448 9724 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9724 1111 63 0 12275 0
vsize: 49352
[startup+780.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 9918 0 0 0 77981 30 0 0 25 0 1 0 831160149 50958336 9842 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9842 1111 63 0 12378 0
vsize: 49764
[startup+790.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10035 0 0 0 78981 30 0 0 25 0 1 0 831160149 51408896 9959 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9959 1111 63 0 12488 0
vsize: 50204
[startup+800.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10153 0 0 0 79981 30 0 0 25 0 1 0 831160149 51859456 10077 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10077 1111 63 0 12598 0
vsize: 50644
[startup+810.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10265 0 0 0 80981 31 0 0 25 0 1 0 831160149 52310016 10189 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10189 1111 63 0 12708 0
vsize: 51084
[startup+820.017 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10381 0 0 0 81981 31 0 0 25 0 1 0 831160149 52908032 10305 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10305 1111 63 0 12854 0
vsize: 51668
[startup+830.016 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10492 0 0 0 82981 31 0 0 25 0 1 0 831160149 53362688 10416 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10416 1111 63 0 12965 0
vsize: 52112
[startup+840.016 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10610 0 0 0 83981 31 0 0 25 0 1 0 831160149 53809152 10534 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10534 1111 63 0 13074 0
vsize: 52548
[startup+850.016 s]
Raw data (loadavg): 0.99 0.99 1.02 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10728 0 0 0 84981 32 0 0 25 0 1 0 831160149 54259712 10652 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10652 1111 63 0 13184 0
vsize: 52988
[startup+860.016 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10844 0 0 0 85980 32 0 0 25 0 1 0 831160149 54710272 10768 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10768 1111 63 0 13294 0
vsize: 53428
[startup+870.015 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 10962 0 0 0 86980 32 0 0 25 0 1 0 831160149 55160832 10886 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10886 1111 63 0 13404 0
vsize: 53868
[startup+880.016 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11079 0 0 0 87980 33 0 0 25 0 1 0 831160149 55754752 11003 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 11003 1111 63 0 13549 0
vsize: 54448
[startup+890.016 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11197 0 0 0 88980 33 0 0 25 0 1 0 831160149 56209408 11121 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13723 11121 1111 63 0 13660 0
vsize: 54892
[startup+900.015 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11313 0 0 0 89980 33 0 0 25 0 1 0 831160149 56655872 11237 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11237 1111 63 0 13769 0
vsize: 55328
[startup+910.016 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11425 0 0 0 90980 33 0 0 25 0 1 0 831160149 57110528 11349 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11349 1111 63 0 13880 0
vsize: 55772
[startup+920.016 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11542 0 0 0 91980 33 0 0 25 0 1 0 831160149 57552896 11466 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11466 1111 63 0 13988 0
vsize: 56204
[startup+930.017 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11661 0 0 0 92980 34 0 0 25 0 1 0 831160149 58007552 11585 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11585 1111 63 0 14099 0
vsize: 56648
[startup+940.017 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11777 0 0 0 93980 34 0 0 25 0 1 0 831160149 58605568 11701 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11701 1111 63 0 14245 0
vsize: 57232
[startup+950.017 s]
Raw data (loadavg): 0.99 0.99 1.01 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 11895 0 0 0 94980 34 0 0 25 0 1 0 831160149 59056128 11819 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11819 1111 63 0 14355 0
vsize: 57672
[startup+960.017 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12012 0 0 0 95980 34 0 0 25 0 1 0 831160149 59502592 11936 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11936 1111 63 0 14464 0
vsize: 58108
[startup+970.016 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12131 0 0 0 96980 35 0 0 25 0 1 0 831160149 59953152 12055 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12055 1111 63 0 14574 0
vsize: 58548
[startup+980.018 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12249 0 0 0 97979 35 0 0 25 0 1 0 831160149 60403712 12173 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12173 1111 63 0 14684 0
vsize: 58988
[startup+990.021 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12365 0 0 0 98980 35 0 0 25 0 1 0 831160149 61005824 12289 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12289 1111 63 0 14831 0
vsize: 59576
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12483 0 0 0 99980 36 0 0 25 0 1 0 831160149 61456384 12407 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12407 1111 63 0 14941 0
vsize: 60016
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12599 0 0 0 100980 36 0 0 25 0 1 0 831160149 61902848 12523 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12523 1111 63 0 15050 0
vsize: 60452
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12718 0 0 0 101980 36 0 0 25 0 1 0 831160149 62353408 12642 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12642 1111 63 0 15160 0
vsize: 60892
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12834 0 0 0 102980 37 0 0 25 0 1 0 831160149 62803968 12758 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12758 1111 63 0 15270 0
vsize: 61332
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 12952 0 0 0 103981 37 0 0 25 0 1 0 831160149 63406080 12876 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15480 12876 1111 63 0 15417 0
vsize: 61920
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13070 0 0 0 104981 37 0 0 25 0 1 0 831160149 63848448 12994 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12994 1111 63 0 15525 0
vsize: 62352
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13189 0 0 0 105982 37 0 0 25 0 1 0 831160149 64303104 13113 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13113 1111 63 0 15636 0
vsize: 62796
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13305 0 0 0 106982 37 0 0 25 0 1 0 831160149 64749568 13229 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13229 1111 63 0 15745 0
vsize: 63232
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13429 0 0 0 107982 38 0 0 25 0 1 0 831160149 65351680 13353 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15955 13353 1111 63 0 15892 0
vsize: 63820
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13546 0 0 0 108982 38 0 0 25 0 1 0 831160149 65798144 13470 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13470 1111 63 0 16001 0
vsize: 64256
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13665 0 0 0 109981 38 0 0 25 0 1 0 831160149 66248704 13589 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13589 1111 63 0 16111 0
vsize: 64696
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13782 0 0 0 110982 38 0 0 25 0 1 0 831160149 66699264 13706 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13706 1111 63 0 16221 0
vsize: 65136
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 13900 0 0 0 111981 38 0 0 25 0 1 0 831160149 67149824 13824 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13824 1111 63 0 16331 0
vsize: 65576
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14019 0 0 0 112981 39 0 0 25 0 1 0 831160149 67751936 13943 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13943 1111 63 0 16478 0
vsize: 66164
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14137 0 0 0 113981 39 0 0 25 0 1 0 831160149 68198400 14061 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14061 1111 63 0 16587 0
vsize: 66600
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14255 0 0 0 114981 39 0 0 25 0 1 0 831160149 68653056 14179 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14179 1111 63 0 16698 0
vsize: 67044
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14377 0 0 0 115981 39 0 0 25 0 1 0 831160149 69099520 14301 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14301 1111 63 0 16807 0
vsize: 67480
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14497 0 0 0 116981 39 0 0 25 0 1 0 831160149 69701632 14421 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14421 1111 63 0 16954 0
vsize: 68068
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14619 0 0 0 117981 40 0 0 25 0 1 0 831160149 70148096 14543 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14543 1111 63 0 17063 0
vsize: 68504
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14738 0 0 0 118982 40 0 0 25 0 1 0 831160149 70598656 14662 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14662 1111 63 0 17173 0
vsize: 68944
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) R 4897 4613 4612 0 -1 0 14855 0 0 0 119981 40 0 0 25 0 1 0 831160149 71045120 14779 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14779 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.99 1.00 1/54 4900
Raw data (stat): 4898 (bsolo_lpr_cuts) Z 4897 4613 4612 0 -1 1036 14855 0 0 0 119981 43 0 0 25 0 1 0 831160149 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.08
CPU time (s): 1200.25
CPU user time (s): 1199.82
CPU system time (s): 0.433934
CPU usage (%): 100.015
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####