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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39244285251
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39244285251
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.963853
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 26964

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 18:24:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19008 boxname=wulflinc5 idbench=1463 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c5e85fef75cd61b11166b8854f4a9cf3  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3701.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3701.opb
IDLAUNCH: 19008
/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:        844480 kB
Buffers:         12144 kB
Cached:         156404 kB
SwapCached:        636 kB
Active:          36516 kB
Inactive:       134632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        844228 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5760 kB
Slab:            13468 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:44:44 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19008 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (runsolver) R 10337 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774155795 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99978 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 1158 0 0 0 994 3 0 0 25 0 1 0 774155795 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+19.9995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 1398 0 0 0 1993 4 0 0 25 0 1 0 774155795 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+29.9993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 1648 0 0 0 2993 5 0 0 25 0 1 0 774155795 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+39.999 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 1890 0 0 0 3992 6 0 0 25 0 1 0 774155795 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+49.9998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 2137 0 0 0 4992 6 0 0 25 0 1 0 774155795 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+60 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 2390 0 0 0 5991 7 0 0 25 0 1 0 774155795 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+69.9993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 2637 0 0 0 6990 8 0 0 25 0 1 0 774155795 22114304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 2561 1111 63 0 5336 0
vsize: 21596
[startup+80 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 2884 0 0 0 7990 9 0 0 25 0 1 0 774155795 23240704 2808 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2808 1111 63 0 5611 0
vsize: 22696
[startup+89.9998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 3132 0 0 0 8989 10 0 0 25 0 1 0 774155795 24227840 3056 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3056 1111 63 0 5852 0
vsize: 23660
[startup+100.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 3380 0 0 0 9988 11 0 0 25 0 1 0 774155795 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 3628 0 0 0 10988 11 0 0 25 0 1 0 774155795 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 3883 0 0 0 11987 12 0 0 25 0 1 0 774155795 27348992 3807 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3807 1111 63 0 6614 0
vsize: 26708
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 4131 0 0 0 12986 14 0 0 25 0 1 0 774155795 28336128 4055 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6918 4055 1111 63 0 6855 0
vsize: 27672
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 4379 0 0 0 13985 14 0 0 25 0 1 0 774155795 29315072 4303 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 4303 1111 63 0 7094 0
vsize: 28628
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 4634 0 0 0 14985 14 0 0 25 0 1 0 774155795 30302208 4558 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7398 4558 1111 63 0 7335 0
vsize: 29592
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 4882 0 0 0 15985 15 0 0 25 0 1 0 774155795 31428608 4806 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4806 1111 63 0 7610 0
vsize: 30692
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 5137 0 0 0 16984 16 0 0 25 0 1 0 774155795 32415744 5061 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5061 1111 63 0 7851 0
vsize: 31656
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 5386 0 0 0 17984 16 0 0 25 0 1 0 774155795 33402880 5310 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5310 1111 63 0 8092 0
vsize: 32620
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 5640 0 0 0 18983 17 0 0 25 0 1 0 774155795 34529280 5564 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8430 5564 1111 63 0 8367 0
vsize: 33720
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 5895 0 0 0 19983 18 0 0 25 0 1 0 774155795 35516416 5819 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8671 5819 1111 63 0 8608 0
vsize: 34684
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 6142 0 0 0 20982 18 0 0 25 0 1 0 774155795 36495360 6066 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 6066 1111 63 0 8847 0
vsize: 35640
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 6396 0 0 0 21981 19 0 0 25 0 1 0 774155795 37625856 6320 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6320 1111 63 0 9123 0
vsize: 36744
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 6662 0 0 0 22981 20 0 0 25 0 1 0 774155795 38760448 6586 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6586 1111 63 0 9400 0
vsize: 37852
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 6916 0 0 0 23980 21 0 0 25 0 1 0 774155795 39747584 6840 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9704 6840 1111 63 0 9641 0
vsize: 38816
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 7172 0 0 0 24979 22 0 0 25 0 1 0 774155795 40734720 7096 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9945 7096 1111 63 0 9882 0
vsize: 39780
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 7428 0 0 0 25978 23 0 0 25 0 1 0 774155795 41861120 7352 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7352 1111 63 0 10157 0
vsize: 40880
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 7682 0 0 0 26978 24 0 0 25 0 1 0 774155795 42848256 7606 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10461 7606 1111 63 0 10398 0
vsize: 41844
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 7938 0 0 0 27977 25 0 0 25 0 1 0 774155795 43974656 7862 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7862 1111 63 0 10673 0
vsize: 42944
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 8192 0 0 0 28977 25 0 0 25 0 1 0 774155795 44957696 8116 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 8116 1111 63 0 10913 0
vsize: 43904
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 8453 0 0 0 29976 26 0 0 25 0 1 0 774155795 46084096 8377 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11251 8377 1111 63 0 11188 0
vsize: 45004
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 8716 0 0 0 30975 26 0 0 25 0 1 0 774155795 47071232 8640 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8640 1111 63 0 11429 0
vsize: 45968
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 8971 0 0 0 31974 27 0 0 25 0 1 0 774155795 48197632 8895 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 8895 1111 63 0 11704 0
vsize: 47068
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 9227 0 0 0 32974 28 0 0 25 0 1 0 774155795 49184768 9151 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12008 9151 1111 63 0 11945 0
vsize: 48032
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 9489 0 0 0 33973 29 0 0 25 0 1 0 774155795 50311168 9413 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12283 9413 1111 63 0 12220 0
vsize: 49132
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 9750 0 0 0 34973 30 0 0 25 0 1 0 774155795 51298304 9674 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12524 9674 1111 63 0 12461 0
vsize: 50096
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 10013 0 0 0 35972 30 0 0 25 0 1 0 774155795 52424704 9937 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12799 9937 1111 63 0 12736 0
vsize: 51196
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 10273 0 0 0 36971 31 0 0 25 0 1 0 774155795 53403648 10197 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13038 10197 1111 63 0 12975 0
vsize: 52152
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 10535 0 0 0 37971 32 0 0 25 0 1 0 774155795 54530048 10459 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13313 10459 1111 63 0 13250 0
vsize: 53252
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 10798 0 0 0 38970 33 0 0 25 0 1 0 774155795 55656448 10722 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13588 10722 1111 63 0 13525 0
vsize: 54352
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 11060 0 0 0 39969 34 0 0 25 0 1 0 774155795 56643584 10984 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13829 10984 1111 63 0 13766 0
vsize: 55316
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 11321 0 0 0 40969 34 0 0 25 0 1 0 774155795 57774080 11245 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14105 11245 1111 63 0 14042 0
vsize: 56420
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 11583 0 0 0 41968 35 0 0 25 0 1 0 774155795 58757120 11507 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14345 11507 1111 63 0 14282 0
vsize: 57380
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 11845 0 0 0 42968 36 0 0 25 0 1 0 774155795 59883520 11769 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14620 11769 1111 63 0 14557 0
vsize: 58480
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 12124 0 0 0 43967 37 0 0 25 0 1 0 774155795 61091840 12048 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14915 12048 1111 63 0 14852 0
vsize: 59660
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 12393 0 0 0 44966 38 0 0 25 0 1 0 774155795 62218240 12317 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15190 12317 1111 63 0 15127 0
vsize: 60760
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 12661 0 0 0 45965 39 0 0 25 0 1 0 774155795 63340544 12585 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15464 12585 1111 63 0 15401 0
vsize: 61856
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 12922 0 0 0 46965 39 0 0 25 0 1 0 774155795 64466944 12846 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15739 12846 1111 63 0 15676 0
vsize: 62956
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 13191 0 0 0 47964 40 0 0 25 0 1 0 774155795 65454080 13115 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 13115 1111 63 0 15917 0
vsize: 63920
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 13460 0 0 0 48963 41 0 0 25 0 1 0 774155795 66580480 13384 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16255 13384 1111 63 0 16192 0
vsize: 65020
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 13724 0 0 0 49963 42 0 0 25 0 1 0 774155795 67706880 13648 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16530 13648 1111 63 0 16467 0
vsize: 66120
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 13998 0 0 0 50962 43 0 0 25 0 1 0 774155795 68833280 13922 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16805 13922 1111 63 0 16742 0
vsize: 67220
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 14261 0 0 0 51961 44 0 0 25 0 1 0 774155795 69820416 14185 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17046 14185 1111 63 0 16983 0
vsize: 68184
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 14537 0 0 0 52960 45 0 0 25 0 1 0 774155795 70946816 14461 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17321 14461 1111 63 0 17258 0
vsize: 69284
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 14806 0 0 0 53960 45 0 0 25 0 1 0 774155795 72073216 14730 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17596 14730 1111 63 0 17533 0
vsize: 70384
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 15074 0 0 0 54959 46 0 0 25 0 1 0 774155795 73199616 14998 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17871 14998 1111 63 0 17808 0
vsize: 71484
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 15350 0 0 0 55959 47 0 0 25 0 1 0 774155795 74326016 15274 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 15274 1111 63 0 18083 0
vsize: 72584
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 15620 0 0 0 56958 47 0 0 25 0 1 0 774155795 75452416 15544 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15544 1111 63 0 18358 0
vsize: 73684
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 15895 0 0 0 57958 48 0 0 25 0 1 0 774155795 76578816 15819 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18696 15819 1111 63 0 18633 0
vsize: 74784
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 16164 0 0 0 58957 49 0 0 25 0 1 0 774155795 77701120 16088 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18970 16088 1111 63 0 18907 0
vsize: 75880
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 16439 0 0 0 59956 50 0 0 25 0 1 0 774155795 78827520 16363 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16363 1111 63 0 19182 0
vsize: 76980
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 16715 0 0 0 60956 51 0 0 25 0 1 0 774155795 79953920 16639 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16639 1111 63 0 19457 0
vsize: 78080
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 16991 0 0 0 61955 51 0 0 25 0 1 0 774155795 81080320 16915 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19795 16915 1111 63 0 19732 0
vsize: 79180
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 17267 0 0 0 62955 52 0 0 25 0 1 0 774155795 82206720 17191 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17191 1111 63 0 20007 0
vsize: 80280
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 17550 0 0 0 63954 53 0 0 25 0 1 0 774155795 83333120 17474 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20345 17474 1111 63 0 20282 0
vsize: 81380
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 17832 0 0 0 64953 54 0 0 25 0 1 0 774155795 84459520 17756 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20620 17756 1111 63 0 20557 0
vsize: 82480
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 18108 0 0 0 65952 55 0 0 25 0 1 0 774155795 85590016 18032 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18032 1111 63 0 20833 0
vsize: 83584
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 18397 0 0 0 66951 56 0 0 25 0 1 0 774155795 86716416 18321 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18321 1111 63 0 21108 0
vsize: 84684
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 18680 0 0 0 67950 57 0 0 25 0 1 0 774155795 87982080 18604 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21480 18604 1111 63 0 21417 0
vsize: 85920
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 18964 0 0 0 68950 57 0 0 25 0 1 0 774155795 89108480 18888 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 18888 1111 63 0 21692 0
vsize: 87020
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 19252 0 0 0 69950 58 0 0 25 0 1 0 774155795 90234880 19176 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 19176 1111 63 0 21967 0
vsize: 88120
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 19535 0 0 0 70949 58 0 0 25 0 1 0 774155795 91361280 19459 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22305 19459 1111 63 0 22242 0
vsize: 89220
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 19825 0 0 0 71951 59 0 0 25 0 1 0 774155795 92631040 19749 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22615 19749 1111 63 0 22552 0
vsize: 90460
[startup+730.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 20115 0 0 0 72952 60 0 0 25 0 1 0 774155795 93757440 20039 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22890 20039 1111 63 0 22827 0
vsize: 91560
[startup+740.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 20404 0 0 0 73951 61 0 0 25 0 1 0 774155795 95023104 20328 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23199 20328 1111 63 0 23136 0
vsize: 92796
[startup+750.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 20693 0 0 0 74951 61 0 0 25 0 1 0 774155795 96149504 20617 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 20617 1111 63 0 23411 0
vsize: 93896
[startup+760.058 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 20984 0 0 0 75950 62 0 0 25 0 1 0 774155795 97275904 20908 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23749 20908 1111 63 0 23686 0
vsize: 94996
[startup+770.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 21279 0 0 0 76950 63 0 0 25 0 1 0 774155795 98541568 21203 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24058 21203 1111 63 0 23995 0
vsize: 96232
[startup+780.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 21569 0 0 0 77950 63 0 0 25 0 1 0 774155795 99672064 21493 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24334 21493 1111 63 0 24271 0
vsize: 97336
[startup+790.062 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 21859 0 0 0 78950 64 0 0 25 0 1 0 774155795 100937728 21783 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 21783 1111 63 0 24580 0
vsize: 98572
[startup+800.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 22148 0 0 0 79949 64 0 0 25 0 1 0 774155795 102064128 22072 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24918 22072 1111 63 0 24855 0
vsize: 99672
[startup+810.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 22445 0 0 0 80949 65 0 0 25 0 1 0 774155795 103329792 22369 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25227 22369 1111 63 0 25164 0
vsize: 100908
[startup+820.062 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 22740 0 0 0 81949 65 0 0 25 0 1 0 774155795 104456192 22664 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25502 22664 1111 63 0 25439 0
vsize: 102008
[startup+830.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 23067 0 0 0 82949 66 0 0 25 0 1 0 774155795 106098688 22991 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25903 22991 1111 63 0 25840 0
vsize: 103612
[startup+840.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 23358 0 0 0 83948 66 0 0 25 0 1 0 774155795 107352064 23282 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26209 23282 1111 63 0 26146 0
vsize: 104836
[startup+850.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 23655 0 0 0 84948 67 0 0 25 0 1 0 774155795 108478464 23579 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26484 23579 1111 63 0 26421 0
vsize: 105936
[startup+860.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 23952 0 0 0 85948 67 0 0 25 0 1 0 774155795 109744128 23876 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26793 23876 1111 63 0 26730 0
vsize: 107172
[startup+870.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 24248 0 0 0 86947 67 0 0 25 0 1 0 774155795 110870528 24172 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27068 24172 1111 63 0 27005 0
vsize: 108272
[startup+880.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 24552 0 0 0 87947 68 0 0 25 0 1 0 774155795 112140288 24476 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27378 24476 1111 63 0 27315 0
vsize: 109512
[startup+890.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 24854 0 0 0 88947 69 0 0 25 0 1 0 774155795 113405952 24778 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27687 24778 1111 63 0 27624 0
vsize: 110748
[startup+900.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 25152 0 0 0 89947 69 0 0 25 0 1 0 774155795 114671616 25076 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27996 25076 1111 63 0 27933 0
vsize: 111984
[startup+910.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 25448 0 0 0 90946 70 0 0 25 0 1 0 774155795 115802112 25372 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 25372 1111 63 0 28209 0
vsize: 113088
[startup+920.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 25751 0 0 0 91946 70 0 0 25 0 1 0 774155795 117067776 25675 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 25675 1111 63 0 28518 0
vsize: 114324
[startup+930.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 26054 0 0 0 92945 71 0 0 25 0 1 0 774155795 118333440 25978 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28890 25978 1111 63 0 28827 0
vsize: 115560
[startup+940.063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 26357 0 0 0 93945 71 0 0 25 0 1 0 774155795 119599104 26281 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29199 26281 1111 63 0 29136 0
vsize: 116796
[startup+950.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 26661 0 0 0 94945 71 0 0 25 0 1 0 774155795 120725504 26585 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29474 26585 1111 63 0 29411 0
vsize: 117896
[startup+960.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 26964 0 0 0 95945 72 0 0 25 0 1 0 774155795 121995264 26888 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29784 26888 1111 63 0 29721 0
vsize: 119136
[startup+970.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 27268 0 0 0 96944 72 0 0 25 0 1 0 774155795 123260928 27192 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30093 27192 1111 63 0 30030 0
vsize: 120372
[startup+980.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 27577 0 0 0 97944 73 0 0 25 0 1 0 774155795 124526592 27501 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30402 27501 1111 63 0 30339 0
vsize: 121608
[startup+990.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 27882 0 0 0 98943 74 0 0 25 0 1 0 774155795 125792256 27806 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30711 27806 1111 63 0 30648 0
vsize: 122844
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 28191 0 0 0 99943 74 0 0 25 0 1 0 774155795 127062016 28115 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31021 28115 1111 63 0 30958 0
vsize: 124084
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 28494 0 0 0 100942 75 0 0 25 0 1 0 774155795 128327680 28418 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31330 28418 1111 63 0 31267 0
vsize: 125320
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 28805 0 0 0 101942 76 0 0 25 0 1 0 774155795 129597440 28729 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31640 28729 1111 63 0 31577 0
vsize: 126560
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 29114 0 0 0 102942 76 0 0 25 0 1 0 774155795 130863104 29038 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31949 29038 1111 63 0 31886 0
vsize: 127796
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 29419 0 0 0 103941 77 0 0 25 0 1 0 774155795 131989504 29343 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32224 29343 1111 63 0 32161 0
vsize: 128896
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 29734 0 0 0 104941 78 0 0 25 0 1 0 774155795 133394432 29658 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32567 29658 1111 63 0 32504 0
vsize: 130268
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 30040 0 0 0 105940 78 0 0 25 0 1 0 774155795 134520832 29964 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32842 29964 1111 63 0 32779 0
vsize: 131368
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 30356 0 0 0 106940 79 0 0 25 0 1 0 774155795 135933952 30280 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33187 30280 1111 63 0 33124 0
vsize: 132748
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 30667 0 0 0 107940 79 0 0 25 0 1 0 774155795 137203712 30591 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33497 30591 1111 63 0 33434 0
vsize: 133988
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 30977 0 0 0 108940 80 0 0 25 0 1 0 774155795 138469376 30901 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33806 30901 1111 63 0 33743 0
vsize: 135224
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 31293 0 0 0 109939 80 0 0 25 0 1 0 774155795 139735040 31217 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34115 31217 1111 63 0 34052 0
vsize: 136460
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 31611 0 0 0 110939 81 0 0 25 0 1 0 774155795 141000704 31535 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34424 31535 1111 63 0 34361 0
vsize: 137696
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 31926 0 0 0 111938 81 0 0 25 0 1 0 774155795 142270464 31850 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34734 31850 1111 63 0 34671 0
vsize: 138936
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 32245 0 0 0 112938 82 0 0 25 0 1 0 774155795 143536128 32169 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35043 32169 1111 63 0 34980 0
vsize: 140172
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 32561 0 0 0 113937 83 0 0 25 0 1 0 774155795 144945152 32485 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35387 32485 1111 63 0 35324 0
vsize: 141548
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 32879 0 0 0 114937 83 0 0 25 0 1 0 774155795 146210816 32803 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35696 32803 1111 63 0 35633 0
vsize: 142784
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 33195 0 0 0 115937 83 0 0 25 0 1 0 774155795 147476480 33119 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 33119 1111 63 0 35942 0
vsize: 144020
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 33513 0 0 0 116936 84 0 0 25 0 1 0 774155795 148746240 33437 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36315 33437 1111 63 0 36252 0
vsize: 145260
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 33829 0 0 0 117936 85 0 0 25 0 1 0 774155795 150011904 33753 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36624 33753 1111 63 0 36561 0
vsize: 146496
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 34147 0 0 0 118935 86 0 0 25 0 1 0 774155795 151416832 34071 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36967 34071 1111 63 0 36904 0
vsize: 147868
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) R 10337 7266 7265 0 -1 0 34465 0 0 0 119935 86 0 0 25 0 1 0 774155795 152690688 34389 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37278 34389 1111 63 0 37215 0
vsize: 149112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 10338
Raw data (stat): 10338 (bsolo_lpr_cuts) Z 10337 7266 7265 0 -1 1036 34465 0 0 0 119935 93 0 0 25 0 1 0 774155795 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): 1200.13
CPU time (s): 1200.29
CPU user time (s): 1199.35
CPU system time (s): 0.931858
CPU usage (%): 100.013
Max. virtual memory (Kb): 149112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####