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-n3700.opb
MD5SUM	bc3b48d8361bf44c5b17a3bc4d19364a
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	29631666774144
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	29631666774144
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 15:17:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14003 boxname=wulflinc1 idbench=1078 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bc3b48d8361bf44c5b17a3bc4d19364a  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3700.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3700.opb
IDLAUNCH: 14003
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        616876 kB
Buffers:         38308 kB
Cached:         348000 kB
SwapCached:          0 kB
Active:          89136 kB
Inactive:       300284 kB
HighTotal:      131008 kB
HighFree:        62048 kB
LowTotal:       903652 kB
LowFree:        554828 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:          178532 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            22560 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:38:05 (client local time) WITH STATUS 0 IN 1209.88 SECONDS
stats: 14003 7 1209.88 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): 1.60 1.16 1.08 2/55 8695
Raw data (stat): 8695 (runsolver) R 8694 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716178384 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.51 1.15 1.08 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1286 0 9 0 956 7 0 0 25 0 1 0 716178384 15511552 1219 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0008 s]
Raw data (loadavg): 1.43 1.14 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1396 0 9 0 1956 7 0 0 25 0 1 0 716178384 15941632 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0007 s]
Raw data (loadavg): 1.36 1.14 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1499 0 9 0 2955 8 0 0 25 0 1 0 716178384 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414432 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.0014 s]
Raw data (loadavg): 1.31 1.13 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1609 0 9 0 3955 8 0 0 25 0 1 0 716178384 16834560 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.0011 s]
Raw data (loadavg): 1.26 1.13 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1721 0 9 0 4955 8 0 0 25 0 1 0 716178384 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.0009 s]
Raw data (loadavg): 1.22 1.12 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1825 0 9 0 5955 8 0 0 25 0 1 0 716178384 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414349 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.0007 s]
Raw data (loadavg): 1.18 1.12 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 1940 0 9 0 6955 8 0 0 25 0 1 0 716178384 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.0015 s]
Raw data (loadavg): 1.16 1.12 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2044 0 9 0 7955 8 0 0 25 0 1 0 716178384 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414385 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.0013 s]
Raw data (loadavg): 1.13 1.11 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2153 0 9 0 8955 9 0 0 25 0 1 0 716178384 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.001 s]
Raw data (loadavg): 1.11 1.11 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2268 0 9 0 9955 9 0 0 25 0 1 0 716178384 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 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.09 1.10 1.07 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2372 0 9 0 10955 9 0 0 25 0 1 0 716178384 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.08 1.10 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2482 0 9 0 11955 9 0 0 25 0 1 0 716178384 20402176 2415 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2415 1111 63 0 4918 0
vsize: 19924
[startup+130.003 s]
Raw data (loadavg): 1.07 1.10 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2591 0 9 0 12955 9 0 0 25 0 1 0 716178384 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 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.003 s]
Raw data (loadavg): 1.06 1.09 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2701 0 9 0 13955 10 0 0 25 0 1 0 716178384 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.05 1.09 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2810 0 9 0 14955 10 0 0 25 0 1 0 716178384 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.04 1.08 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 2921 0 9 0 15955 10 0 0 25 0 1 0 716178384 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.03 1.08 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3030 0 9 0 16955 10 0 0 25 0 1 0 716178384 22622208 2963 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.002 s]
Raw data (loadavg): 1.03 1.08 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3134 0 9 0 17955 10 0 0 25 0 1 0 716178384 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.02 1.08 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3249 0 9 0 18955 11 0 0 25 0 1 0 716178384 23662592 3182 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3182 1111 63 0 5714 0
vsize: 23108
[startup+200.003 s]
Raw data (loadavg): 1.02 1.07 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3360 0 9 0 19955 11 0 0 25 0 1 0 716178384 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.02 1.07 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3470 0 9 0 20955 11 0 0 25 0 1 0 716178384 24559616 3403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.01 1.07 1.06 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3580 0 9 0 21955 11 0 0 25 0 1 0 716178384 25010176 3513 4294967295 134512640 134714508 3221224592 3221222820 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.01 1.06 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3690 0 9 0 22955 12 0 0 25 0 1 0 716178384 25460736 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.01 1.06 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3801 0 9 0 23955 12 0 0 25 0 1 0 716178384 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414376 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.01 1.06 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 3910 0 9 0 24955 12 0 0 25 0 1 0 716178384 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.005 s]
Raw data (loadavg): 1.00 1.06 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4021 0 9 0 25955 12 0 0 25 0 1 0 716178384 26804224 3954 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.05 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4131 0 9 0 26955 13 0 0 25 0 1 0 716178384 27258880 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.05 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4242 0 9 0 27955 13 0 0 25 0 1 0 716178384 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414410 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.007 s]
Raw data (loadavg): 1.00 1.05 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4351 0 9 0 28955 13 0 0 25 0 1 0 716178384 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 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.006 s]
Raw data (loadavg): 1.00 1.05 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4461 0 9 0 29955 13 0 0 25 0 1 0 716178384 28602368 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.006 s]
Raw data (loadavg): 1.00 1.05 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4572 0 9 0 30955 14 0 0 25 0 1 0 716178384 29028352 4505 4294967295 134512640 134714508 3221224592 3221222820 1077414408 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.007 s]
Raw data (loadavg): 1.00 1.04 1.05 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4682 0 9 0 31955 14 0 0 25 0 1 0 716178384 29474816 4615 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.04 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4791 0 9 0 32954 14 0 0 25 0 1 0 716178384 29925376 4724 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.04 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 4902 0 9 0 33954 14 0 0 25 0 1 0 716178384 30375936 4835 4294967295 134512640 134714508 3221224592 3221222820 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.04 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5011 0 9 0 34954 14 0 0 25 0 1 0 716178384 30826496 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.007 s]
Raw data (loadavg): 1.00 1.04 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5133 0 9 0 35954 15 0 0 25 0 1 0 716178384 31309824 5066 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.006 s]
Raw data (loadavg): 1.00 1.04 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5248 0 9 0 36954 15 0 0 25 0 1 0 716178384 31760384 5181 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5181 1111 63 0 7691 0
vsize: 31016
[startup+380.007 s]
Raw data (loadavg): 1.00 1.03 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5354 0 9 0 37954 15 0 0 25 0 1 0 716178384 32210944 5287 4294967295 134512640 134714508 3221224592 3221222820 1077414385 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.03 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5469 0 9 0 38954 15 0 0 25 0 1 0 716178384 32661504 5402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.007 s]
Raw data (loadavg): 1.00 1.03 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5580 0 9 0 39954 16 0 0 25 0 1 0 716178384 33107968 5513 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.007 s]
Raw data (loadavg): 1.00 1.03 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5690 0 9 0 40954 16 0 0 25 0 1 0 716178384 33558528 5623 4294967295 134512640 134714508 3221224592 3221222820 1077414410 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.006 s]
Raw data (loadavg): 1.00 1.03 1.04 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5801 0 9 0 41954 16 0 0 25 0 1 0 716178384 34009088 5734 4294967295 134512640 134714508 3221224592 3221222820 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.006 s]
Raw data (loadavg): 1.00 1.03 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 5911 0 9 0 42954 16 0 0 25 0 1 0 716178384 34459648 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.006 s]
Raw data (loadavg): 1.00 1.03 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6028 0 9 0 43954 17 0 0 25 0 1 0 716178384 35061760 5961 4294967295 134512640 134714508 3221224592 3221222820 1077414360 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6132 0 9 0 44953 17 0 0 25 0 1 0 716178384 35360768 6065 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6249 0 9 0 45953 17 0 0 25 0 1 0 716178384 35958784 6182 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.007 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6359 0 9 0 46953 18 0 0 25 0 1 0 716178384 36409344 6292 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6470 0 9 0 47953 18 0 0 25 0 1 0 716178384 36859904 6403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6586 0 9 0 48953 18 0 0 25 0 1 0 716178384 37306368 6519 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6519 1111 63 0 9045 0
vsize: 36432
[startup+500.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6697 0 9 0 49953 19 0 0 25 0 1 0 716178384 37761024 6630 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6807 0 9 0 50953 19 0 0 25 0 1 0 716178384 38207488 6740 4294967295 134512640 134714508 3221224592 3221222820 1077414358 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.006 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 6925 0 9 0 51953 19 0 0 25 0 1 0 716178384 38658048 6858 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6858 1111 63 0 9375 0
vsize: 37752
[startup+530.006 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7034 0 9 0 52953 19 0 0 25 0 1 0 716178384 39108608 6967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6967 1111 63 0 9485 0
vsize: 38192
[startup+540.007 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7146 0 9 0 53953 19 0 0 25 0 1 0 716178384 39559168 7079 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7262 0 9 0 54953 20 0 0 25 0 1 0 716178384 40005632 7195 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7195 1111 63 0 9704 0
vsize: 39068
[startup+560.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7374 0 9 0 55953 20 0 0 25 0 1 0 716178384 40456192 7307 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7307 1111 63 0 9814 0
vsize: 39508
[startup+570.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7483 0 9 0 56953 20 0 0 25 0 1 0 716178384 40906752 7416 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7601 0 9 0 57953 20 0 0 25 0 1 0 716178384 41357312 7534 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7534 1111 63 0 10034 0
vsize: 40388
[startup+590.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7711 0 9 0 58953 20 0 0 25 0 1 0 716178384 41803776 7644 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7644 1111 63 0 10143 0
vsize: 40824
[startup+600.008 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7822 0 9 0 59953 20 0 0 25 0 1 0 716178384 42250240 7755 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7755 1111 63 0 10252 0
vsize: 41260
[startup+610.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 7938 0 9 0 60953 21 0 0 25 0 1 0 716178384 42852352 7871 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8049 0 9 0 61952 21 0 0 25 0 1 0 716178384 43307008 7982 4294967295 134512640 134714508 3221224592 3221222820 1077414383 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.007 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8159 0 9 0 62953 21 0 0 25 0 1 0 716178384 43753472 8092 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.008 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8276 0 9 0 63953 21 0 0 25 0 1 0 716178384 44183552 8209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.008 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8393 0 9 0 64953 21 0 0 25 0 1 0 716178384 44621824 8326 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8326 1111 63 0 10831 0
vsize: 43576
[startup+660.008 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8504 0 9 0 65953 22 0 0 25 0 1 0 716178384 45072384 8437 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8437 1111 63 0 10941 0
vsize: 44016
[startup+670.009 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8614 0 9 0 66953 22 0 0 25 0 1 0 716178384 45522944 8547 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8547 1111 63 0 11051 0
vsize: 44456
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8731 0 9 0 67953 22 0 0 25 0 1 0 716178384 45973504 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8664 1111 63 0 11161 0
vsize: 44896
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8846 0 9 0 68953 22 0 0 25 0 1 0 716178384 46567424 8779 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8779 1111 63 0 11306 0
vsize: 45476
[startup+700.009 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 8958 0 9 0 69953 23 0 0 25 0 1 0 716178384 47022080 8891 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8891 1111 63 0 11417 0
vsize: 45920
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9086 0 9 0 70952 23 0 0 25 0 1 0 716178384 47579136 9019 4294967295 134512640 134714508 3221224592 3221222820 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.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9204 0 9 0 71952 23 0 0 25 0 1 0 716178384 48144384 9137 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9320 0 9 0 72953 23 0 0 25 0 1 0 716178384 48590848 9253 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9253 1111 63 0 11800 0
vsize: 47452
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9431 0 9 0 73952 24 0 0 25 0 1 0 716178384 49041408 9364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9548 0 9 0 74952 24 0 0 25 0 1 0 716178384 49491968 9481 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9481 1111 63 0 12020 0
vsize: 48332
[startup+760.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9661 0 9 0 75952 24 0 0 25 0 1 0 716178384 49942528 9594 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9594 1111 63 0 12130 0
vsize: 48772
[startup+770.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9776 0 9 0 76952 24 0 0 25 0 1 0 716178384 50388992 9709 4294967295 134512640 134714508 3221224592 3221223248 134527946 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.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 9894 0 9 0 77952 24 0 0 25 0 1 0 716178384 50958336 9827 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9827 1111 63 0 12378 0
vsize: 49764
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10004 0 9 0 78952 25 0 0 25 0 1 0 716178384 51408896 9937 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9937 1111 63 0 12488 0
vsize: 50204
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10123 0 9 0 79952 25 0 0 25 0 1 0 716178384 51859456 10056 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10056 1111 63 0 12598 0
vsize: 50644
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10233 0 9 0 80952 25 0 0 25 0 1 0 716178384 52310016 10166 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10166 1111 63 0 12708 0
vsize: 51084
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10350 0 9 0 81952 25 0 0 25 0 1 0 716178384 52760576 10283 4294967295 134512640 134714508 3221224592 3221222820 1077414408 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.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10468 0 9 0 82952 26 0 0 25 0 1 0 716178384 53207040 10401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10401 1111 63 0 12927 0
vsize: 51960
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10585 0 9 0 83952 26 0 0 25 0 1 0 716178384 53657600 10518 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10518 1111 63 0 13037 0
vsize: 52400
[startup+850.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10703 0 9 0 84952 26 0 0 25 0 1 0 716178384 54259712 10636 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10636 1111 63 0 13184 0
vsize: 52988
[startup+860.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10813 0 9 0 85952 26 0 0 25 0 1 0 716178384 54710272 10746 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10746 1111 63 0 13294 0
vsize: 53428
[startup+870.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 10931 0 9 0 86952 26 0 0 25 0 1 0 716178384 55160832 10864 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10864 1111 63 0 13404 0
vsize: 53868
[startup+880.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11042 0 9 0 87952 26 0 0 25 0 1 0 716178384 55607296 10975 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10975 1111 63 0 13513 0
vsize: 54304
[startup+890.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11160 0 9 0 88952 26 0 0 25 0 1 0 716178384 56057856 11093 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11276 0 9 0 89952 26 0 0 25 0 1 0 716178384 56508416 11209 4294967295 134512640 134714508 3221224592 3221222820 1077414395 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.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11394 0 9 0 90952 27 0 0 25 0 1 0 716178384 56958976 11327 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11327 1111 63 0 13843 0
vsize: 55624
[startup+920.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11511 0 9 0 91952 27 0 0 25 0 1 0 716178384 57552896 11444 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11444 1111 63 0 13988 0
vsize: 56204
[startup+930.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11630 0 9 0 92952 27 0 0 25 0 1 0 716178384 58007552 11563 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11563 1111 63 0 14099 0
vsize: 56648
[startup+940.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11746 0 9 0 93952 28 0 0 25 0 1 0 716178384 58454016 11679 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11679 1111 63 0 14208 0
vsize: 57084
[startup+950.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11863 0 9 0 94952 28 0 0 25 0 1 0 716178384 58908672 11796 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11796 1111 63 0 14319 0
vsize: 57528
[startup+960.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 11973 0 9 0 95952 28 0 0 25 0 1 0 716178384 59351040 11906 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12092 0 9 0 96952 28 0 0 25 0 1 0 716178384 59805696 12025 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12025 1111 63 0 14538 0
vsize: 58404
[startup+980.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12209 0 9 0 97952 28 0 0 25 0 1 0 716178384 60403712 12142 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12142 1111 63 0 14684 0
vsize: 58988
[startup+990.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12327 0 9 0 98952 28 0 0 25 0 1 0 716178384 60854272 12260 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12260 1111 63 0 14794 0
vsize: 59428
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12443 0 9 0 99952 29 0 0 25 0 1 0 716178384 61300736 12376 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12376 1111 63 0 14903 0
vsize: 59864
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12561 0 9 0 100952 29 0 0 25 0 1 0 716178384 61755392 12494 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12494 1111 63 0 15014 0
vsize: 60308
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12680 0 9 0 101952 29 0 0 25 0 1 0 716178384 62201856 12613 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12613 1111 63 0 15123 0
vsize: 60744
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12796 0 9 0 102952 29 0 0 25 0 1 0 716178384 62803968 12729 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12729 1111 63 0 15270 0
vsize: 61332
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 12914 0 9 0 103952 29 0 0 25 0 1 0 716178384 63254528 12847 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12847 1111 63 0 15380 0
vsize: 61772
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13031 0 9 0 104952 29 0 0 25 0 1 0 716178384 63700992 12964 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12964 1111 63 0 15489 0
vsize: 62208
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13150 0 9 0 105952 30 0 0 25 0 1 0 716178384 64155648 13083 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13083 1111 63 0 15600 0
vsize: 62652
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13266 0 9 0 106952 30 0 0 25 0 1 0 716178384 64602112 13199 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13199 1111 63 0 15709 0
vsize: 63088
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13384 0 9 0 107952 30 0 0 25 0 1 0 716178384 65204224 13317 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13317 1111 63 0 15856 0
vsize: 63676
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13502 0 9 0 108952 30 0 0 25 0 1 0 716178384 65650688 13435 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13435 1111 63 0 15965 0
vsize: 64112
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13621 0 9 0 109952 30 0 0 25 0 1 0 716178384 66105344 13554 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13554 1111 63 0 16076 0
vsize: 64556
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13737 0 9 0 110952 31 0 0 25 0 1 0 716178384 66547712 13670 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13670 1111 63 0 16184 0
vsize: 64988
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13861 0 9 0 111952 31 0 0 25 0 1 0 716178384 67149824 13794 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13794 1111 63 0 16331 0
vsize: 65576
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 13979 0 9 0 112952 31 0 0 25 0 1 0 716178384 67600384 13912 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13912 1111 63 0 16441 0
vsize: 66016
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14097 0 9 0 113952 31 0 0 25 0 1 0 716178384 68050944 14030 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14030 1111 63 0 16551 0
vsize: 66456
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14214 0 9 0 114952 31 0 0 25 0 1 0 716178384 68497408 14147 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14147 1111 63 0 16660 0
vsize: 66892
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14332 0 9 0 115952 31 0 0 25 0 1 0 716178384 68947968 14265 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14265 1111 63 0 16770 0
vsize: 67332
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14451 0 9 0 116952 32 0 0 25 0 1 0 716178384 69550080 14384 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14384 1111 63 0 16917 0
vsize: 67920
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14568 0 9 0 117952 32 0 0 25 0 1 0 716178384 70000640 14501 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14501 1111 63 0 17027 0
vsize: 68360
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14687 0 9 0 118952 32 0 0 25 0 1 0 716178384 70451200 14620 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14620 1111 63 0 17137 0
vsize: 68800
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14809 0 9 0 119952 33 0 0 25 0 1 0 716178384 70897664 14742 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17309 14742 1111 63 0 17246 0
vsize: 69236
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) R 8694 8378 8377 0 -1 0 14928 0 9 0 120951 33 0 0 25 0 1 0 716178384 71499776 14861 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17456 14861 1111 63 0 17393 0
vsize: 69824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8695
Raw data (stat): 8695 (bsolo_lpr_cuts) Z 8694 8378 8377 0 -1 1036 14928 0 9 0 120951 36 0 0 25 0 1 0 716178384 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.05
CPU time (s): 1209.88
CPU user time (s): 1209.52
CPU system time (s): 0.363944
CPU usage (%): 99.9865
Max. virtual memory (Kb): 69824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####