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-n3704.opb
MD5SUM	6f8b2121f6d249fe6e02652d1aab6d14
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	29675972066390
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	29675972066390
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.43378
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 28192

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        290776 kB
Buffers:         25668 kB
Cached:         688156 kB
SwapCached:       3780 kB
Active:          47876 kB
Inactive:       671688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        290524 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:          219632 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            18716 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:17:05 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14055 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.35 1.12 0.98 2/54 15899
Raw data (stat): 15899 (runsolver) R 15898 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776510162 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.0011 s]
Raw data (loadavg): 1.30 1.12 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 776510162 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0014 s]
Raw data (loadavg): 1.25 1.11 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 776510162 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414376 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.0019 s]
Raw data (loadavg): 1.21 1.11 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1508 0 0 0 2993 5 0 0 25 0 1 0 776510162 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414358 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.0024 s]
Raw data (loadavg): 1.18 1.10 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1619 0 0 0 3993 5 0 0 25 0 1 0 776510162 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0031 s]
Raw data (loadavg): 1.15 1.10 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1730 0 0 0 4993 6 0 0 25 0 1 0 776510162 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0034 s]
Raw data (loadavg): 1.13 1.10 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1840 0 0 0 5992 6 0 0 25 0 1 0 776510162 17715200 1764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.0036 s]
Raw data (loadavg): 1.11 1.09 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 1949 0 0 0 6992 7 0 0 25 0 1 0 776510162 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 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.0043 s]
Raw data (loadavg): 1.09 1.09 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2053 0 0 0 7992 7 0 0 25 0 1 0 776510162 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414395 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.0106 s]
Raw data (loadavg): 1.08 1.08 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2162 0 0 0 8993 7 0 0 25 0 1 0 776510162 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.012 s]
Raw data (loadavg): 1.06 1.08 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2277 0 0 0 9992 8 0 0 25 0 1 0 776510162 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.013 s]
Raw data (loadavg): 1.05 1.08 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2381 0 0 0 10992 8 0 0 25 0 1 0 776510162 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414383 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.012 s]
Raw data (loadavg): 1.05 1.08 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2497 0 0 0 11992 9 0 0 25 0 1 0 776510162 20402176 2421 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.013 s]
Raw data (loadavg): 1.04 1.07 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2600 0 0 0 12991 9 0 0 25 0 1 0 776510162 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414426 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.014 s]
Raw data (loadavg): 1.03 1.07 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2710 0 0 0 13990 10 0 0 25 0 1 0 776510162 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.015 s]
Raw data (loadavg): 1.03 1.07 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2819 0 0 0 14990 11 0 0 25 0 1 0 776510162 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414432 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.015 s]
Raw data (loadavg): 1.02 1.06 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 2930 0 0 0 15990 11 0 0 25 0 1 0 776510162 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414360 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.015 s]
Raw data (loadavg): 1.02 1.06 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3039 0 0 0 16989 11 0 0 25 0 1 0 776510162 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.016 s]
Raw data (loadavg): 1.02 1.06 0.98 2/54 15899
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3143 0 0 0 17989 11 0 0 25 0 1 0 776510162 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414393 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.025 s]
Raw data (loadavg): 1.09 1.07 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3265 0 0 0 18986 15 0 0 25 0 1 0 776510162 23662592 3189 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3189 1111 63 0 5714 0
vsize: 23108
[startup+200.025 s]
Raw data (loadavg): 1.07 1.07 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3369 0 0 0 19986 15 0 0 25 0 1 0 776510162 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.025 s]
Raw data (loadavg): 1.06 1.07 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3486 0 0 0 20986 16 0 0 25 0 1 0 776510162 24559616 3410 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3410 1111 63 0 5933 0
vsize: 23984
[startup+220.025 s]
Raw data (loadavg): 1.05 1.06 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3596 0 0 0 21986 16 0 0 25 0 1 0 776510162 25010176 3520 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3520 1111 63 0 6043 0
vsize: 24424
[startup+230.025 s]
Raw data (loadavg): 1.04 1.06 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3706 0 0 0 22986 16 0 0 25 0 1 0 776510162 25460736 3630 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3630 1111 63 0 6153 0
vsize: 24864
[startup+240.025 s]
Raw data (loadavg): 1.04 1.06 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3817 0 0 0 23986 16 0 0 25 0 1 0 776510162 25911296 3741 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3741 1111 63 0 6263 0
vsize: 25304
[startup+250.026 s]
Raw data (loadavg): 1.03 1.06 0.98 2/54 15952
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 3926 0 0 0 24986 16 0 0 25 0 1 0 776510162 26357760 3850 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3850 1111 63 0 6372 0
vsize: 25740
[startup+260.025 s]
Raw data (loadavg): 1.02 1.05 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4038 0 0 0 25986 17 0 0 25 0 1 0 776510162 26804224 3962 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3962 1111 63 0 6481 0
vsize: 26176
[startup+270.026 s]
Raw data (loadavg): 1.02 1.05 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4148 0 0 0 26986 17 0 0 25 0 1 0 776510162 27258880 4072 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4072 1111 63 0 6592 0
vsize: 26620
[startup+280.026 s]
Raw data (loadavg): 1.02 1.05 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4265 0 0 0 27986 17 0 0 25 0 1 0 776510162 27705344 4189 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4189 1111 63 0 6701 0
vsize: 27056
[startup+290.025 s]
Raw data (loadavg): 1.01 1.05 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4374 0 0 0 28986 17 0 0 25 0 1 0 776510162 28160000 4298 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4298 1111 63 0 6812 0
vsize: 27500
[startup+300.027 s]
Raw data (loadavg): 1.01 1.05 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4486 0 0 0 29986 17 0 0 25 0 1 0 776510162 28602368 4410 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4410 1111 63 0 6920 0
vsize: 27932
[startup+310.026 s]
Raw data (loadavg): 1.01 1.04 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4595 0 0 0 30986 18 0 0 25 0 1 0 776510162 29028352 4519 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4519 1111 63 0 7024 0
vsize: 28348
[startup+320.026 s]
Raw data (loadavg): 1.01 1.04 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4706 0 0 0 31986 18 0 0 25 0 1 0 776510162 29474816 4630 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4630 1111 63 0 7133 0
vsize: 28784
[startup+330.026 s]
Raw data (loadavg): 1.01 1.04 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4822 0 0 0 32986 18 0 0 25 0 1 0 776510162 29925376 4746 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4746 1111 63 0 7243 0
vsize: 29224
[startup+340.026 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 4932 0 0 0 33986 18 0 0 25 0 1 0 776510162 30375936 4856 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4856 1111 63 0 7353 0
vsize: 29664
[startup+350.027 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5042 0 0 0 34986 19 0 0 25 0 1 0 776510162 30826496 4966 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4966 1111 63 0 7463 0
vsize: 30104
[startup+360.028 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5170 0 0 0 35986 19 0 0 25 0 1 0 776510162 31461376 5094 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5094 1111 63 0 7618 0
vsize: 30724
[startup+370.027 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5280 0 0 0 36986 19 0 0 25 0 1 0 776510162 31911936 5204 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5204 1111 63 0 7728 0
vsize: 31164
[startup+380.027 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5391 0 0 0 37986 19 0 0 25 0 1 0 776510162 32362496 5315 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5315 1111 63 0 7838 0
vsize: 31604
[startup+390.028 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5501 0 0 0 38986 19 0 0 25 0 1 0 776510162 32813056 5425 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5425 1111 63 0 7948 0
vsize: 32044
[startup+400.028 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5613 0 0 0 39986 20 0 0 25 0 1 0 776510162 33263616 5537 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5537 1111 63 0 8058 0
vsize: 32484
[startup+410.027 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5728 0 0 0 40985 20 0 0 25 0 1 0 776510162 33710080 5652 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5652 1111 63 0 8167 0
vsize: 32920
[startup+420.028 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5839 0 0 0 41985 20 0 0 25 0 1 0 776510162 34160640 5763 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5763 1111 63 0 8277 0
vsize: 33360
[startup+430.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 5956 0 0 0 42985 20 0 0 25 0 1 0 776510162 34611200 5880 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5880 1111 63 0 8387 0
vsize: 33800
[startup+440.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6067 0 0 0 43985 21 0 0 25 0 1 0 776510162 35061760 5991 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5991 1111 63 0 8497 0
vsize: 34240
[startup+450.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6183 0 0 0 44985 21 0 0 25 0 1 0 776510162 35655680 6107 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6107 1111 63 0 8642 0
vsize: 34820
[startup+460.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6294 0 0 0 45985 21 0 0 25 0 1 0 776510162 36110336 6218 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6218 1111 63 0 8753 0
vsize: 35264
[startup+470.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6405 0 0 0 46985 22 0 0 25 0 1 0 776510162 36556800 6329 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6329 1111 63 0 8862 0
vsize: 35700
[startup+480.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6522 0 0 0 47985 22 0 0 25 0 1 0 776510162 37011456 6446 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6446 1111 63 0 8973 0
vsize: 36144
[startup+490.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6633 0 0 0 48985 22 0 0 25 0 1 0 776510162 37453824 6557 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6557 1111 63 0 9081 0
vsize: 36576
[startup+500.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6744 0 0 0 49985 22 0 0 25 0 1 0 776510162 37908480 6668 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 6668 1111 63 0 9192 0
vsize: 37020
[startup+510.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6860 0 0 0 50985 22 0 0 25 0 1 0 776510162 38354944 6784 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6784 1111 63 0 9301 0
vsize: 37456
[startup+520.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 6978 0 0 0 51985 23 0 0 25 0 1 0 776510162 38809600 6902 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 6902 1111 63 0 9412 0
vsize: 37900
[startup+530.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7088 0 0 0 52985 23 0 0 25 0 1 0 776510162 39256064 7012 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7012 1111 63 0 9521 0
vsize: 38336
[startup+540.029 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15954
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7199 0 0 0 53985 23 0 0 25 0 1 0 776510162 39710720 7123 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7123 1111 63 0 9632 0
vsize: 38780
[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7315 0 0 0 54985 23 0 0 25 0 1 0 776510162 40153088 7239 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7239 1111 63 0 9740 0
vsize: 39212
[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7433 0 0 0 55985 23 0 0 25 0 1 0 776510162 40755200 7357 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7357 1111 63 0 9887 0
vsize: 39800
[startup+570.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7543 0 0 0 56985 24 0 0 25 0 1 0 776510162 41205760 7467 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7467 1111 63 0 9997 0
vsize: 40240
[startup+580.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7655 0 0 0 57985 24 0 0 25 0 1 0 776510162 41656320 7579 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7579 1111 63 0 10107 0
vsize: 40680
[startup+590.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7771 0 0 0 58985 24 0 0 25 0 1 0 776510162 42102784 7695 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7695 1111 63 0 10216 0
vsize: 41116
[startup+600.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 7889 0 0 0 59985 24 0 0 25 0 1 0 776510162 42553344 7813 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7813 1111 63 0 10326 0
vsize: 41556
[startup+610.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8005 0 0 0 60985 24 0 0 25 0 1 0 776510162 43003904 7929 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10499 7929 1111 63 0 10436 0
vsize: 41996
[startup+620.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8116 0 0 0 61985 24 0 0 25 0 1 0 776510162 43454464 8040 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10609 8040 1111 63 0 10546 0
vsize: 42436
[startup+630.032 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8226 0 0 0 62985 25 0 0 25 0 1 0 776510162 43900928 8150 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10718 8150 1111 63 0 10655 0
vsize: 42872
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8344 0 0 0 63985 25 0 0 25 0 1 0 776510162 44470272 8268 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8268 1111 63 0 10794 0
vsize: 43428
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8462 0 0 0 64985 25 0 0 25 0 1 0 776510162 44920832 8386 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8386 1111 63 0 10904 0
vsize: 43868
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8578 0 0 0 65985 25 0 0 25 0 1 0 776510162 45371392 8502 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8502 1111 63 0 11014 0
vsize: 44308
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8689 0 0 0 66985 26 0 0 25 0 1 0 776510162 45821952 8613 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11187 8613 1111 63 0 11124 0
vsize: 44748
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8805 0 0 0 67985 26 0 0 25 0 1 0 776510162 46272512 8729 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11297 8729 1111 63 0 11234 0
vsize: 45188
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 8917 0 0 0 68985 26 0 0 25 0 1 0 776510162 46718976 8841 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 8841 1111 63 0 11343 0
vsize: 45624
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9033 0 0 0 69985 26 0 0 25 0 1 0 776510162 47169536 8957 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11516 8957 1111 63 0 11453 0
vsize: 46064
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9170 0 0 0 70985 27 0 0 25 0 1 0 776510162 47853568 9094 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 9094 1111 63 0 11620 0
vsize: 46732
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9286 0 0 0 71984 27 0 0 25 0 1 0 776510162 48439296 9210 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9210 1111 63 0 11763 0
vsize: 47304
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9403 0 0 0 72984 27 0 0 25 0 1 0 776510162 48893952 9327 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9327 1111 63 0 11874 0
vsize: 47748
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9519 0 0 0 73984 27 0 0 25 0 1 0 776510162 49340416 9443 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9443 1111 63 0 11983 0
vsize: 48184
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9633 0 0 0 74984 28 0 0 25 0 1 0 776510162 49795072 9557 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12157 9557 1111 63 0 12094 0
vsize: 48628
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9749 0 0 0 75984 28 0 0 25 0 1 0 776510162 50241536 9673 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12266 9673 1111 63 0 12203 0
vsize: 49064
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9867 0 0 0 76984 28 0 0 25 0 1 0 776510162 50814976 9791 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9791 1111 63 0 12343 0
vsize: 49624
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 9977 0 0 0 77984 28 0 0 25 0 1 0 776510162 51257344 9901 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9901 1111 63 0 12451 0
vsize: 50056
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10095 0 0 0 78984 28 0 0 25 0 1 0 776510162 51712000 10019 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12625 10019 1111 63 0 12562 0
vsize: 50500
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10213 0 0 0 79985 29 0 0 25 0 1 0 776510162 52158464 10137 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12734 10137 1111 63 0 12671 0
vsize: 50936
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10330 0 0 0 80985 29 0 0 25 0 1 0 776510162 52613120 10254 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12845 10254 1111 63 0 12782 0
vsize: 51380
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10446 0 0 0 81984 29 0 0 25 0 1 0 776510162 53055488 10370 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12953 10370 1111 63 0 12890 0
vsize: 51812
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10565 0 0 0 82984 30 0 0 25 0 1 0 776510162 53657600 10489 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10489 1111 63 0 13037 0
vsize: 52400
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10682 0 0 0 83984 30 0 0 25 0 1 0 776510162 54108160 10606 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10606 1111 63 0 13147 0
vsize: 52840
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10800 0 0 0 84984 30 0 0 25 0 1 0 776510162 54558720 10724 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 10724 1111 63 0 13257 0
vsize: 53280
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 10918 0 0 0 85984 30 0 0 25 0 1 0 776510162 55005184 10842 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10842 1111 63 0 13366 0
vsize: 53716
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11035 0 0 0 86984 30 0 0 25 0 1 0 776510162 55455744 10959 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13539 10959 1111 63 0 13476 0
vsize: 54156
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11154 0 0 0 87984 30 0 0 25 0 1 0 776510162 56057856 11078 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11078 1111 63 0 13623 0
vsize: 54744
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11270 0 0 0 88984 31 0 0 25 0 1 0 776510162 56508416 11194 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11194 1111 63 0 13733 0
vsize: 55184
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11388 0 0 0 89984 31 0 0 25 0 1 0 776510162 56958976 11312 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11312 1111 63 0 13843 0
vsize: 55624
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11504 0 0 0 90984 31 0 0 25 0 1 0 776510162 57405440 11428 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14015 11428 1111 63 0 13952 0
vsize: 56060
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11624 0 0 0 91984 32 0 0 25 0 1 0 776510162 57856000 11548 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14125 11548 1111 63 0 14062 0
vsize: 56500
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11740 0 0 0 92984 32 0 0 25 0 1 0 776510162 58454016 11664 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11664 1111 63 0 14208 0
vsize: 57084
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11858 0 0 0 93984 32 0 0 25 0 1 0 776510162 58908672 11782 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11782 1111 63 0 14319 0
vsize: 57528
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 11975 0 0 0 94984 32 0 0 25 0 1 0 776510162 59351040 11899 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11899 1111 63 0 14427 0
vsize: 57960
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12094 0 0 0 95984 32 0 0 25 0 1 0 776510162 59805696 12018 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12018 1111 63 0 14538 0
vsize: 58404
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12211 0 0 0 96984 33 0 0 25 0 1 0 776510162 60252160 12135 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 12135 1111 63 0 14647 0
vsize: 58840
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12329 0 0 0 97984 33 0 0 25 0 1 0 776510162 60854272 12253 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12253 1111 63 0 14794 0
vsize: 59428
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12445 0 0 0 98983 33 0 0 25 0 1 0 776510162 61300736 12369 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12369 1111 63 0 14903 0
vsize: 59864
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12563 0 0 0 99983 34 0 0 25 0 1 0 776510162 61755392 12487 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12487 1111 63 0 15014 0
vsize: 60308
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12682 0 0 0 100983 34 0 0 25 0 1 0 776510162 62201856 12606 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12606 1111 63 0 15123 0
vsize: 60744
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12805 0 0 0 101983 34 0 0 25 0 1 0 776510162 62803968 12729 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12729 1111 63 0 15270 0
vsize: 61332
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 12923 0 0 0 102983 34 0 0 25 0 1 0 776510162 63254528 12847 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12847 1111 63 0 15380 0
vsize: 61772
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13041 0 0 0 103983 34 0 0 25 0 1 0 776510162 63700992 12965 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12965 1111 63 0 15489 0
vsize: 62208
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13166 0 0 0 104983 35 0 0 25 0 1 0 776510162 64155648 13090 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13090 1111 63 0 15600 0
vsize: 62652
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13282 0 0 0 105983 35 0 0 25 0 1 0 776510162 64749568 13206 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13206 1111 63 0 15745 0
vsize: 63232
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13400 0 0 0 106983 35 0 0 25 0 1 0 776510162 65204224 13324 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13324 1111 63 0 15856 0
vsize: 63676
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13518 0 0 0 107983 35 0 0 25 0 1 0 776510162 65650688 13442 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13442 1111 63 0 15965 0
vsize: 64112
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13637 0 0 0 108983 35 0 0 25 0 1 0 776510162 66105344 13561 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13561 1111 63 0 16076 0
vsize: 64556
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13754 0 0 0 109983 36 0 0 25 0 1 0 776510162 66547712 13678 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13678 1111 63 0 16184 0
vsize: 64988
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13878 0 0 0 110983 36 0 0 25 0 1 0 776510162 67149824 13802 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13802 1111 63 0 16331 0
vsize: 65576
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 13996 0 0 0 111983 37 0 0 25 0 1 0 776510162 67600384 13920 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13920 1111 63 0 16441 0
vsize: 66016
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14121 0 0 0 112983 37 0 0 25 0 1 0 776510162 68050944 14045 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14045 1111 63 0 16551 0
vsize: 66456
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14239 0 0 0 113983 37 0 0 25 0 1 0 776510162 68653056 14163 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14163 1111 63 0 16698 0
vsize: 67044
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14356 0 0 0 114982 38 0 0 25 0 1 0 776510162 69099520 14280 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14280 1111 63 0 16807 0
vsize: 67480
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14475 0 0 0 115982 38 0 0 25 0 1 0 776510162 69550080 14399 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14399 1111 63 0 16917 0
vsize: 67920
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14598 0 0 0 116982 38 0 0 25 0 1 0 776510162 70000640 14522 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14522 1111 63 0 17027 0
vsize: 68360
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14724 0 0 0 117982 38 0 0 25 0 1 0 776510162 70598656 14648 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14648 1111 63 0 17173 0
vsize: 68944
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14840 0 0 0 118982 38 0 0 25 0 1 0 776510162 71045120 14764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14764 1111 63 0 17282 0
vsize: 69380
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) R 15898 7266 7265 0 -1 0 14960 0 0 0 119982 39 0 0 25 0 1 0 776510162 71499776 14884 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 14884 1111 63 0 17393 0
vsize: 69824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 15956
Raw data (stat): 15899 (bsolo_lpr_cuts) Z 15898 7266 7265 0 -1 1036 14960 0 0 0 119982 42 0 0 25 0 1 0 776510162 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.24
CPU user time (s): 1199.82
CPU system time (s): 0.421935
CPU usage (%): 100.014
Max. virtual memory (Kb): 69824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####