PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39138571845
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39138571845
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.960853
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41624

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 17:51:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29689 boxname=wulflinc1 idbench=1473 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 29689
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        885792 kB
Buffers:         16212 kB
Cached:         108324 kB
SwapCached:       1128 kB
Active:          32048 kB
Inactive:        94648 kB
HighTotal:      131008 kB
HighFree:        20132 kB
LowTotal:       903652 kB
LowFree:        865660 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16268 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:11:05 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 29689 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.06 0.99 0.93 1/55 8499
Raw data (stat): 8499 (runsolver) D 8498 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 855355471 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 855355471 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.001 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 1406 0 0 0 1993 4 0 0 25 0 1 0 855355471 17178624 1326 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1326 1111 63 0 4131 0
vsize: 16776
[startup+30.0008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 1651 0 0 0 2993 4 0 0 25 0 1 0 855355471 18178048 1571 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1571 1111 63 0 4375 0
vsize: 17752
[startup+40.0016 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 1898 0 0 0 3992 5 0 0 25 0 1 0 855355471 19165184 1818 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1818 1111 63 0 4616 0
vsize: 18716
[startup+50.0023 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 2140 0 0 0 4992 5 0 0 25 0 1 0 855355471 20152320 2060 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2060 1111 63 0 4857 0
vsize: 19680
[startup+60.0022 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 2392 0 0 0 5992 6 0 0 25 0 1 0 855355471 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0022 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 2640 0 0 0 6992 6 0 0 25 0 1 0 855355471 22114304 2560 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2560 1111 63 0 5336 0
vsize: 21596
[startup+80.0027 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 2887 0 0 0 7992 6 0 0 25 0 1 0 855355471 23240704 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 3135 0 0 0 8992 7 0 0 25 0 1 0 855355471 24227840 3055 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3055 1111 63 0 5852 0
vsize: 23660
[startup+100.002 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 3382 0 0 0 9991 7 0 0 25 0 1 0 855355471 25214976 3302 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.002 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 3630 0 0 0 10990 8 0 0 25 0 1 0 855355471 26202112 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 3886 0 0 0 11990 9 0 0 25 0 1 0 855355471 27348992 3806 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3806 1111 63 0 6614 0
vsize: 26708
[startup+130.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 4140 0 0 0 12989 10 0 0 25 0 1 0 855355471 28336128 4060 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4060 1111 63 0 6855 0
vsize: 27672
[startup+140.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 4389 0 0 0 13989 10 0 0 25 0 1 0 855355471 29315072 4309 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4309 1111 63 0 7094 0
vsize: 28628
[startup+150.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 4642 0 0 0 14989 11 0 0 25 0 1 0 855355471 30441472 4562 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4562 1111 63 0 7369 0
vsize: 29728
[startup+160.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 4890 0 0 0 15988 12 0 0 25 0 1 0 855355471 31428608 4810 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4810 1111 63 0 7610 0
vsize: 30692
[startup+170.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 5140 0 0 0 16988 12 0 0 25 0 1 0 855355471 32415744 5060 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5060 1111 63 0 7851 0
vsize: 31656
[startup+180.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 5395 0 0 0 17988 12 0 0 25 0 1 0 855355471 33402880 5315 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5315 1111 63 0 8092 0
vsize: 32620
[startup+190.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 5649 0 0 0 18988 13 0 0 25 0 1 0 855355471 34529280 5569 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5569 1111 63 0 8367 0
vsize: 33720
[startup+200.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 5897 0 0 0 19987 13 0 0 25 0 1 0 855355471 35516416 5817 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5817 1111 63 0 8608 0
vsize: 34684
[startup+210.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 6152 0 0 0 20987 14 0 0 25 0 1 0 855355471 36495360 6072 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6072 1111 63 0 8847 0
vsize: 35640
[startup+220.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 6405 0 0 0 21987 14 0 0 25 0 1 0 855355471 37625856 6325 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6325 1111 63 0 9123 0
vsize: 36744
[startup+230.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 6671 0 0 0 22986 15 0 0 25 0 1 0 855355471 38760448 6591 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6591 1111 63 0 9400 0
vsize: 37852
[startup+240.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 6925 0 0 0 23986 15 0 0 25 0 1 0 855355471 39747584 6845 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6845 1111 63 0 9641 0
vsize: 38816
[startup+250.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 7181 0 0 0 24985 16 0 0 25 0 1 0 855355471 40878080 7101 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7101 1111 63 0 9917 0
vsize: 39920
[startup+260.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 7437 0 0 0 25985 16 0 0 25 0 1 0 855355471 41861120 7357 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7357 1111 63 0 10157 0
vsize: 40880
[startup+270.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 7691 0 0 0 26985 17 0 0 25 0 1 0 855355471 42848256 7611 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7611 1111 63 0 10398 0
vsize: 41844
[startup+280.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 7947 0 0 0 27985 17 0 0 25 0 1 0 855355471 43974656 7867 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7867 1111 63 0 10673 0
vsize: 42944
[startup+290.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 8207 0 0 0 28985 17 0 0 25 0 1 0 855355471 44957696 8127 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 8127 1111 63 0 10913 0
vsize: 43904
[startup+300.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 8462 0 0 0 29984 18 0 0 25 0 1 0 855355471 46084096 8382 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8382 1111 63 0 11188 0
vsize: 45004
[startup+310.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 8725 0 0 0 30984 18 0 0 25 0 1 0 855355471 47071232 8645 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 8645 1111 63 0 11429 0
vsize: 45968
[startup+320.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 8980 0 0 0 31984 19 0 0 25 0 1 0 855355471 48197632 8900 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8900 1111 63 0 11704 0
vsize: 47068
[startup+330.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 9242 0 0 0 32983 20 0 0 25 0 1 0 855355471 49184768 9162 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9162 1111 63 0 11945 0
vsize: 48032
[startup+340.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 9505 0 0 0 33983 20 0 0 25 0 1 0 855355471 50311168 9425 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9425 1111 63 0 12220 0
vsize: 49132
[startup+350.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 9766 0 0 0 34983 20 0 0 25 0 1 0 855355471 51437568 9686 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12558 9686 1111 63 0 12495 0
vsize: 50232
[startup+360.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 10022 0 0 0 35983 21 0 0 25 0 1 0 855355471 52424704 9942 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9942 1111 63 0 12736 0
vsize: 51196
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 10284 0 0 0 36982 22 0 0 25 0 1 0 855355471 53551104 10204 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 10204 1111 63 0 13011 0
vsize: 52296
[startup+380.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 10544 0 0 0 37982 22 0 0 25 0 1 0 855355471 54530048 10464 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10464 1111 63 0 13250 0
vsize: 53252
[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 10808 0 0 0 38981 23 0 0 25 0 1 0 855355471 55656448 10728 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10728 1111 63 0 13525 0
vsize: 54352
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 11069 0 0 0 39981 23 0 0 25 0 1 0 855355471 56643584 10989 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 10989 1111 63 0 13766 0
vsize: 55316
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 11337 0 0 0 40980 24 0 0 25 0 1 0 855355471 57774080 11257 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11257 1111 63 0 14042 0
vsize: 56420
[startup+420.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 11598 0 0 0 41980 24 0 0 25 0 1 0 855355471 58900480 11518 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11519 1111 63 0 14317 0
vsize: 57520
[startup+430.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 11860 0 0 0 42980 25 0 0 25 0 1 0 855355471 59883520 11780 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11780 1111 63 0 14557 0
vsize: 58480
[startup+440.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 12140 0 0 0 43980 25 0 0 25 0 1 0 855355471 61231104 12060 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12060 1111 63 0 14886 0
vsize: 59796
[startup+450.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 12409 0 0 0 44980 25 0 0 25 0 1 0 855355471 62357504 12329 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12329 1111 63 0 15161 0
vsize: 60896
[startup+460.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 12678 0 0 0 45980 26 0 0 25 0 1 0 855355471 63340544 12598 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12598 1111 63 0 15401 0
vsize: 61856
[startup+470.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 12938 0 0 0 46980 26 0 0 25 0 1 0 855355471 64466944 12858 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12858 1111 63 0 15676 0
vsize: 62956
[startup+480.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 13207 0 0 0 47980 26 0 0 25 0 1 0 855355471 65593344 13127 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13127 1111 63 0 15951 0
vsize: 64056
[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 13476 0 0 0 48980 26 0 0 25 0 1 0 855355471 66719744 13396 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16289 13396 1111 63 0 16226 0
vsize: 65156
[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 13739 0 0 0 49979 27 0 0 25 0 1 0 855355471 67706880 13659 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13659 1111 63 0 16467 0
vsize: 66120
[startup+510.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 14013 0 0 0 50979 27 0 0 25 0 1 0 855355471 68833280 13933 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13933 1111 63 0 16742 0
vsize: 67220
[startup+520.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 14277 0 0 0 51978 28 0 0 25 0 1 0 855355471 69959680 14197 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14197 1111 63 0 17017 0
vsize: 68320
[startup+530.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 14552 0 0 0 52979 28 0 0 25 0 1 0 855355471 71086080 14472 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14472 1111 63 0 17292 0
vsize: 69420
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8499
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 14822 0 0 0 53979 28 0 0 25 0 1 0 855355471 72212480 14742 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17630 14742 1111 63 0 17567 0
vsize: 70520
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8552
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 15090 0 0 0 54977 29 0 0 25 0 1 0 855355471 73199616 15010 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15010 1111 63 0 17808 0
vsize: 71484
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8552
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 15366 0 0 0 55977 29 0 0 25 0 1 0 855355471 74326016 15286 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15286 1111 63 0 18083 0
vsize: 72584
[startup+570.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8552
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 15635 0 0 0 56977 29 0 0 25 0 1 0 855355471 75452416 15555 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15555 1111 63 0 18358 0
vsize: 73684
[startup+580.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8552
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 15911 0 0 0 57977 30 0 0 25 0 1 0 855355471 76578816 15831 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15831 1111 63 0 18633 0
vsize: 74784
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8552
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 16181 0 0 0 58976 31 0 0 25 0 1 0 855355471 77701120 16101 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16101 1111 63 0 18907 0
vsize: 75880
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8554
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 16454 0 0 0 59975 32 0 0 25 0 1 0 855355471 78827520 16374 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16374 1111 63 0 19182 0
vsize: 76980
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 16731 0 0 0 60974 33 0 0 25 0 1 0 855355471 79953920 16651 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16651 1111 63 0 19457 0
vsize: 78080
[startup+620.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 17007 0 0 0 61973 33 0 0 25 0 1 0 855355471 81080320 16927 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16927 1111 63 0 19732 0
vsize: 79180
[startup+630.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 17283 0 0 0 62973 34 0 0 25 0 1 0 855355471 82206720 17203 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17203 1111 63 0 20007 0
vsize: 80280
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 17559 0 0 0 63972 35 0 0 25 0 1 0 855355471 83333120 17479 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17479 1111 63 0 20282 0
vsize: 81380
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 17840 0 0 0 64972 35 0 0 25 0 1 0 855355471 84459520 17760 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17760 1111 63 0 20557 0
vsize: 82480
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 18117 0 0 0 65971 36 0 0 25 0 1 0 855355471 85590016 18037 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18037 1111 63 0 20833 0
vsize: 83584
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 18399 0 0 0 66971 36 0 0 25 0 1 0 855355471 86716416 18319 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18319 1111 63 0 21108 0
vsize: 84684
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 18676 0 0 0 67970 37 0 0 25 0 1 0 855355471 87842816 18596 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18596 1111 63 0 21383 0
vsize: 85784
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 18952 0 0 0 68970 38 0 0 25 0 1 0 855355471 88969216 18872 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18872 1111 63 0 21658 0
vsize: 86884
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 19240 0 0 0 69970 38 0 0 25 0 1 0 855355471 90234880 19160 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 19160 1111 63 0 21967 0
vsize: 88120
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 19517 0 0 0 70970 38 0 0 25 0 1 0 855355471 91365376 19437 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 19437 1111 63 0 22243 0
vsize: 89224
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 19800 0 0 0 71969 39 0 0 25 0 1 0 855355471 92491776 19720 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 19720 1111 63 0 22518 0
vsize: 90324
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 20083 0 0 0 72969 40 0 0 25 0 1 0 855355471 93618176 20003 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 20003 1111 63 0 22793 0
vsize: 91424
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 20365 0 0 0 73968 40 0 0 25 0 1 0 855355471 94744576 20285 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23131 20285 1111 63 0 23068 0
vsize: 92524
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 20647 0 0 0 74968 41 0 0 25 0 1 0 855355471 96010240 20567 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23440 20567 1111 63 0 23377 0
vsize: 93760
[startup+760.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 20937 0 0 0 75968 41 0 0 25 0 1 0 855355471 97136640 20857 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20857 1111 63 0 23652 0
vsize: 94860
[startup+770.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 21214 0 0 0 76967 42 0 0 25 0 1 0 855355471 98263040 21134 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21134 1111 63 0 23927 0
vsize: 95960
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 21503 0 0 0 77967 43 0 0 25 0 1 0 855355471 99385344 21423 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21423 1111 63 0 24201 0
vsize: 97056
[startup+790.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 21793 0 0 0 78966 44 0 0 25 0 1 0 855355471 100659200 21713 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24575 21713 1111 63 0 24512 0
vsize: 98300
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 22081 0 0 0 79965 44 0 0 25 0 1 0 855355471 101777408 22001 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 22001 1111 63 0 24785 0
vsize: 99392
[startup+810.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 22365 0 0 0 80964 45 0 0 25 0 1 0 855355471 102903808 22285 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22285 1111 63 0 25060 0
vsize: 100492
[startup+820.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 22653 0 0 0 81964 46 0 0 25 0 1 0 855355471 104169472 22573 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22573 1111 63 0 25369 0
vsize: 101728
[startup+830.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 22940 0 0 0 82964 46 0 0 25 0 1 0 855355471 105295872 22860 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22860 1111 63 0 25644 0
vsize: 102828
[startup+840.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 23263 0 0 0 83964 47 0 0 25 0 1 0 855355471 106926080 23183 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 23183 1111 63 0 26042 0
vsize: 104420
[startup+850.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 23552 0 0 0 84964 47 0 0 25 0 1 0 855355471 108052480 23472 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23472 1111 63 0 26317 0
vsize: 105520
[startup+860.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8556
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 23849 0 0 0 85963 48 0 0 25 0 1 0 855355471 109318144 23769 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 23769 1111 63 0 26626 0
vsize: 106756
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 24138 0 0 0 86963 48 0 0 25 0 1 0 855355471 110444544 24058 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24058 1111 63 0 26901 0
vsize: 107856
[startup+880.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 24429 0 0 0 87963 49 0 0 25 0 1 0 855355471 111710208 24349 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24349 1111 63 0 27210 0
vsize: 109092
[startup+890.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 24718 0 0 0 88962 49 0 0 25 0 1 0 855355471 112840704 24638 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24638 1111 63 0 27486 0
vsize: 110196
[startup+900.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 25015 0 0 0 89962 50 0 0 25 0 1 0 855355471 114106368 24935 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24935 1111 63 0 27795 0
vsize: 111432
[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 25311 0 0 0 90961 51 0 0 25 0 1 0 855355471 115232768 25231 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25231 1111 63 0 28070 0
vsize: 112532
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 25607 0 0 0 91960 52 0 0 25 0 1 0 855355471 116498432 25527 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25527 1111 63 0 28379 0
vsize: 113768
[startup+930.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 25904 0 0 0 92960 52 0 0 25 0 1 0 855355471 117624832 25824 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25824 1111 63 0 28654 0
vsize: 114868
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 26200 0 0 0 93960 52 0 0 25 0 1 0 855355471 118894592 26120 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29027 26120 1111 63 0 28964 0
vsize: 116108
[startup+950.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 26498 0 0 0 94960 53 0 0 25 0 1 0 855355471 120160256 26418 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 26418 1111 63 0 29273 0
vsize: 117344
[startup+960.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 26800 0 0 0 95960 53 0 0 25 0 1 0 855355471 121286656 26720 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26720 1111 63 0 29548 0
vsize: 118444
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 27097 0 0 0 96959 54 0 0 25 0 1 0 855355471 122556416 27017 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29921 27017 1111 63 0 29858 0
vsize: 119684
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 27395 0 0 0 97959 54 0 0 25 0 1 0 855355471 123826176 27315 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30231 27315 1111 63 0 30168 0
vsize: 120924
[startup+990.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 27697 0 0 0 98958 55 0 0 25 0 1 0 855355471 124948480 27617 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27617 1111 63 0 30442 0
vsize: 122020
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 28001 0 0 0 99958 55 0 0 25 0 1 0 855355471 126222336 27921 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27921 1111 63 0 30753 0
vsize: 123264
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 28304 0 0 0 100957 56 0 0 25 0 1 0 855355471 127488000 28224 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 28224 1111 63 0 31062 0
vsize: 124500
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 28608 0 0 0 101957 57 0 0 25 0 1 0 855355471 128753664 28528 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31434 28528 1111 63 0 31371 0
vsize: 125736
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 28911 0 0 0 102957 57 0 0 25 0 1 0 855355471 130019328 28831 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28831 1111 63 0 31680 0
vsize: 126972
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 29213 0 0 0 103956 58 0 0 25 0 1 0 855355471 131145728 29133 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29133 1111 63 0 31955 0
vsize: 128072
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 29518 0 0 0 104955 59 0 0 25 0 1 0 855355471 132415488 29438 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32328 29438 1111 63 0 32265 0
vsize: 129312
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 29820 0 0 0 105955 59 0 0 25 0 1 0 855355471 133681152 29740 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 29740 1111 63 0 32574 0
vsize: 130548
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 30124 0 0 0 106955 60 0 0 25 0 1 0 855355471 134950912 30044 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32947 30044 1111 63 0 32884 0
vsize: 131788
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 30427 0 0 0 107954 60 0 0 25 0 1 0 855355471 136216576 30347 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33256 30347 1111 63 0 33193 0
vsize: 133024
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 30738 0 0 0 108954 61 0 0 25 0 1 0 855355471 137482240 30658 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30658 1111 63 0 33502 0
vsize: 134260
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 31047 0 0 0 109954 61 0 0 25 0 1 0 855355471 138747904 30967 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33874 30967 1111 63 0 33811 0
vsize: 135496
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 31352 0 0 0 110954 62 0 0 25 0 1 0 855355471 139874304 31272 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34149 31272 1111 63 0 34086 0
vsize: 136596
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 31667 0 0 0 111953 62 0 0 25 0 1 0 855355471 141283328 31587 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31587 1111 63 0 34430 0
vsize: 137972
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 31970 0 0 0 112953 63 0 0 25 0 1 0 855355471 142409728 31890 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 31890 1111 63 0 34705 0
vsize: 139072
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 32288 0 0 0 113953 63 0 0 25 0 1 0 855355471 143814656 32208 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35111 32208 1111 63 0 35048 0
vsize: 140444
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 32597 0 0 0 114952 64 0 0 25 0 1 0 855355471 145084416 32517 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35421 32517 1111 63 0 35358 0
vsize: 141684
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 32909 0 0 0 115952 64 0 0 25 0 1 0 855355471 146350080 32829 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35730 32829 1111 63 0 35667 0
vsize: 142920
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 33224 0 0 0 116951 65 0 0 25 0 1 0 855355471 147619840 33144 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36040 33144 1111 63 0 35977 0
vsize: 144160
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 33536 0 0 0 117951 65 0 0 25 0 1 0 855355471 148885504 33456 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36349 33456 1111 63 0 36286 0
vsize: 145396
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 33846 0 0 0 118951 66 0 0 25 0 1 0 855355471 150151168 33766 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36658 33766 1111 63 0 36595 0
vsize: 146632
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) R 8498 8378 8377 0 -1 0 34165 0 0 0 119950 67 0 0 25 0 1 0 855355471 151416832 34085 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36967 34085 1111 63 0 36904 0
vsize: 147868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 8558
Raw data (stat): 8499 (bsolo_lpr_cuts-) Z 8498 8378 8377 0 -1 1036 34165 0 0 0 119950 73 0 0 25 0 1 0 855355471 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.24
CPU user time (s): 1199.51
CPU system time (s): 0.734888
CPU usage (%): 100.013
Max. virtual memory (Kb): 147868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####