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-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	29764190431236
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	29764190431236
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.42078
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 26305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 14:59:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14094 boxname=wulflinc13 idbench=1085 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 14094
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925632 kB
Buffers:         34128 kB
Cached:          53756 kB
SwapCached:        584 kB
Active:          67308 kB
Inactive:        23200 kB
HighTotal:      131008 kB
HighFree:        75516 kB
LowTotal:       903652 kB
LowFree:        850116 kB
SwapTotal:     2097136 kB
SwapFree:      2096172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6164 kB
Slab:            12852 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:19:11 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 14094 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 1.14 2/54 1502
Raw data (stat): 1502 (runsolver) R 1501 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772928702 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+9.99964 s]
Raw data (loadavg): 0.94 0.99 1.14 2/54 1502
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 772928702 15511552 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414388 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.0005 s]
Raw data (loadavg): 0.95 0.99 1.14 2/54 1502
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 772928702 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414413 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.0011 s]
Raw data (loadavg): 0.96 0.99 1.13 2/54 1502
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1508 0 0 0 2993 5 0 0 25 0 1 0 772928702 16379904 1432 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.99 1.13 2/54 1502
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1619 0 0 0 3993 5 0 0 25 0 1 0 772928702 16834560 1543 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1543 1111 63 0 4047 0
vsize: 16440
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.99 1.13 2/54 1502
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1730 0 0 0 4993 5 0 0 25 0 1 0 772928702 17264640 1654 4294967295 134512640 134714508 3221224576 3221222804 1077414363 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.0014 s]
Raw data (loadavg): 1.05 1.00 1.13 3/57 1553
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1840 0 0 0 5993 6 0 0 25 0 1 0 772928702 17715200 1764 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1764 1111 63 0 4262 0
vsize: 17300
[startup+70.0019 s]
Raw data (loadavg): 1.04 1.00 1.13 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 1949 0 0 0 6992 6 0 0 25 0 1 0 772928702 18161664 1873 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0022 s]
Raw data (loadavg): 1.04 1.00 1.13 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2053 0 0 0 7992 7 0 0 25 0 1 0 772928702 18616320 1977 4294967295 134512640 134714508 3221224576 3221222804 1077414338 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.0018 s]
Raw data (loadavg): 1.03 1.00 1.13 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2162 0 0 0 8992 7 0 0 25 0 1 0 772928702 19058688 2086 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.002 s]
Raw data (loadavg): 1.03 1.00 1.13 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2277 0 0 0 9992 7 0 0 25 0 1 0 772928702 19501056 2201 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.002 s]
Raw data (loadavg): 1.02 1.00 1.12 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2381 0 0 0 10992 7 0 0 25 0 1 0 772928702 19955712 2305 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.003 s]
Raw data (loadavg): 1.02 1.00 1.12 2/54 1557
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2497 0 0 0 11991 8 0 0 25 0 1 0 772928702 20402176 2421 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2421 1111 63 0 4918 0
vsize: 19924
[startup+130.003 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2600 0 0 0 12991 9 0 0 25 0 1 0 772928702 20856832 2524 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.002 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2710 0 0 0 13990 9 0 0 25 0 1 0 772928702 21299200 2634 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2819 0 0 0 14990 10 0 0 25 0 1 0 772928702 21725184 2743 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 1.11 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 2930 0 0 0 15989 11 0 0 25 0 1 0 772928702 22171648 2854 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2854 1111 63 0 5350 0
vsize: 21652
[startup+170.003 s]
Raw data (loadavg): 1.01 1.00 1.11 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3039 0 0 0 16989 11 0 0 25 0 1 0 772928702 22622208 2963 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2963 1111 63 0 5460 0
vsize: 22092
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3143 0 0 0 17988 12 0 0 25 0 1 0 772928702 23072768 3067 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3265 0 0 0 18988 13 0 0 25 0 1 0 772928702 23662592 3189 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3189 1111 63 0 5714 0
vsize: 23108
[startup+200.003 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3369 0 0 0 19988 13 0 0 25 0 1 0 772928702 24113152 3293 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3479 0 0 0 20988 13 0 0 25 0 1 0 772928702 24559616 3403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3403 1111 63 0 5933 0
vsize: 23984
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3589 0 0 0 21988 14 0 0 25 0 1 0 772928702 25010176 3513 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3699 0 0 0 22987 14 0 0 25 0 1 0 772928702 25460736 3623 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3810 0 0 0 23987 15 0 0 25 0 1 0 772928702 25911296 3734 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 3919 0 0 0 24987 15 0 0 25 0 1 0 772928702 26357760 3843 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4030 0 0 0 25987 15 0 0 25 0 1 0 772928702 26804224 3954 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4140 0 0 0 26986 16 0 0 25 0 1 0 772928702 27258880 4064 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4064 1111 63 0 6592 0
vsize: 26620
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4251 0 0 0 27986 16 0 0 25 0 1 0 772928702 27705344 4175 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4360 0 0 0 28986 17 0 0 25 0 1 0 772928702 28160000 4284 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4470 0 0 0 29986 17 0 0 25 0 1 0 772928702 28602368 4394 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4394 1111 63 0 6920 0
vsize: 27932
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4581 0 0 0 30986 17 0 0 25 0 1 0 772928702 29028352 4505 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4505 1111 63 0 7024 0
vsize: 28348
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4691 0 0 0 31985 18 0 0 25 0 1 0 772928702 29474816 4615 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4615 1111 63 0 7133 0
vsize: 28784
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4800 0 0 0 32985 18 0 0 25 0 1 0 772928702 29925376 4724 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4724 1111 63 0 7243 0
vsize: 29224
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 4911 0 0 0 33985 19 0 0 25 0 1 0 772928702 30375936 4835 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4835 1111 63 0 7353 0
vsize: 29664
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5020 0 0 0 34985 19 0 0 25 0 1 0 772928702 30826496 4944 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4944 1111 63 0 7463 0
vsize: 30104
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5142 0 0 0 35985 19 0 0 25 0 1 0 772928702 31309824 5066 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5066 1111 63 0 7581 0
vsize: 30576
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5251 0 0 0 36985 20 0 0 25 0 1 0 772928702 31760384 5175 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5175 1111 63 0 7691 0
vsize: 31016
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5363 0 0 0 37984 20 0 0 25 0 1 0 772928702 32210944 5287 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5287 1111 63 0 7801 0
vsize: 31456
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5478 0 0 0 38984 21 0 0 25 0 1 0 772928702 32661504 5402 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1559
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5589 0 0 0 39985 21 0 0 25 0 1 0 772928702 33107968 5513 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5513 1111 63 0 8020 0
vsize: 32332
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5699 0 0 0 40984 22 0 0 25 0 1 0 772928702 33558528 5623 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5623 1111 63 0 8130 0
vsize: 32772
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5810 0 0 0 41984 23 0 0 25 0 1 0 772928702 34009088 5734 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5734 1111 63 0 8240 0
vsize: 33212
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 5920 0 0 0 42983 24 0 0 25 0 1 0 772928702 34459648 5844 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5844 1111 63 0 8350 0
vsize: 33652
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6037 0 0 0 43983 24 0 0 25 0 1 0 772928702 35061760 5961 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5961 1111 63 0 8497 0
vsize: 34240
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6141 0 0 0 44982 25 0 0 25 0 1 0 772928702 35360768 6065 4294967295 134512640 134714508 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6065 1111 63 0 8570 0
vsize: 34532
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6258 0 0 0 45982 25 0 0 25 0 1 0 772928702 35958784 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6368 0 0 0 46982 26 0 0 25 0 1 0 772928702 36409344 6292 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6292 1111 63 0 8826 0
vsize: 35556
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6479 0 0 0 47981 27 0 0 25 0 1 0 772928702 36859904 6403 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6594 0 0 0 48981 27 0 0 25 0 1 0 772928702 37306368 6518 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6518 1111 63 0 9045 0
vsize: 36432
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6706 0 0 0 49981 27 0 0 25 0 1 0 772928702 37761024 6630 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6630 1111 63 0 9156 0
vsize: 36876
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6816 0 0 0 50981 28 0 0 25 0 1 0 772928702 38207488 6740 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 6928 0 0 0 51980 29 0 0 25 0 1 0 772928702 38658048 6852 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6852 1111 63 0 9375 0
vsize: 37752
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7037 0 0 0 52979 29 0 0 25 0 1 0 772928702 39108608 6961 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6961 1111 63 0 9485 0
vsize: 38192
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7155 0 0 0 53979 30 0 0 25 0 1 0 772928702 39559168 7079 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7079 1111 63 0 9595 0
vsize: 38632
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7264 0 0 0 54979 30 0 0 25 0 1 0 772928702 40005632 7188 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7188 1111 63 0 9704 0
vsize: 39068
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7376 0 0 0 55979 31 0 0 25 0 1 0 772928702 40456192 7300 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7300 1111 63 0 9814 0
vsize: 39508
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7492 0 0 0 56979 31 0 0 25 0 1 0 772928702 40906752 7416 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7416 1111 63 0 9924 0
vsize: 39948
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7604 0 0 0 57978 32 0 0 25 0 1 0 772928702 41357312 7528 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7528 1111 63 0 10034 0
vsize: 40388
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7713 0 0 0 58978 32 0 0 25 0 1 0 772928702 41803776 7637 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7637 1111 63 0 10143 0
vsize: 40824
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7830 0 0 0 59977 33 0 0 25 0 1 0 772928702 42250240 7754 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7754 1111 63 0 10252 0
vsize: 41260
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 7947 0 0 0 60977 34 0 0 25 0 1 0 772928702 42852352 7871 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7871 1111 63 0 10399 0
vsize: 41848
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8058 0 0 0 61976 34 0 0 25 0 1 0 772928702 43307008 7982 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7982 1111 63 0 10510 0
vsize: 42292
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8168 0 0 0 62976 35 0 0 25 0 1 0 772928702 43753472 8092 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8092 1111 63 0 10619 0
vsize: 42728
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8285 0 0 0 63975 35 0 0 25 0 1 0 772928702 44183552 8209 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8209 1111 63 0 10724 0
vsize: 43148
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.05 3/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8395 0 0 0 64975 36 0 0 25 0 1 0 772928702 44621824 8319 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8319 1111 63 0 10831 0
vsize: 43576
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8506 0 0 0 65975 36 0 0 25 0 1 0 772928702 45072384 8430 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8430 1111 63 0 10941 0
vsize: 44016
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8622 0 0 0 66974 37 0 0 25 0 1 0 772928702 45522944 8546 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8546 1111 63 0 11051 0
vsize: 44456
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8739 0 0 0 67974 37 0 0 25 0 1 0 772928702 45973504 8663 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8663 1111 63 0 11161 0
vsize: 44896
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8849 0 0 0 68974 38 0 0 25 0 1 0 772928702 46419968 8773 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8773 1111 63 0 11270 0
vsize: 45332
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 8960 0 0 0 69974 38 0 0 25 0 1 0 772928702 46874624 8884 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8884 1111 63 0 11381 0
vsize: 45776
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9095 0 0 0 70974 38 0 0 25 0 1 0 772928702 47579136 9019 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9019 1111 63 0 11553 0
vsize: 46464
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9213 0 0 0 71974 39 0 0 25 0 1 0 772928702 48144384 9137 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9137 1111 63 0 11691 0
vsize: 47016
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9323 0 0 0 72973 39 0 0 25 0 1 0 772928702 48590848 9247 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9247 1111 63 0 11800 0
vsize: 47452
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9440 0 0 0 73973 40 0 0 25 0 1 0 772928702 49041408 9364 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9364 1111 63 0 11910 0
vsize: 47892
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9551 0 0 0 74973 40 0 0 25 0 1 0 772928702 49491968 9475 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9475 1111 63 0 12020 0
vsize: 48332
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9669 0 0 0 75973 40 0 0 25 0 1 0 772928702 49942528 9593 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9593 1111 63 0 12130 0
vsize: 48772
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9785 0 0 0 76973 41 0 0 25 0 1 0 772928702 50388992 9709 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9709 1111 63 0 12239 0
vsize: 49208
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 9896 0 0 0 77972 42 0 0 25 0 1 0 772928702 50814976 9820 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9820 1111 63 0 12343 0
vsize: 49624
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10012 0 0 0 78971 43 0 0 25 0 1 0 772928702 51408896 9936 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9936 1111 63 0 12488 0
vsize: 50204
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10125 0 0 0 79971 43 0 0 25 0 1 0 772928702 51859456 10049 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10241 0 0 0 80971 43 0 0 25 0 1 0 772928702 52310016 10165 4294967295 134512640 134714508 3221224576 3221223232 134527956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10359 0 0 0 81970 44 0 0 25 0 1 0 772928702 52760576 10283 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10283 1111 63 0 12818 0
vsize: 51524
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10476 0 0 0 82970 45 0 0 25 0 1 0 772928702 53207040 10400 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10587 0 0 0 83969 45 0 0 25 0 1 0 772928702 53657600 10511 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10511 1111 63 0 13037 0
vsize: 52400
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10706 0 0 0 84969 46 0 0 25 0 1 0 772928702 54108160 10630 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10630 1111 63 0 13147 0
vsize: 52840
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10816 0 0 0 85968 47 0 0 25 0 1 0 772928702 54558720 10740 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13320 10740 1111 63 0 13257 0
vsize: 53280
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 10933 0 0 0 86968 47 0 0 25 0 1 0 772928702 55160832 10857 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11050 0 0 0 87968 48 0 0 25 0 1 0 772928702 55607296 10974 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10974 1111 63 0 13513 0
vsize: 54304
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11169 0 0 0 88967 49 0 0 25 0 1 0 772928702 56057856 11093 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11093 1111 63 0 13623 0
vsize: 54744
[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11285 0 0 0 89967 49 0 0 25 0 1 0 772928702 56508416 11209 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11209 1111 63 0 13733 0
vsize: 55184
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11402 0 0 0 90966 50 0 0 25 0 1 0 772928702 56958976 11326 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11326 1111 63 0 13843 0
vsize: 55624
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11519 0 0 0 91966 50 0 0 25 0 1 0 772928702 57552896 11443 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11443 1111 63 0 13988 0
vsize: 56204
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11632 0 0 0 92966 50 0 0 25 0 1 0 772928702 58007552 11556 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11556 1111 63 0 14099 0
vsize: 56648
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11748 0 0 0 93965 51 0 0 25 0 1 0 772928702 58454016 11672 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11672 1111 63 0 14208 0
vsize: 57084
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11866 0 0 0 94965 52 0 0 25 0 1 0 772928702 58908672 11790 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11790 1111 63 0 14319 0
vsize: 57528
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 11982 0 0 0 95964 52 0 0 25 0 1 0 772928702 59351040 11906 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11906 1111 63 0 14427 0
vsize: 57960
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12094 0 0 0 96964 53 0 0 25 0 1 0 772928702 59805696 12018 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12018 1111 63 0 14538 0
vsize: 58404
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12212 0 0 0 97964 53 0 0 25 0 1 0 772928702 60252160 12136 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14710 12136 1111 63 0 14647 0
vsize: 58840
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12329 0 0 0 98963 54 0 0 25 0 1 0 772928702 60854272 12253 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12253 1111 63 0 14794 0
vsize: 59428
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12446 0 0 0 99963 54 0 0 25 0 1 0 772928702 61300736 12370 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12370 1111 63 0 14903 0
vsize: 59864
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12563 0 0 0 100963 55 0 0 25 0 1 0 772928702 61755392 12487 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12487 1111 63 0 15014 0
vsize: 60308
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12682 0 0 0 101963 55 0 0 25 0 1 0 772928702 62201856 12606 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12606 1111 63 0 15123 0
vsize: 60744
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12798 0 0 0 102962 56 0 0 25 0 1 0 772928702 62652416 12722 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12722 1111 63 0 15233 0
vsize: 61184
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 12916 0 0 0 103962 56 0 0 25 0 1 0 772928702 63254528 12840 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12840 1111 63 0 15380 0
vsize: 61772
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13033 0 0 0 104962 57 0 0 25 0 1 0 772928702 63700992 12957 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12957 1111 63 0 15489 0
vsize: 62208
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13152 0 0 0 105961 58 0 0 25 0 1 0 772928702 64155648 13076 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13076 1111 63 0 15600 0
vsize: 62652
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13269 0 0 0 106960 58 0 0 25 0 1 0 772928702 64602112 13193 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13193 1111 63 0 15709 0
vsize: 63088
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13386 0 0 0 107960 59 0 0 25 0 1 0 772928702 65052672 13310 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15882 13310 1111 63 0 15819 0
vsize: 63528
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13504 0 0 0 108959 60 0 0 25 0 1 0 772928702 65650688 13428 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13428 1111 63 0 15965 0
vsize: 64112
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13623 0 0 0 109959 60 0 0 25 0 1 0 772928702 66105344 13547 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13547 1111 63 0 16076 0
vsize: 64556
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13739 0 0 0 110959 61 0 0 25 0 1 0 772928702 66547712 13663 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13663 1111 63 0 16184 0
vsize: 64988
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13857 0 0 0 111959 61 0 0 25 0 1 0 772928702 67002368 13781 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16358 13781 1111 63 0 16295 0
vsize: 65432
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 13974 0 0 0 112959 62 0 0 25 0 1 0 772928702 67448832 13898 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16467 13898 1111 63 0 16404 0
vsize: 65868
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14098 0 0 0 113959 62 0 0 25 0 1 0 772928702 68050944 14022 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14022 1111 63 0 16551 0
vsize: 66456
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14216 0 0 0 114960 62 0 0 25 0 1 0 772928702 68497408 14140 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14140 1111 63 0 16660 0
vsize: 66892
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14334 0 0 0 115959 63 0 0 25 0 1 0 772928702 68947968 14258 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14258 1111 63 0 16770 0
vsize: 67332
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14453 0 0 0 116959 63 0 0 25 0 1 0 772928702 69398528 14377 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14377 1111 63 0 16880 0
vsize: 67772
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14576 0 0 0 117959 64 0 0 25 0 1 0 772928702 70000640 14500 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14500 1111 63 0 17027 0
vsize: 68360
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14695 0 0 0 118958 64 0 0 25 0 1 0 772928702 70451200 14619 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14619 1111 63 0 17137 0
vsize: 68800
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) R 1501 1269 1268 0 -1 0 14811 0 0 0 119958 65 0 0 25 0 1 0 772928702 70897664 14735 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17309 14735 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1561
Raw data (stat): 1502 (bsolo_lpr_cuts) Z 1501 1269 1268 0 -1 1036 14811 0 0 0 119958 68 0 0 25 0 1 0 772928702 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.07
CPU time (s): 1200.27
CPU user time (s): 1199.58
CPU system time (s): 0.681896
CPU usage (%): 100.016
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####