PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29694485111877
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29694485111877
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44378
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 41261

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 09:09:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29305 boxname=wulflinc5 idbench=1089 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 29305
/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:        708064 kB
Buffers:         13096 kB
Cached:         291696 kB
SwapCached:        664 kB
Active:          36452 kB
Inactive:       270348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707812 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14088 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:29:29 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 29305 7 1200.26 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.01 0.99 0.91 2/54 32135
Raw data (stat): 32135 (runsolver) R 32134 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909082426 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1298 0 0 0 993 5 0 0 25 0 1 0 909082426 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 909082426 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1510 0 0 0 2992 6 0 0 25 0 1 0 909082426 16379904 1430 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1620 0 0 0 3992 6 0 0 25 0 1 0 909082426 16834560 1540 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1540 1111 63 0 4047 0
vsize: 16440
[startup+50.0031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1732 0 0 0 4991 7 0 0 25 0 1 0 909082426 17264640 1652 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1836 0 0 0 5991 7 0 0 25 0 1 0 909082426 17715200 1756 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 1951 0 0 0 6990 8 0 0 25 0 1 0 909082426 18161664 1871 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2055 0 0 0 7989 9 0 0 25 0 1 0 909082426 18616320 1975 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2164 0 0 0 8989 9 0 0 25 0 1 0 909082426 19058688 2084 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2279 0 0 0 9988 10 0 0 25 0 1 0 909082426 19501056 2199 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2383 0 0 0 10988 11 0 0 25 0 1 0 909082426 19955712 2303 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2493 0 0 0 11988 11 0 0 25 0 1 0 909082426 20402176 2413 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2413 1111 63 0 4918 0
vsize: 19924
[startup+130.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2602 0 0 0 12987 11 0 0 25 0 1 0 909082426 20856832 2522 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2712 0 0 0 13987 12 0 0 25 0 1 0 909082426 21299200 2632 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2821 0 0 0 14987 12 0 0 25 0 1 0 909082426 21725184 2741 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 2925 0 0 0 15986 13 0 0 25 0 1 0 909082426 22171648 2845 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2845 1111 63 0 5350 0
vsize: 21652
[startup+170.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3040 0 0 0 16986 13 0 0 25 0 1 0 909082426 22622208 2960 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2960 1111 63 0 5460 0
vsize: 22092
[startup+180.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3145 0 0 0 17986 14 0 0 25 0 1 0 909082426 23072768 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3260 0 0 0 18985 15 0 0 25 0 1 0 909082426 23662592 3180 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3180 1111 63 0 5714 0
vsize: 23108
[startup+200.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3371 0 0 0 19984 15 0 0 25 0 1 0 909082426 24113152 3291 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3481 0 0 0 20984 16 0 0 25 0 1 0 909082426 24559616 3401 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3591 0 0 0 21984 17 0 0 25 0 1 0 909082426 25010176 3511 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3701 0 0 0 22983 17 0 0 25 0 1 0 909082426 25460736 3621 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3812 0 0 0 23983 18 0 0 25 0 1 0 909082426 25911296 3732 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 3921 0 0 0 24982 18 0 0 25 0 1 0 909082426 26357760 3841 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4032 0 0 0 25982 19 0 0 25 0 1 0 909082426 26804224 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4142 0 0 0 26982 19 0 0 25 0 1 0 909082426 27258880 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4062 1111 63 0 6592 0
vsize: 26620
[startup+280.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4253 0 0 0 27981 20 0 0 25 0 1 0 909082426 27705344 4173 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4362 0 0 0 28981 20 0 0 25 0 1 0 909082426 28160000 4282 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4472 0 0 0 29980 21 0 0 25 0 1 0 909082426 28602368 4392 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4392 1111 63 0 6920 0
vsize: 27932
[startup+310.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4582 0 0 0 30980 21 0 0 25 0 1 0 909082426 29028352 4502 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4502 1111 63 0 7024 0
vsize: 28348
[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4693 0 0 0 31980 22 0 0 25 0 1 0 909082426 29474816 4613 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4802 0 0 0 32980 22 0 0 25 0 1 0 909082426 29925376 4722 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4722 1111 63 0 7243 0
vsize: 29224
[startup+340.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 4913 0 0 0 33980 22 0 0 25 0 1 0 909082426 30375936 4833 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5028 0 0 0 34980 22 0 0 25 0 1 0 909082426 30826496 4948 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4948 1111 63 0 7463 0
vsize: 30104
[startup+360.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5151 0 0 0 35980 23 0 0 25 0 1 0 909082426 31309824 5071 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5071 1111 63 0 7581 0
vsize: 30576
[startup+370.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5260 0 0 0 36979 23 0 0 25 0 1 0 909082426 31760384 5180 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5180 1111 63 0 7691 0
vsize: 31016
[startup+380.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5378 0 0 0 37980 23 0 0 25 0 1 0 909082426 32362496 5298 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5298 1111 63 0 7838 0
vsize: 31604
[startup+390.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5482 0 0 0 38980 23 0 0 25 0 1 0 909082426 32661504 5402 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5598 0 0 0 39980 23 0 0 25 0 1 0 909082426 33263616 5518 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5518 1111 63 0 8058 0
vsize: 32484
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5709 0 0 0 40980 23 0 0 25 0 1 0 909082426 33710080 5629 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5629 1111 63 0 8167 0
vsize: 32920
[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5820 0 0 0 41980 23 0 0 25 0 1 0 909082426 34160640 5740 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5740 1111 63 0 8277 0
vsize: 33360
[startup+430.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 5936 0 0 0 42980 24 0 0 25 0 1 0 909082426 34611200 5856 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5856 1111 63 0 8387 0
vsize: 33800
[startup+440.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6053 0 0 0 43980 24 0 0 25 0 1 0 909082426 35061760 5973 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5973 1111 63 0 8497 0
vsize: 34240
[startup+450.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6164 0 0 0 44980 24 0 0 25 0 1 0 909082426 35508224 6084 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6084 1111 63 0 8606 0
vsize: 34676
[startup+460.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6275 0 0 0 45980 24 0 0 25 0 1 0 909082426 35958784 6195 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6195 1111 63 0 8716 0
vsize: 35116
[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6392 0 0 0 46980 24 0 0 25 0 1 0 909082426 36409344 6312 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6312 1111 63 0 8826 0
vsize: 35556
[startup+480.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6503 0 0 0 47980 25 0 0 25 0 1 0 909082426 36859904 6423 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6423 1111 63 0 8936 0
vsize: 35996
[startup+490.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6613 0 0 0 48980 25 0 0 25 0 1 0 909082426 37306368 6533 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6533 1111 63 0 9045 0
vsize: 36432
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6730 0 0 0 49980 25 0 0 25 0 1 0 909082426 37761024 6650 4294967295 134512640 134716908 3221224560 3221222788 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6650 1111 63 0 9156 0
vsize: 36876
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6846 0 0 0 50980 25 0 0 25 0 1 0 909082426 38354944 6766 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6766 1111 63 0 9301 0
vsize: 37456
[startup+520.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 6958 0 0 0 51980 26 0 0 25 0 1 0 909082426 38809600 6878 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 6878 1111 63 0 9412 0
vsize: 37900
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7068 0 0 0 52980 26 0 0 25 0 1 0 909082426 39256064 6988 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 6988 1111 63 0 9521 0
vsize: 38336
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7186 0 0 0 53980 26 0 0 25 0 1 0 909082426 39710720 7106 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7106 1111 63 0 9632 0
vsize: 38780
[startup+550.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7296 0 0 0 54980 26 0 0 25 0 1 0 909082426 40153088 7216 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7216 1111 63 0 9740 0
vsize: 39212
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7414 0 0 0 55980 26 0 0 25 0 1 0 909082426 40607744 7334 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 7334 1111 63 0 9851 0
vsize: 39656
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7524 0 0 0 56980 26 0 0 25 0 1 0 909082426 41054208 7444 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7444 1111 63 0 9960 0
vsize: 40092
[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7642 0 0 0 57980 26 0 0 25 0 1 0 909082426 41508864 7562 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7562 1111 63 0 10071 0
vsize: 40536
[startup+590.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7758 0 0 0 58980 27 0 0 25 0 1 0 909082426 41951232 7678 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7678 1111 63 0 10179 0
vsize: 40968
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7870 0 0 0 59980 27 0 0 25 0 1 0 909082426 42405888 7790 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7790 1111 63 0 10290 0
vsize: 41412
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 7980 0 0 0 60980 27 0 0 25 0 1 0 909082426 42852352 7900 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7900 1111 63 0 10399 0
vsize: 41848
[startup+620.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8097 0 0 0 61980 27 0 0 25 0 1 0 909082426 43454464 8017 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10609 8017 1111 63 0 10546 0
vsize: 42436
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8213 0 0 0 62980 28 0 0 25 0 1 0 909082426 43900928 8133 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10718 8133 1111 63 0 10655 0
vsize: 42872
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8330 0 0 0 63980 28 0 0 25 0 1 0 909082426 44326912 8250 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10822 8250 1111 63 0 10759 0
vsize: 43288
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8441 0 0 0 64980 28 0 0 25 0 1 0 909082426 44769280 8361 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8361 1111 63 0 10867 0
vsize: 43720
[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8558 0 0 0 65980 28 0 0 25 0 1 0 909082426 45223936 8478 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8478 1111 63 0 10978 0
vsize: 44164
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8668 0 0 0 66980 29 0 0 25 0 1 0 909082426 45670400 8588 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8588 1111 63 0 11087 0
vsize: 44600
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8786 0 0 0 67980 29 0 0 25 0 1 0 909082426 46272512 8706 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11297 8706 1111 63 0 11234 0
vsize: 45188
[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 8902 0 0 0 68980 29 0 0 25 0 1 0 909082426 46718976 8822 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 8822 1111 63 0 11343 0
vsize: 45624
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9019 0 0 0 69980 29 0 0 25 0 1 0 909082426 47169536 8939 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11516 8939 1111 63 0 11453 0
vsize: 46064
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9157 0 0 0 70980 29 0 0 25 0 1 0 909082426 47853568 9077 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 9077 1111 63 0 11620 0
vsize: 46732
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9266 0 0 0 71980 30 0 0 25 0 1 0 909082426 48291840 9186 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11790 9186 1111 63 0 11727 0
vsize: 47160
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9384 0 0 0 72980 30 0 0 25 0 1 0 909082426 48738304 9304 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11899 9304 1111 63 0 11836 0
vsize: 47596
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9494 0 0 0 73980 30 0 0 25 0 1 0 909082426 49192960 9414 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12010 9414 1111 63 0 11947 0
vsize: 48040
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9614 0 0 0 74980 30 0 0 25 0 1 0 909082426 49639424 9534 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 9534 1111 63 0 12056 0
vsize: 48476
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9730 0 0 0 75980 30 0 0 25 0 1 0 909082426 50241536 9650 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12266 9650 1111 63 0 12203 0
vsize: 49064
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9847 0 0 0 76980 30 0 0 25 0 1 0 909082426 50671616 9767 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12371 9767 1111 63 0 12308 0
vsize: 49484
[startup+780.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 9963 0 0 0 77980 31 0 0 25 0 1 0 909082426 51109888 9883 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12478 9883 1111 63 0 12415 0
vsize: 49912
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10082 0 0 0 78980 31 0 0 25 0 1 0 909082426 51560448 10002 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 10002 1111 63 0 12525 0
vsize: 50352
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10199 0 0 0 79980 31 0 0 25 0 1 0 909082426 52158464 10119 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12734 10119 1111 63 0 12671 0
vsize: 50936
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10317 0 0 0 80980 31 0 0 25 0 1 0 909082426 52613120 10237 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12845 10237 1111 63 0 12782 0
vsize: 51380
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10427 0 0 0 81980 31 0 0 25 0 1 0 909082426 53055488 10347 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12953 10347 1111 63 0 12890 0
vsize: 51812
[startup+830.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10546 0 0 0 82980 32 0 0 25 0 1 0 909082426 53510144 10466 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10466 1111 63 0 13001 0
vsize: 52256
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10663 0 0 0 83980 32 0 0 25 0 1 0 909082426 53956608 10583 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13173 10583 1111 63 0 13110 0
vsize: 52692
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10780 0 0 0 84980 32 0 0 25 0 1 0 909082426 54411264 10700 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13284 10700 1111 63 0 13221 0
vsize: 53136
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 10897 0 0 0 85980 32 0 0 25 0 1 0 909082426 55005184 10817 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10817 1111 63 0 13366 0
vsize: 53716
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11014 0 0 0 86980 33 0 0 25 0 1 0 909082426 55455744 10934 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13539 10934 1111 63 0 13476 0
vsize: 54156
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11133 0 0 0 87980 33 0 0 25 0 1 0 909082426 55906304 11053 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13649 11053 1111 63 0 13586 0
vsize: 54596
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11250 0 0 0 88981 33 0 0 25 0 1 0 909082426 56356864 11170 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13759 11170 1111 63 0 13696 0
vsize: 55036
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11368 0 0 0 89980 33 0 0 25 0 1 0 909082426 56803328 11288 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 11288 1111 63 0 13805 0
vsize: 55472
[startup+910.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11485 0 0 0 90980 33 0 0 25 0 1 0 909082426 57405440 11405 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14015 11405 1111 63 0 13952 0
vsize: 56060
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11603 0 0 0 91980 34 0 0 25 0 1 0 909082426 57856000 11523 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14125 11523 1111 63 0 14062 0
vsize: 56500
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11721 0 0 0 92980 34 0 0 25 0 1 0 909082426 58306560 11641 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14235 11641 1111 63 0 14172 0
vsize: 56940
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11839 0 0 0 93980 34 0 0 25 0 1 0 909082426 58757120 11759 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14345 11759 1111 63 0 14282 0
vsize: 57380
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 11955 0 0 0 94980 35 0 0 25 0 1 0 909082426 59207680 11875 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14455 11875 1111 63 0 14392 0
vsize: 57820
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12074 0 0 0 95980 35 0 0 25 0 1 0 909082426 59805696 11994 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 11994 1111 63 0 14538 0
vsize: 58404
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12191 0 0 0 96980 35 0 0 25 0 1 0 909082426 60252160 12111 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 12111 1111 63 0 14647 0
vsize: 58840
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12309 0 0 0 97980 35 0 0 25 0 1 0 909082426 60706816 12229 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14821 12229 1111 63 0 14758 0
vsize: 59284
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12432 0 0 0 98980 35 0 0 25 0 1 0 909082426 61153280 12352 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14930 12352 1111 63 0 14867 0
vsize: 59720
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12550 0 0 0 99980 35 0 0 25 0 1 0 909082426 61755392 12470 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12470 1111 63 0 15014 0
vsize: 60308
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12667 0 0 0 100980 36 0 0 25 0 1 0 909082426 62201856 12587 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12587 1111 63 0 15123 0
vsize: 60744
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12785 0 0 0 101980 36 0 0 25 0 1 0 909082426 62652416 12705 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15296 12705 1111 63 0 15233 0
vsize: 61184
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 12902 0 0 0 102980 36 0 0 25 0 1 0 909082426 63102976 12822 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15406 12822 1111 63 0 15343 0
vsize: 61624
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13021 0 0 0 103980 37 0 0 25 0 1 0 909082426 63553536 12941 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15516 12941 1111 63 0 15453 0
vsize: 62064
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13140 0 0 0 104979 37 0 0 25 0 1 0 909082426 64155648 13060 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13060 1111 63 0 15600 0
vsize: 62652
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13263 0 0 0 105979 37 0 0 25 0 1 0 909082426 64602112 13183 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15772 13183 1111 63 0 15709 0
vsize: 63088
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13381 0 0 0 106979 37 0 0 25 0 1 0 909082426 65052672 13301 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 13301 1111 63 0 15819 0
vsize: 63528
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13499 0 0 0 107979 38 0 0 25 0 1 0 909082426 65503232 13419 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15992 13419 1111 63 0 15929 0
vsize: 63968
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13624 0 0 0 108979 38 0 0 25 0 1 0 909082426 66105344 13544 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13544 1111 63 0 16076 0
vsize: 64556
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13740 0 0 0 109979 38 0 0 25 0 1 0 909082426 66547712 13660 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13660 1111 63 0 16184 0
vsize: 64988
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13859 0 0 0 110979 38 0 0 25 0 1 0 909082426 67002368 13779 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16358 13779 1111 63 0 16295 0
vsize: 65432
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 13976 0 0 0 111979 39 0 0 25 0 1 0 909082426 67448832 13896 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 13896 1111 63 0 16404 0
vsize: 65868
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14100 0 0 0 112979 39 0 0 25 0 1 0 909082426 68050944 14020 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14020 1111 63 0 16551 0
vsize: 66456
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14218 0 0 0 113978 40 0 0 25 0 1 0 909082426 68497408 14138 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14138 1111 63 0 16660 0
vsize: 66892
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14343 0 0 0 114980 40 0 0 25 0 1 0 909082426 68947968 14263 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16833 14263 1111 63 0 16770 0
vsize: 67332
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14462 0 0 0 115980 40 0 0 25 0 1 0 909082426 69550080 14382 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14382 1111 63 0 16917 0
vsize: 67920
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14579 0 0 0 116981 40 0 0 25 0 1 0 909082426 70000640 14499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14499 1111 63 0 17027 0
vsize: 68360
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14704 0 0 0 117981 41 0 0 25 0 1 0 909082426 70451200 14624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14624 1111 63 0 17137 0
vsize: 68800
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14821 0 0 0 118981 41 0 0 25 0 1 0 909082426 70897664 14741 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17309 14741 1111 63 0 17246 0
vsize: 69236
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) R 32134 7266 7265 0 -1 0 14946 0 0 0 119981 41 0 0 25 0 1 0 909082426 71499776 14866 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 14866 1111 63 0 17393 0
vsize: 69824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32135
Raw data (stat): 32135 (bsolo_lpr_cuts-) Z 32134 7266 7265 0 -1 1036 14946 0 0 0 119981 44 0 0 25 0 1 0 909082426 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.26
CPU user time (s): 1199.82
CPU system time (s): 0.443932
CPU usage (%): 100.013
Max. virtual memory (Kb): 69824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####