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-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
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	39177236543
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	39177236543
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	1.03484
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 26956

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-24 18:21:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19021 boxname=wulflinc6 idbench=1464 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 19021
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        870032 kB
Buffers:          8200 kB
Cached:         133172 kB
SwapCached:        408 kB
Active:          30840 kB
Inactive:       112856 kB
HighTotal:      131008 kB
HighFree:        69468 kB
LowTotal:       903652 kB
LowFree:        800564 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:             328 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            15196 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:41:56 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 19021 7 1200.47 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.99 1.00 2/54 27774
Raw data (stat): 27774 (runsolver) R 27773 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774138276 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.0005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1158 0 0 0 994 4 0 0 25 0 1 0 774138276 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1404 0 0 0 1993 4 0 0 25 0 1 0 774138276 17178624 1328 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1328 1111 63 0 4131 0
vsize: 16776
[startup+30.0006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1655 0 0 0 2993 5 0 0 25 0 1 0 774138276 18178048 1579 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1579 1111 63 0 4375 0
vsize: 17752
[startup+40.0008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1903 0 0 0 3993 5 0 0 25 0 1 0 774138276 19165184 1827 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1827 1111 63 0 4616 0
vsize: 18716
[startup+50.0015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2150 0 0 0 4993 6 0 0 25 0 1 0 774138276 20152320 2074 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2074 1111 63 0 4857 0
vsize: 19680
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2403 0 0 0 5993 6 0 0 25 0 1 0 774138276 21274624 2327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2327 1111 63 0 5131 0
vsize: 20776
[startup+70.0012 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2651 0 0 0 6992 7 0 0 25 0 1 0 774138276 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2575 1111 63 0 5372 0
vsize: 21740
[startup+80.0017 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2899 0 0 0 7992 8 0 0 25 0 1 0 774138276 23240704 2823 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2823 1111 63 0 5611 0
vsize: 22696
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3153 0 0 0 8992 8 0 0 25 0 1 0 774138276 24227840 3077 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3077 1111 63 0 5852 0
vsize: 23660
[startup+100.002 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3401 0 0 0 9992 8 0 0 25 0 1 0 774138276 25354240 3325 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3325 1111 63 0 6127 0
vsize: 24760
[startup+110.002 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3655 0 0 0 10992 9 0 0 25 0 1 0 774138276 26341376 3579 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3579 1111 63 0 6368 0
vsize: 25724
[startup+120.003 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3911 0 0 0 11992 9 0 0 25 0 1 0 774138276 27348992 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3835 1111 63 0 6614 0
vsize: 26708
[startup+130.003 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4165 0 0 0 12992 10 0 0 25 0 1 0 774138276 28475392 4089 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4089 1111 63 0 6889 0
vsize: 27808
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4421 0 0 0 13992 10 0 0 25 0 1 0 774138276 29462528 4345 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4345 1111 63 0 7130 0
vsize: 28772
[startup+150.003 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4669 0 0 0 14991 11 0 0 25 0 1 0 774138276 30441472 4593 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4593 1111 63 0 7369 0
vsize: 29728
[startup+160.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4929 0 0 0 15991 11 0 0 25 0 1 0 774138276 31567872 4853 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4853 1111 63 0 7644 0
vsize: 30828
[startup+170.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5179 0 0 0 16991 12 0 0 25 0 1 0 774138276 32555008 5103 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7948 5103 1111 63 0 7885 0
vsize: 31792
[startup+180.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5440 0 0 0 17990 13 0 0 25 0 1 0 774138276 33681408 5364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5364 1111 63 0 8160 0
vsize: 32892
[startup+190.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5695 0 0 0 18990 13 0 0 25 0 1 0 774138276 34668544 5619 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5619 1111 63 0 8401 0
vsize: 33856
[startup+200.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5950 0 0 0 19990 14 0 0 25 0 1 0 774138276 35794944 5874 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5874 1111 63 0 8676 0
vsize: 34956
[startup+210.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6205 0 0 0 20989 15 0 0 25 0 1 0 774138276 36782080 6129 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6129 1111 63 0 8917 0
vsize: 35920
[startup+220.004 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6470 0 0 0 21989 15 0 0 25 0 1 0 774138276 37920768 6394 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6394 1111 63 0 9195 0
vsize: 37032
[startup+230.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6730 0 0 0 22989 16 0 0 25 0 1 0 774138276 39043072 6654 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6654 1111 63 0 9469 0
vsize: 38128
[startup+240.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6991 0 0 0 23990 16 0 0 25 0 1 0 774138276 40030208 6915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6915 1111 63 0 9710 0
vsize: 39092
[startup+250.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7247 0 0 0 24990 16 0 0 25 0 1 0 774138276 41156608 7171 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7171 1111 63 0 9985 0
vsize: 40192
[startup+260.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7503 0 0 0 25989 17 0 0 25 0 1 0 774138276 42143744 7427 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7427 1111 63 0 10226 0
vsize: 41156
[startup+270.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7765 0 0 0 26989 17 0 0 25 0 1 0 774138276 43270144 7689 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7689 1111 63 0 10501 0
vsize: 42256
[startup+280.005 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8028 0 0 0 27989 17 0 0 25 0 1 0 774138276 44257280 7952 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7952 1111 63 0 10742 0
vsize: 43220
[startup+290.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8289 0 0 0 28989 18 0 0 25 0 1 0 774138276 45383680 8213 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8213 1111 63 0 11017 0
vsize: 44320
[startup+300.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8551 0 0 0 29989 18 0 0 25 0 1 0 774138276 46370816 8475 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8475 1111 63 0 11258 0
vsize: 45284
[startup+310.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8814 0 0 0 30989 19 0 0 25 0 1 0 774138276 47489024 8738 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8738 1111 63 0 11531 0
vsize: 46376
[startup+320.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9074 0 0 0 31989 19 0 0 25 0 1 0 774138276 48615424 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 8998 1111 63 0 11806 0
vsize: 47476
[startup+330.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9336 0 0 0 32988 20 0 0 25 0 1 0 774138276 49602560 9260 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9260 1111 63 0 12047 0
vsize: 48440
[startup+340.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9599 0 0 0 33988 20 0 0 25 0 1 0 774138276 50733056 9523 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9523 1111 63 0 12323 0
vsize: 49544
[startup+350.007 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9861 0 0 0 34988 21 0 0 25 0 1 0 774138276 51716096 9785 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9785 1111 63 0 12563 0
vsize: 50504
[startup+360.007 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10130 0 0 0 35988 22 0 0 25 0 1 0 774138276 52842496 10054 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10054 1111 63 0 12838 0
vsize: 51604
[startup+370.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10392 0 0 0 36988 22 0 0 25 0 1 0 774138276 53968896 10316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10316 1111 63 0 13113 0
vsize: 52704
[startup+380.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10661 0 0 0 37987 23 0 0 25 0 1 0 774138276 55095296 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 10585 1111 63 0 13388 0
vsize: 53804
[startup+390.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10924 0 0 0 38987 23 0 0 25 0 1 0 774138276 56086528 10848 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10848 1111 63 0 13630 0
vsize: 54772
[startup+400.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11192 0 0 0 39987 24 0 0 25 0 1 0 774138276 57212928 11116 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11116 1111 63 0 13905 0
vsize: 55872
[startup+410.009 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11460 0 0 0 40987 25 0 0 25 0 1 0 774138276 58331136 11384 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11384 1111 63 0 14178 0
vsize: 56964
[startup+420.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11720 0 0 0 41986 25 0 0 25 0 1 0 774138276 59318272 11644 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11644 1111 63 0 14419 0
vsize: 57928
[startup+430.008 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12012 0 0 0 42985 26 0 0 25 0 1 0 774138276 60674048 11936 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11936 1111 63 0 14750 0
vsize: 59252
[startup+440.009 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12275 0 0 0 43985 27 0 0 25 0 1 0 774138276 61792256 12199 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12199 1111 63 0 15023 0
vsize: 60344
[startup+450.009 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12544 0 0 0 44986 27 0 0 25 0 1 0 774138276 62918656 12468 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15361 12468 1111 63 0 15298 0
vsize: 61444
[startup+460.009 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12813 0 0 0 45986 27 0 0 25 0 1 0 774138276 63905792 12737 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12737 1111 63 0 15539 0
vsize: 62408
[startup+470.01 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13088 0 0 0 46986 28 0 0 25 0 1 0 774138276 65032192 13012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 13012 1111 63 0 15814 0
vsize: 63508
[startup+480.01 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13358 0 0 0 47985 28 0 0 25 0 1 0 774138276 66158592 13282 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13282 1111 63 0 16089 0
vsize: 64608
[startup+490.01 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13627 0 0 0 48985 29 0 0 25 0 1 0 774138276 67284992 13551 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13551 1111 63 0 16364 0
vsize: 65708
[startup+500.011 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13902 0 0 0 49985 29 0 0 25 0 1 0 774138276 68411392 13826 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13826 1111 63 0 16639 0
vsize: 66808
[startup+510.011 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14172 0 0 0 50985 30 0 0 25 0 1 0 774138276 69537792 14096 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 14096 1111 63 0 16914 0
vsize: 67908
[startup+520.011 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14448 0 0 0 51985 30 0 0 25 0 1 0 774138276 70664192 14372 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17252 14372 1111 63 0 17189 0
vsize: 69008
[startup+530.012 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14716 0 0 0 52985 30 0 0 25 0 1 0 774138276 71794688 14640 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 14640 1111 63 0 17465 0
vsize: 70112
[startup+540.012 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14991 0 0 0 53985 31 0 0 25 0 1 0 774138276 72912896 14915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17801 14915 1111 63 0 17738 0
vsize: 71204
[startup+550.012 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15267 0 0 0 54985 31 0 0 25 0 1 0 774138276 74039296 15191 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 15191 1111 63 0 18013 0
vsize: 72304
[startup+560.013 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15543 0 0 0 55985 32 0 0 25 0 1 0 774138276 75165696 15467 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18351 15467 1111 63 0 18288 0
vsize: 73404
[startup+570.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15818 0 0 0 56985 32 0 0 25 0 1 0 774138276 76292096 15742 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 15742 1111 63 0 18563 0
vsize: 74504
[startup+580.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16094 0 0 0 57985 33 0 0 25 0 1 0 774138276 77418496 16018 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18901 16018 1111 63 0 18838 0
vsize: 75604
[startup+590.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16370 0 0 0 58984 33 0 0 25 0 1 0 774138276 78548992 16294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16294 1111 63 0 19114 0
vsize: 76708
[startup+600.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16653 0 0 0 59984 34 0 0 25 0 1 0 774138276 79675392 16577 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16577 1111 63 0 19389 0
vsize: 77808
[startup+610.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16929 0 0 0 60984 34 0 0 25 0 1 0 774138276 80801792 16853 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16853 1111 63 0 19664 0
vsize: 78908
[startup+620.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17211 0 0 0 61984 35 0 0 25 0 1 0 774138276 81928192 17135 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17135 1111 63 0 19939 0
vsize: 80008
[startup+630.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17488 0 0 0 62983 36 0 0 25 0 1 0 774138276 83054592 17412 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17412 1111 63 0 20214 0
vsize: 81108
[startup+640.014 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17770 0 0 0 63983 36 0 0 25 0 1 0 774138276 84180992 17694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17694 1111 63 0 20489 0
vsize: 82208
[startup+650.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18053 0 0 0 64983 37 0 0 25 0 1 0 774138276 85307392 17977 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17977 1111 63 0 20764 0
vsize: 83308
[startup+660.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18336 0 0 0 65983 37 0 0 25 0 1 0 774138276 86577152 18260 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21137 18260 1111 63 0 21074 0
vsize: 84548
[startup+670.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18618 0 0 0 66983 38 0 0 25 0 1 0 774138276 87703552 18542 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21412 18542 1111 63 0 21349 0
vsize: 85648
[startup+680.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18902 0 0 0 67983 38 0 0 25 0 1 0 774138276 88829952 18826 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18826 1111 63 0 21624 0
vsize: 86748
[startup+690.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19184 0 0 0 68983 38 0 0 25 0 1 0 774138276 89956352 19108 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21962 19108 1111 63 0 21899 0
vsize: 87848
[startup+700.015 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19467 0 0 0 69983 39 0 0 25 0 1 0 774138276 91082752 19391 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19391 1111 63 0 22174 0
vsize: 88948
[startup+710.016 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19750 0 0 0 70983 39 0 0 25 0 1 0 774138276 92348416 19674 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19674 1111 63 0 22483 0
vsize: 90184
[startup+720.016 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20039 0 0 0 71983 39 0 0 25 0 1 0 774138276 93474816 19963 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19963 1111 63 0 22758 0
vsize: 91284
[startup+730.016 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20329 0 0 0 72983 40 0 0 25 0 1 0 774138276 94601216 20253 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20253 1111 63 0 23033 0
vsize: 92384
[startup+740.016 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20611 0 0 0 73982 41 0 0 25 0 1 0 774138276 95870976 20535 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20535 1111 63 0 23343 0
vsize: 93624
[startup+750.017 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20901 0 0 0 74982 42 0 0 25 0 1 0 774138276 96997376 20825 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20825 1111 63 0 23618 0
vsize: 94724
[startup+760.017 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21190 0 0 0 75981 43 0 0 25 0 1 0 774138276 98119680 21114 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21114 1111 63 0 23892 0
vsize: 95820
[startup+770.018 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21479 0 0 0 76981 43 0 0 25 0 1 0 774138276 99385344 21403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21403 1111 63 0 24201 0
vsize: 97056
[startup+780.019 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21770 0 0 0 77981 44 0 0 25 0 1 0 774138276 100511744 21694 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21694 1111 63 0 24476 0
vsize: 98156
[startup+790.019 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22057 0 0 0 78981 44 0 0 25 0 1 0 774138276 101777408 21981 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 21981 1111 63 0 24785 0
vsize: 99392
[startup+800.019 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22347 0 0 0 79980 45 0 0 25 0 1 0 774138276 102903808 22271 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22271 1111 63 0 25060 0
vsize: 100492
[startup+810.019 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22643 0 0 0 80980 46 0 0 25 0 1 0 774138276 104169472 22567 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22567 1111 63 0 25369 0
vsize: 101728
[startup+820.019 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22932 0 0 0 81980 46 0 0 25 0 1 0 774138276 105295872 22856 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22856 1111 63 0 25644 0
vsize: 102828
[startup+830.02 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23254 0 0 0 82979 47 0 0 25 0 1 0 774138276 106926080 23178 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 23178 1111 63 0 26042 0
vsize: 104420
[startup+840.02 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23550 0 0 0 83979 48 0 0 25 0 1 0 774138276 108052480 23474 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23474 1111 63 0 26317 0
vsize: 105520
[startup+850.021 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23847 0 0 0 84979 48 0 0 25 0 1 0 774138276 109318144 23771 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 23771 1111 63 0 26626 0
vsize: 106756
[startup+860.021 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24137 0 0 0 85978 49 0 0 25 0 1 0 774138276 110444544 24061 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24061 1111 63 0 26901 0
vsize: 107856
[startup+870.021 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24440 0 0 0 86979 49 0 0 25 0 1 0 774138276 111710208 24364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24364 1111 63 0 27210 0
vsize: 109092
[startup+880.021 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24730 0 0 0 87978 50 0 0 25 0 1 0 774138276 112840704 24654 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24654 1111 63 0 27486 0
vsize: 110196
[startup+890.022 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25032 0 0 0 88978 51 0 0 25 0 1 0 774138276 114106368 24956 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24956 1111 63 0 27795 0
vsize: 111432
[startup+900.022 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25325 0 0 0 89978 51 0 0 25 0 1 0 774138276 115372032 25249 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28167 25249 1111 63 0 28104 0
vsize: 112668
[startup+910.022 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25627 0 0 0 90978 52 0 0 25 0 1 0 774138276 116498432 25551 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25551 1111 63 0 28379 0
vsize: 113768
[startup+920.026 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25931 0 0 0 91978 52 0 0 25 0 1 0 774138276 117768192 25855 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25855 1111 63 0 28689 0
vsize: 115008
[startup+930.026 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26227 0 0 0 92978 53 0 0 25 0 1 0 774138276 119037952 26151 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29062 26151 1111 63 0 28999 0
vsize: 116248
[startup+940.026 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26531 0 0 0 93978 53 0 0 25 0 1 0 774138276 120307712 26455 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29372 26455 1111 63 0 29309 0
vsize: 117488
[startup+950.027 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26827 0 0 0 94978 53 0 0 25 0 1 0 774138276 121434112 26751 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26751 1111 63 0 29584 0
vsize: 118588
[startup+960.027 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27131 0 0 0 95977 54 0 0 25 0 1 0 774138276 122699776 27055 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 27055 1111 63 0 29893 0
vsize: 119824
[startup+970.027 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27434 0 0 0 96977 55 0 0 25 0 1 0 774138276 123969536 27358 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 27358 1111 63 0 30203 0
vsize: 121064
[startup+980.028 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27737 0 0 0 97977 55 0 0 25 0 1 0 774138276 125235200 27661 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30575 27661 1111 63 0 30512 0
vsize: 122300
[startup+990.029 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28041 0 0 0 98977 55 0 0 25 0 1 0 774138276 126361600 27965 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30850 27965 1111 63 0 30787 0
vsize: 123400
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28350 0 0 0 99977 56 0 0 25 0 1 0 774138276 127627264 28274 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31159 28274 1111 63 0 31096 0
vsize: 124636
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28655 0 0 0 100976 57 0 0 25 0 1 0 774138276 128892928 28579 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28579 1111 63 0 31405 0
vsize: 125872
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28963 0 0 0 101976 58 0 0 25 0 1 0 774138276 130162688 28887 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31778 28887 1111 63 0 31715 0
vsize: 127112
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29269 0 0 0 102975 59 0 0 25 0 1 0 774138276 131428352 29193 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32087 29193 1111 63 0 32024 0
vsize: 128348
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29578 0 0 0 103975 60 0 0 25 0 1 0 774138276 132694016 29502 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29502 1111 63 0 32333 0
vsize: 129584
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29887 0 0 0 104975 60 0 0 25 0 1 0 774138276 133959680 29811 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29811 1111 63 0 32642 0
vsize: 130820
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30197 0 0 0 105975 60 0 0 25 0 1 0 774138276 135229440 30121 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30121 1111 63 0 32952 0
vsize: 132060
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30507 0 0 0 106974 61 0 0 25 0 1 0 774138276 136495104 30431 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30431 1111 63 0 33261 0
vsize: 133296
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30824 0 0 0 107974 62 0 0 25 0 1 0 774138276 137764864 30748 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30748 1111 63 0 33571 0
vsize: 134536
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31127 0 0 0 108974 62 0 0 25 0 1 0 774138276 139030528 31051 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31051 1111 63 0 33880 0
vsize: 135772
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31445 0 0 0 109974 62 0 0 25 0 1 0 774138276 140296192 31369 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31369 1111 63 0 34189 0
vsize: 137008
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31761 0 0 0 110974 63 0 0 25 0 1 0 774138276 141561856 31685 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34561 31685 1111 63 0 34498 0
vsize: 138244
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32073 0 0 0 111974 63 0 0 25 0 1 0 774138276 142831616 31997 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34871 31997 1111 63 0 34808 0
vsize: 139484
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32390 0 0 0 112974 64 0 0 25 0 1 0 774138276 144244736 32314 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35216 32314 1111 63 0 35153 0
vsize: 140864
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32707 0 0 0 113974 64 0 0 25 0 1 0 774138276 145510400 32631 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35525 32631 1111 63 0 35462 0
vsize: 142100
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33031 0 0 0 114974 65 0 0 25 0 1 0 774138276 146776064 32955 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 32955 1111 63 0 35771 0
vsize: 143336
[startup+1160.03 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33347 0 0 0 115973 65 0 0 25 0 1 0 774138276 148041728 33271 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36143 33271 1111 63 0 36080 0
vsize: 144572
[startup+1170.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33665 0 0 0 116973 66 0 0 25 0 1 0 774138276 149450752 33589 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36487 33589 1111 63 0 36424 0
vsize: 145948
[startup+1180.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33982 0 0 0 117973 67 0 0 25 0 1 0 774138276 150716416 33906 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36796 33906 1111 63 0 36733 0
vsize: 147184
[startup+1190.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 34306 0 0 0 118972 68 0 0 25 0 1 0 774138276 151986176 34230 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 34230 1111 63 0 37043 0
vsize: 148424
[startup+1200.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 34629 0 0 0 119972 68 0 0 25 0 1 0 774138276 153391104 34553 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37449 34553 1111 63 0 37386 0
vsize: 149796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.03 1.00 1.00 1/54 27774
Raw data (stat): 27774 (bsolo_lpr_cuts) Z 27773 25568 25567 0 -1 1036 34629 0 0 0 119972 74 0 0 25 0 1 0 774138276 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.1
CPU time (s): 1200.47
CPU user time (s): 1199.73
CPU system time (s): 0.747886
CPU usage (%): 100.031
Max. virtual memory (Kb): 149796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####