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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 41230

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 08:39:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29296 boxname=wulflinc6 idbench=1080 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 29296
/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:        532628 kB
Buffers:         20424 kB
Cached:         459540 kB
SwapCached:        932 kB
Active:          40816 kB
Inactive:       441248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        532376 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14348 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:59:16 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 29296 7 1200.46 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): 0.92 0.95 0.90 2/54 9804
Raw data (stat): 9804 (runsolver) R 9803 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908900251 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+9.99997 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1298 0 0 0 993 4 0 0 25 0 1 0 908900251 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1408 0 0 0 1993 5 0 0 25 0 1 0 908900251 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+29.9993 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1510 0 0 0 2993 6 0 0 25 0 1 0 908900251 16379904 1430 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+39.9994 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1620 0 0 0 3992 7 0 0 25 0 1 0 908900251 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+49.9991 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1732 0 0 0 4991 7 0 0 25 0 1 0 908900251 17264640 1652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+59.9987 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1836 0 0 0 5991 8 0 0 25 0 1 0 908900251 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+69.9987 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 1951 0 0 0 6991 8 0 0 25 0 1 0 908900251 18161664 1871 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+79.9985 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2056 0 0 0 7991 8 0 0 25 0 1 0 908900251 18616320 1976 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1976 1111 63 0 4482 0
vsize: 18180
[startup+89.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2171 0 0 0 8991 9 0 0 25 0 1 0 908900251 19058688 2091 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2091 1111 63 0 4590 0
vsize: 18612
[startup+99.9981 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2280 0 0 0 9991 9 0 0 25 0 1 0 908900251 19501056 2200 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2200 1111 63 0 4698 0
vsize: 19044
[startup+109.998 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2390 0 0 0 10991 9 0 0 25 0 1 0 908900251 19955712 2310 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2310 1111 63 0 4809 0
vsize: 19488
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2501 0 0 0 11991 9 0 0 25 0 1 0 908900251 20402176 2421 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2421 1111 63 0 4918 0
vsize: 19924
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2610 0 0 0 12991 10 0 0 25 0 1 0 908900251 20856832 2530 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2530 1111 63 0 5029 0
vsize: 20368
[startup+139.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2720 0 0 0 13991 10 0 0 25 0 1 0 908900251 21299200 2640 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2640 1111 63 0 5137 0
vsize: 20800
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2835 0 0 0 14992 10 0 0 25 0 1 0 908900251 21872640 2755 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2755 1111 63 0 5277 0
vsize: 21360
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 2940 0 0 0 15992 10 0 0 25 0 1 0 908900251 22323200 2860 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2860 1111 63 0 5387 0
vsize: 21800
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3055 0 0 0 16993 10 0 0 25 0 1 0 908900251 22773760 2975 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2975 1111 63 0 5497 0
vsize: 22240
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3169 0 0 0 17992 11 0 0 25 0 1 0 908900251 23232512 3089 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3089 1111 63 0 5609 0
vsize: 22688
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3281 0 0 0 18993 11 0 0 25 0 1 0 908900251 23662592 3201 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3201 1111 63 0 5714 0
vsize: 23108
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3386 0 0 0 19993 11 0 0 25 0 1 0 908900251 24113152 3306 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3306 1111 63 0 5824 0
vsize: 23548
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3502 0 0 0 20993 11 0 0 25 0 1 0 908900251 24559616 3422 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3422 1111 63 0 5933 0
vsize: 23984
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3613 0 0 0 21993 11 0 0 25 0 1 0 908900251 25010176 3533 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3533 1111 63 0 6043 0
vsize: 24424
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3723 0 0 0 22993 12 0 0 25 0 1 0 908900251 25460736 3643 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3643 1111 63 0 6153 0
vsize: 24864
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3834 0 0 0 23993 12 0 0 25 0 1 0 908900251 25911296 3754 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3754 1111 63 0 6263 0
vsize: 25304
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 3943 0 0 0 24993 12 0 0 25 0 1 0 908900251 26357760 3863 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3863 1111 63 0 6372 0
vsize: 25740
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4055 0 0 0 25993 13 0 0 25 0 1 0 908900251 26804224 3975 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3975 1111 63 0 6481 0
vsize: 26176
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4165 0 0 0 26993 13 0 0 25 0 1 0 908900251 27258880 4085 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4085 1111 63 0 6592 0
vsize: 26620
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4282 0 0 0 27993 13 0 0 25 0 1 0 908900251 27705344 4202 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4202 1111 63 0 6701 0
vsize: 27056
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4391 0 0 0 28994 13 0 0 25 0 1 0 908900251 28160000 4311 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4311 1111 63 0 6812 0
vsize: 27500
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4503 0 0 0 29994 13 0 0 25 0 1 0 908900251 28602368 4423 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4423 1111 63 0 6920 0
vsize: 27932
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4612 0 0 0 30994 14 0 0 25 0 1 0 908900251 29175808 4532 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4532 1111 63 0 7060 0
vsize: 28492
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4723 0 0 0 31994 14 0 0 25 0 1 0 908900251 29626368 4643 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4643 1111 63 0 7170 0
vsize: 28932
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4838 0 0 0 32994 14 0 0 25 0 1 0 908900251 30076928 4758 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4758 1111 63 0 7280 0
vsize: 29372
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 4949 0 0 0 33994 14 0 0 25 0 1 0 908900251 30527488 4869 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4869 1111 63 0 7390 0
vsize: 29812
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5058 0 0 0 34994 14 0 0 25 0 1 0 908900251 30973952 4978 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4978 1111 63 0 7499 0
vsize: 30248
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5187 0 0 0 35994 14 0 0 25 0 1 0 908900251 31461376 5107 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5107 1111 63 0 7618 0
vsize: 30724
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5296 0 0 0 36995 14 0 0 25 0 1 0 908900251 31911936 5216 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5216 1111 63 0 7728 0
vsize: 31164
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5408 0 0 0 37995 15 0 0 25 0 1 0 908900251 32362496 5328 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5328 1111 63 0 7838 0
vsize: 31604
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5523 0 0 0 38995 15 0 0 25 0 1 0 908900251 32956416 5443 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5443 1111 63 0 7983 0
vsize: 32184
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5635 0 0 0 39995 15 0 0 25 0 1 0 908900251 33411072 5555 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5555 1111 63 0 8094 0
vsize: 32628
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5745 0 0 0 40995 16 0 0 25 0 1 0 908900251 33857536 5665 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5665 1111 63 0 8203 0
vsize: 33064
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5863 0 0 0 41995 16 0 0 25 0 1 0 908900251 34312192 5783 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 5783 1111 63 0 8314 0
vsize: 33508
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 5972 0 0 0 42996 16 0 0 25 0 1 0 908900251 34758656 5892 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5892 1111 63 0 8423 0
vsize: 33944
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6083 0 0 0 43996 16 0 0 25 0 1 0 908900251 35213312 6003 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6003 1111 63 0 8534 0
vsize: 34388
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6200 0 0 0 44996 16 0 0 25 0 1 0 908900251 35655680 6120 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6120 1111 63 0 8642 0
vsize: 34820
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6311 0 0 0 45996 16 0 0 25 0 1 0 908900251 36110336 6231 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6231 1111 63 0 8753 0
vsize: 35264
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6422 0 0 0 46996 17 0 0 25 0 1 0 908900251 36556800 6342 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6342 1111 63 0 8862 0
vsize: 35700
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6539 0 0 0 47996 17 0 0 25 0 1 0 908900251 37011456 6459 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6459 1111 63 0 8973 0
vsize: 36144
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6649 0 0 0 48996 17 0 0 25 0 1 0 908900251 37453824 6569 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6569 1111 63 0 9081 0
vsize: 36576
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6760 0 0 0 49996 17 0 0 25 0 1 0 908900251 37908480 6680 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 6680 1111 63 0 9192 0
vsize: 37020
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6877 0 0 0 50997 17 0 0 25 0 1 0 908900251 38354944 6797 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6797 1111 63 0 9301 0
vsize: 37456
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 6994 0 0 0 51997 17 0 0 25 0 1 0 908900251 38957056 6914 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6914 1111 63 0 9448 0
vsize: 38044
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7105 0 0 0 52997 18 0 0 25 0 1 0 908900251 39403520 7025 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7025 1111 63 0 9557 0
vsize: 38480
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7216 0 0 0 53997 18 0 0 25 0 1 0 908900251 39854080 7136 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7136 1111 63 0 9667 0
vsize: 38920
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7332 0 0 0 54997 18 0 0 25 0 1 0 908900251 40304640 7252 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7252 1111 63 0 9777 0
vsize: 39360
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7450 0 0 0 55997 18 0 0 25 0 1 0 908900251 40755200 7370 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7370 1111 63 0 9887 0
vsize: 39800
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7560 0 0 0 56997 19 0 0 25 0 1 0 908900251 41205760 7480 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7480 1111 63 0 9997 0
vsize: 40240
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7678 0 0 0 57997 19 0 0 25 0 1 0 908900251 41656320 7598 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7598 1111 63 0 10107 0
vsize: 40680
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7788 0 0 0 58998 19 0 0 25 0 1 0 908900251 42102784 7708 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7708 1111 63 0 10216 0
vsize: 41116
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 7906 0 0 0 59998 19 0 0 25 0 1 0 908900251 42553344 7826 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7826 1111 63 0 10326 0
vsize: 41556
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8023 0 0 0 60998 19 0 0 25 0 1 0 908900251 43151360 7943 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7943 1111 63 0 10472 0
vsize: 42140
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8133 0 0 0 61997 20 0 0 25 0 1 0 908900251 43606016 8053 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8053 1111 63 0 10583 0
vsize: 42584
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8250 0 0 0 62998 20 0 0 25 0 1 0 908900251 44048384 8170 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8170 1111 63 0 10691 0
vsize: 43016
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8361 0 0 0 63998 20 0 0 25 0 1 0 908900251 44470272 8281 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8281 1111 63 0 10794 0
vsize: 43428
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8479 0 0 0 64998 21 0 0 25 0 1 0 908900251 44920832 8399 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8399 1111 63 0 10904 0
vsize: 43868
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8595 0 0 0 65998 21 0 0 25 0 1 0 908900251 45371392 8515 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8515 1111 63 0 11014 0
vsize: 44308
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8712 0 0 0 66998 21 0 0 25 0 1 0 908900251 45973504 8632 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8632 1111 63 0 11161 0
vsize: 44896
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8822 0 0 0 67998 22 0 0 25 0 1 0 908900251 46419968 8742 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8742 1111 63 0 11270 0
vsize: 45332
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 8939 0 0 0 68998 22 0 0 25 0 1 0 908900251 46874624 8859 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8859 1111 63 0 11381 0
vsize: 45776
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9076 0 0 0 69999 22 0 0 25 0 1 0 908900251 47579136 8996 4294967295 134512640 134716908 3221224560 3221222408 1077360721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 8996 1111 63 0 11553 0
vsize: 46464
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9187 0 0 0 70999 22 0 0 25 0 1 0 908900251 47996928 9107 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9107 1111 63 0 11655 0
vsize: 46872
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9303 0 0 0 71999 22 0 0 25 0 1 0 908900251 48439296 9223 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9223 1111 63 0 11763 0
vsize: 47304
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9420 0 0 0 72999 22 0 0 25 0 1 0 908900251 48893952 9340 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9340 1111 63 0 11874 0
vsize: 47748
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9536 0 0 0 73999 23 0 0 25 0 1 0 908900251 49340416 9456 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9456 1111 63 0 11983 0
vsize: 48184
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9650 0 0 0 74999 23 0 0 25 0 1 0 908900251 49795072 9570 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12157 9570 1111 63 0 12094 0
vsize: 48628
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9766 0 0 0 75999 23 0 0 25 0 1 0 908900251 50388992 9686 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9686 1111 63 0 12239 0
vsize: 49208
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9883 0 0 0 77000 23 0 0 25 0 1 0 908900251 50814976 9803 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9803 1111 63 0 12343 0
vsize: 49624
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 9993 0 0 0 78001 23 0 0 25 0 1 0 908900251 51257344 9913 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9913 1111 63 0 12451 0
vsize: 50056
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10113 0 0 0 79001 23 0 0 25 0 1 0 908900251 51712000 10033 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12625 10033 1111 63 0 12562 0
vsize: 50500
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10229 0 0 0 80001 24 0 0 25 0 1 0 908900251 52158464 10149 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12734 10149 1111 63 0 12671 0
vsize: 50936
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10347 0 0 0 81001 24 0 0 25 0 1 0 908900251 52760576 10267 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10267 1111 63 0 12818 0
vsize: 51524
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10463 0 0 0 82001 24 0 0 25 0 1 0 908900251 53207040 10383 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10383 1111 63 0 12927 0
vsize: 51960
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10582 0 0 0 83002 24 0 0 25 0 1 0 908900251 53657600 10502 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10502 1111 63 0 13037 0
vsize: 52400
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10700 0 0 0 84002 24 0 0 25 0 1 0 908900251 54108160 10620 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10620 1111 63 0 13147 0
vsize: 52840
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10817 0 0 0 85002 24 0 0 25 0 1 0 908900251 54558720 10737 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 10737 1111 63 0 13257 0
vsize: 53280
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 10934 0 0 0 86002 24 0 0 25 0 1 0 908900251 55160832 10854 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10854 1111 63 0 13404 0
vsize: 53868
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11052 0 0 0 87002 25 0 0 25 0 1 0 908900251 55607296 10972 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10972 1111 63 0 13513 0
vsize: 54304
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11170 0 0 0 88002 25 0 0 25 0 1 0 908900251 56057856 11090 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11090 1111 63 0 13623 0
vsize: 54744
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11287 0 0 0 89002 25 0 0 25 0 1 0 908900251 56508416 11207 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11404 0 0 0 90003 25 0 0 25 0 1 0 908900251 56958976 11324 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11324 1111 63 0 13843 0
vsize: 55624
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11522 0 0 0 91003 26 0 0 25 0 1 0 908900251 57552896 11442 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11442 1111 63 0 13988 0
vsize: 56204
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11641 0 0 0 92003 26 0 0 25 0 1 0 908900251 58007552 11561 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11561 1111 63 0 14099 0
vsize: 56648
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11757 0 0 0 93003 26 0 0 25 0 1 0 908900251 58454016 11677 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11677 1111 63 0 14208 0
vsize: 57084
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11875 0 0 0 94003 27 0 0 25 0 1 0 908900251 58908672 11795 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11795 1111 63 0 14319 0
vsize: 57528
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 11991 0 0 0 95003 27 0 0 25 0 1 0 908900251 59351040 11911 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11911 1111 63 0 14427 0
vsize: 57960
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12110 0 0 0 96003 27 0 0 25 0 1 0 908900251 59953152 12030 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12030 1111 63 0 14574 0
vsize: 58548
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12227 0 0 0 97003 27 0 0 25 0 1 0 908900251 60403712 12147 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12147 1111 63 0 14684 0
vsize: 58988
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12345 0 0 0 98004 27 0 0 25 0 1 0 908900251 60854272 12265 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12265 1111 63 0 14794 0
vsize: 59428
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12463 0 0 0 99004 27 0 0 25 0 1 0 908900251 61300736 12383 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12383 1111 63 0 14903 0
vsize: 59864
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12580 0 0 0 100004 28 0 0 25 0 1 0 908900251 61755392 12500 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12500 1111 63 0 15014 0
vsize: 60308
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12699 0 0 0 101004 28 0 0 25 0 1 0 908900251 62353408 12619 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12619 1111 63 0 15160 0
vsize: 60892
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12815 0 0 0 102004 28 0 0 25 0 1 0 908900251 62803968 12735 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12735 1111 63 0 15270 0
vsize: 61332
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 12933 0 0 0 103004 28 0 0 25 0 1 0 908900251 63254528 12853 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12853 1111 63 0 15380 0
vsize: 61772
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13057 0 0 0 104004 29 0 0 25 0 1 0 908900251 63700992 12977 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12977 1111 63 0 15489 0
vsize: 62208
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13176 0 0 0 105008 29 0 0 25 0 1 0 908900251 64303104 13096 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13096 1111 63 0 15636 0
vsize: 62796
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13292 0 0 0 106008 29 0 0 25 0 1 0 908900251 64749568 13212 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13212 1111 63 0 15745 0
vsize: 63232
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13417 0 0 0 107008 29 0 0 25 0 1 0 908900251 65204224 13337 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13337 1111 63 0 15856 0
vsize: 63676
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13534 0 0 0 108008 29 0 0 25 0 1 0 908900251 65650688 13454 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13454 1111 63 0 15965 0
vsize: 64112
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13653 0 0 0 109009 30 0 0 25 0 1 0 908900251 66248704 13573 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13573 1111 63 0 16111 0
vsize: 64696
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13770 0 0 0 110009 30 0 0 25 0 1 0 908900251 66699264 13690 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13690 1111 63 0 16221 0
vsize: 65136
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 13888 0 0 0 111009 30 0 0 25 0 1 0 908900251 67149824 13808 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13808 1111 63 0 16331 0
vsize: 65576
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14013 0 0 0 112009 30 0 0 25 0 1 0 908900251 67600384 13933 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13933 1111 63 0 16441 0
vsize: 66016
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14131 0 0 0 113010 30 0 0 25 0 1 0 908900251 68198400 14051 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14051 1111 63 0 16587 0
vsize: 66600
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14255 0 0 0 114010 30 0 0 25 0 1 0 908900251 68653056 14175 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14175 1111 63 0 16698 0
vsize: 67044
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14372 0 0 0 115010 31 0 0 25 0 1 0 908900251 69099520 14292 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14292 1111 63 0 16807 0
vsize: 67480
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14491 0 0 0 116010 31 0 0 25 0 1 0 908900251 69550080 14411 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14411 1111 63 0 16917 0
vsize: 67920
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14608 0 0 0 117010 31 0 0 25 0 1 0 908900251 70148096 14528 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14528 1111 63 0 17063 0
vsize: 68504
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14733 0 0 0 118010 31 0 0 25 0 1 0 908900251 70598656 14653 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14653 1111 63 0 17173 0
vsize: 68944
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14856 0 0 0 119011 31 0 0 25 0 1 0 908900251 71045120 14776 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14776 1111 63 0 17282 0
vsize: 69380
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) R 9803 25568 25567 0 -1 0 14976 0 0 0 120011 31 0 0 25 0 1 0 908900251 71647232 14896 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14896 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9804
Raw data (stat): 9804 (bsolo_lpr_cuts-) Z 9803 25568 25567 0 -1 1036 14976 0 0 0 120011 34 0 0 25 0 1 0 908900251 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.09
CPU time (s): 1200.46
CPU user time (s): 1200.11
CPU system time (s): 0.348946
CPU usage (%): 100.031
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####