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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40770

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 21:42:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28823 boxname=wulflinc1 idbench=209 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc1/normalized-par32-4-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-4-c.opb
IDLAUNCH: 28823
/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:        849148 kB
Buffers:         28712 kB
Cached:         132456 kB
SwapCached:       1148 kB
Active:          43412 kB
Inactive:       119996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        848896 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16340 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:02:26 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28823 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2666 variables and 6659 constraints.
c After prepocess the problem consists of 2601 variables and 8508 constraints.
c preprocess terminated 56.955 s
c Initial Lower Bound: 849
c Lower Bound Elapsed time: 24.3446
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 s
#### 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.84 0.94 0.90 2/55 26433
Raw data (stat): 26433 (runsolver) R 26432 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848105416 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99999 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 6439 0 0 0 981 16 0 0 25 0 1 0 848105416 18231296 3607 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3607 1111 63 0 4388 0
vsize: 17804
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 6439 0 0 0 1981 16 0 0 25 0 1 0 848105416 18231296 3607 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3607 1111 63 0 4388 0
vsize: 17804
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 6453 0 0 0 2982 16 0 0 25 0 1 0 848105416 18366464 3621 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 3621 1111 63 0 4421 0
vsize: 17936
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 6608 0 0 0 3982 16 0 0 25 0 1 0 848105416 19042304 3776 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4649 3776 1111 63 0 4586 0
vsize: 18596
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 6731 0 0 0 4982 16 0 0 25 0 1 0 848105416 19447808 3899 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 3899 1111 63 0 4685 0
vsize: 18992
[startup+60.001 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 7948 0 0 0 5979 19 0 0 25 0 1 0 848105416 24424448 5116 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5963 5116 1111 63 0 5900 0
vsize: 23852
[startup+70.0007 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9340 0 0 0 6974 24 0 0 25 0 1 0 848105416 30785536 6198 4294967295 134512640 134716908 3221224576 3221221136 1075967926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6198 1111 63 0 7453 0
vsize: 30064
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9377 0 0 0 7974 24 0 0 25 0 1 0 848105416 30785536 6235 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6235 1111 63 0 7453 0
vsize: 30064
[startup+90.0012 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9388 0 0 0 8974 24 0 0 25 0 1 0 848105416 30785536 6246 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6246 1111 63 0 7453 0
vsize: 30064
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9604 0 0 0 9974 25 0 0 25 0 1 0 848105416 29683712 6191 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 6191 1111 63 0 7184 0
vsize: 28988
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9605 0 0 0 10974 25 0 0 25 0 1 0 848105416 29683712 6192 4294967295 134512640 134716908 3221224576 3221220640 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 6192 1111 63 0 7184 0
vsize: 28988
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9644 0 0 0 11974 25 0 0 25 0 1 0 848105416 31129600 6231 4294967295 134512640 134716908 3221224576 3221221248 1076084176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7600 6231 1111 63 0 7537 0
vsize: 30400
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 9832 0 0 0 12974 25 0 0 25 0 1 0 848105416 31465472 6419 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7682 6419 1111 63 0 7619 0
vsize: 30728
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 12600 0 0 0 13967 32 0 0 25 0 1 0 848105416 31404032 6220 4294967295 134512640 134716908 3221224576 3221220752 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7667 6220 1111 63 0 7604 0
vsize: 30668
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 12987 0 0 0 14966 33 0 0 25 0 1 0 848105416 30306304 6299 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7399 6299 1111 63 0 7336 0
vsize: 29596
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 15949 0 0 0 15959 40 0 0 25 0 1 0 848105416 30683136 6374 4294967295 134512640 134716908 3221224576 3221220848 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6374 1111 63 0 7428 0
vsize: 29964
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 18717 0 0 0 16953 46 0 0 25 0 1 0 848105416 32116736 6408 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7841 6408 1111 63 0 7778 0
vsize: 31364
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 20611 0 0 0 17948 52 0 0 25 0 1 0 848105416 26578944 5733 4294967295 134512640 134716908 3221224576 3221222760 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5734 1111 63 0 6426 0
vsize: 25956
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 21788 0 0 0 18946 55 0 0 25 0 1 0 848105416 30863360 6424 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7535 6424 1111 63 0 7472 0
vsize: 30140
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 23443 0 0 0 19942 58 0 0 25 0 1 0 848105416 27033600 5854 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 5854 1111 63 0 6537 0
vsize: 26400
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 24939 0 0 0 20939 62 0 0 25 0 1 0 848105416 30941184 6436 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7554 6436 1111 63 0 7491 0
vsize: 30216
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 24976 0 0 0 21939 62 0 0 25 0 1 0 848105416 31076352 6467 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7587 6467 1111 63 0 7524 0
vsize: 30348
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 28068 0 0 0 22932 69 0 0 25 0 1 0 848105416 31236096 6481 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6481 1111 63 0 7563 0
vsize: 30504
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 28093 0 0 0 23932 69 0 0 25 0 1 0 848105416 31236096 6506 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6506 1111 63 0 7563 0
vsize: 30504
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 28115 0 0 0 24932 69 0 0 25 0 1 0 848105416 31576064 6528 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7709 6528 1111 63 0 7646 0
vsize: 30836
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 29802 0 0 0 25928 74 0 0 25 0 1 0 848105416 27574272 5838 4294967295 134512640 134716908 3221224576 3221222208 1075829479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5838 1111 63 0 6669 0
vsize: 26928
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 32642 0 0 0 26921 81 0 0 25 0 1 0 848105416 27320320 5932 4294967295 134512640 134716908 3221224576 3221222892 1075120404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6670 5932 1111 63 0 6607 0
vsize: 26680
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 35807 0 0 0 27913 89 0 0 25 0 1 0 848105416 27430912 5951 4294967295 134512640 134716908 3221224576 3221223024 1074032768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6697 5951 1111 63 0 6634 0
vsize: 26788
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 37353 0 0 0 28910 93 0 0 25 0 1 0 848105416 31469568 6537 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7683 6537 1111 63 0 7620 0
vsize: 30732
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 37430 0 0 0 29910 93 0 0 25 0 1 0 848105416 31805440 6614 4294967295 134512640 134716908 3221224576 3221221020 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7765 6614 1111 63 0 7702 0
vsize: 31060
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38344 0 0 0 30906 96 0 0 25 0 1 0 848105416 26050560 5646 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6360 5646 1111 63 0 6297 0
vsize: 25440
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38438 0 0 0 31906 96 0 0 25 0 1 0 848105416 26456064 5740 4294967295 134512640 134716908 3221224576 3221223132 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 5740 1111 63 0 6396 0
vsize: 25836
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38528 0 0 0 32906 97 0 0 25 0 1 0 848105416 26861568 5830 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6558 5830 1111 63 0 6495 0
vsize: 26232
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38623 0 0 0 33906 97 0 0 25 0 1 0 848105416 27267072 5925 4294967295 134512640 134716908 3221224576 3221223264 134528607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6657 5925 1111 63 0 6594 0
vsize: 26628
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38713 0 0 0 34906 97 0 0 25 0 1 0 848105416 27672576 6015 4294967295 134512640 134716908 3221224576 3221223116 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 6015 1111 63 0 6693 0
vsize: 27024
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38803 0 0 0 35905 98 0 0 25 0 1 0 848105416 27942912 6105 4294967295 134512640 134716908 3221224576 3221223332 134655231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6105 1111 63 0 6759 0
vsize: 27288
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38886 0 0 0 36905 99 0 0 25 0 1 0 848105416 28348416 6188 4294967295 134512640 134716908 3221224576 3221223232 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6921 6188 1111 63 0 6858 0
vsize: 27684
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 38961 0 0 0 37904 99 0 0 25 0 1 0 848105416 28618752 6263 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6987 6263 1111 63 0 6924 0
vsize: 27948
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39052 0 0 0 38904 100 0 0 25 0 1 0 848105416 29024256 6354 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6354 1111 63 0 7023 0
vsize: 28344
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39136 0 0 0 39904 101 0 0 25 0 1 0 848105416 29294592 6438 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7152 6438 1111 63 0 7089 0
vsize: 28608
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39221 0 0 0 40903 101 0 0 25 0 1 0 848105416 29700096 6523 4294967295 134512640 134716908 3221224576 3221223116 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7251 6523 1111 63 0 7188 0
vsize: 29004
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39294 0 0 0 41903 101 0 0 25 0 1 0 848105416 29970432 6596 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7317 6596 1111 63 0 7254 0
vsize: 29268
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39371 0 0 0 42903 102 0 0 25 0 1 0 848105416 30375936 6673 4294967295 134512640 134716908 3221224576 3221223184 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 6673 1111 63 0 7353 0
vsize: 29664
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39449 0 0 0 43903 102 0 0 25 0 1 0 848105416 30646272 6751 4294967295 134512640 134716908 3221224576 3221223264 134523374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6751 1111 63 0 7419 0
vsize: 29928
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39522 0 0 0 44903 102 0 0 25 0 1 0 848105416 30916608 6824 4294967295 134512640 134716908 3221224576 3221223304 134535787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7548 6824 1111 63 0 7485 0
vsize: 30192
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39605 0 0 0 45903 102 0 0 25 0 1 0 848105416 31322112 6907 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7647 6907 1111 63 0 7584 0
vsize: 30588
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39688 0 0 0 46903 103 0 0 25 0 1 0 848105416 31592448 6990 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7713 6990 1111 63 0 7650 0
vsize: 30852
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39761 0 0 0 47902 103 0 0 25 0 1 0 848105416 31862784 7063 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 7063 1111 63 0 7716 0
vsize: 31116
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39834 0 0 0 48902 104 0 0 25 0 1 0 848105416 32268288 7136 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7878 7136 1111 63 0 7815 0
vsize: 31512
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39915 0 0 0 49902 104 0 0 25 0 1 0 848105416 32538624 7217 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7944 7217 1111 63 0 7881 0
vsize: 31776
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 39994 0 0 0 50902 104 0 0 25 0 1 0 848105416 32808960 7296 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8010 7296 1111 63 0 7947 0
vsize: 32040
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40074 0 0 0 51901 105 0 0 25 0 1 0 848105416 33214464 7376 4294967295 134512640 134716908 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7376 1111 63 0 8046 0
vsize: 32436
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40149 0 0 0 52901 105 0 0 25 0 1 0 848105416 33484800 7451 4294967295 134512640 134716908 3221224576 3221223296 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 7451 1111 63 0 8112 0
vsize: 32700
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40221 0 0 0 53901 106 0 0 25 0 1 0 848105416 33755136 7523 4294967295 134512640 134716908 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7523 1111 63 0 8178 0
vsize: 32964
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40295 0 0 0 54901 106 0 0 25 0 1 0 848105416 34160640 7597 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 7597 1111 63 0 8277 0
vsize: 33360
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40371 0 0 0 55901 106 0 0 25 0 1 0 848105416 34430976 7673 4294967295 134512640 134716908 3221224576 3221223200 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8406 7673 1111 63 0 8343 0
vsize: 33624
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40445 0 0 0 56901 107 0 0 25 0 1 0 848105416 34701312 7747 4294967295 134512640 134716908 3221224576 3221223168 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8472 7747 1111 63 0 8409 0
vsize: 33888
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40520 0 0 0 57901 107 0 0 25 0 1 0 848105416 34971648 7822 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8538 7822 1111 63 0 8475 0
vsize: 34152
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40599 0 0 0 58901 107 0 0 25 0 1 0 848105416 35377152 7901 4294967295 134512640 134716908 3221224576 3221223244 134543121 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8637 7901 1111 63 0 8574 0
vsize: 34548
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40678 0 0 0 59901 107 0 0 25 0 1 0 848105416 35643392 7980 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8702 7980 1111 63 0 8639 0
vsize: 34808
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40754 0 0 0 60900 108 0 0 25 0 1 0 848105416 36048896 8056 4294967295 134512640 134716908 3221224576 3221223184 134543719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8801 8056 1111 63 0 8738 0
vsize: 35204
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40833 0 0 0 61900 108 0 0 25 0 1 0 848105416 36319232 8135 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8867 8135 1111 63 0 8804 0
vsize: 35468
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40906 0 0 0 62900 108 0 0 25 0 1 0 848105416 36589568 8208 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8933 8208 1111 63 0 8870 0
vsize: 35732
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 40979 0 0 0 63900 109 0 0 25 0 1 0 848105416 36859904 8281 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 8281 1111 63 0 8936 0
vsize: 35996
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41056 0 0 0 64900 109 0 0 25 0 1 0 848105416 37265408 8358 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 8358 1111 63 0 9035 0
vsize: 36392
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41127 0 0 0 65900 109 0 0 25 0 1 0 848105416 37535744 8429 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9164 8429 1111 63 0 9101 0
vsize: 36656
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41206 0 0 0 66899 110 0 0 25 0 1 0 848105416 37806080 8508 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9230 8508 1111 63 0 9167 0
vsize: 36920
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41279 0 0 0 67899 110 0 0 25 0 1 0 848105416 38076416 8581 4294967295 134512640 134716908 3221224576 3221223248 134542963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9296 8581 1111 63 0 9233 0
vsize: 37184
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41350 0 0 0 68899 111 0 0 25 0 1 0 848105416 38481920 8652 4294967295 134512640 134716908 3221224576 3221223348 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9395 8652 1111 63 0 9332 0
vsize: 37580
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41426 0 0 0 69898 111 0 0 25 0 1 0 848105416 38752256 8728 4294967295 134512640 134716908 3221224576 3221223200 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 8728 1111 63 0 9398 0
vsize: 37844
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41502 0 0 0 70898 112 0 0 25 0 1 0 848105416 39018496 8804 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9526 8804 1111 63 0 9463 0
vsize: 38104
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41573 0 0 0 71898 112 0 0 25 0 1 0 848105416 39288832 8875 4294967295 134512640 134716908 3221224576 3221223296 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 8875 1111 63 0 9529 0
vsize: 38368
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41642 0 0 0 72898 112 0 0 25 0 1 0 848105416 39559168 8944 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 8944 1111 63 0 9595 0
vsize: 38632
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41718 0 0 0 73898 112 0 0 25 0 1 0 848105416 39964672 9020 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9757 9020 1111 63 0 9694 0
vsize: 39028
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41788 0 0 0 74898 113 0 0 25 0 1 0 848105416 40235008 9090 4294967295 134512640 134716908 3221224576 3221223336 134655205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9823 9090 1111 63 0 9760 0
vsize: 39292
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41869 0 0 0 75898 113 0 0 25 0 1 0 848105416 40505344 9171 4294967295 134512640 134716908 3221224576 3221223168 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9889 9171 1111 63 0 9826 0
vsize: 39556
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 41941 0 0 0 76897 114 0 0 25 0 1 0 848105416 40910848 9243 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9988 9243 1111 63 0 9925 0
vsize: 39952
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42012 0 0 0 77897 114 0 0 25 0 1 0 848105416 41181184 9314 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10054 9314 1111 63 0 9991 0
vsize: 40216
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42088 0 0 0 78897 114 0 0 25 0 1 0 848105416 41451520 9390 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10120 9390 1111 63 0 10057 0
vsize: 40480
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42160 0 0 0 79897 115 0 0 25 0 1 0 848105416 41717760 9462 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10185 9462 1111 63 0 10122 0
vsize: 40740
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42230 0 0 0 80897 115 0 0 25 0 1 0 848105416 41988096 9532 4294967295 134512640 134716908 3221224576 3221223272 134523854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10251 9532 1111 63 0 10188 0
vsize: 41004
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42313 0 0 0 81897 115 0 0 25 0 1 0 848105416 42393600 9615 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10350 9615 1111 63 0 10287 0
vsize: 41400
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42384 0 0 0 82896 116 0 0 25 0 1 0 848105416 42663936 9686 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10416 9686 1111 63 0 10353 0
vsize: 41664
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42457 0 0 0 83896 116 0 0 25 0 1 0 848105416 42934272 9759 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10482 9759 1111 63 0 10419 0
vsize: 41928
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42531 0 0 0 84896 116 0 0 25 0 1 0 848105416 43212800 9833 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10550 9833 1111 63 0 10487 0
vsize: 42200
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42599 0 0 0 85896 117 0 0 25 0 1 0 848105416 43483136 9901 4294967295 134512640 134716908 3221224576 3221223164 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10616 9901 1111 63 0 10553 0
vsize: 42464
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42672 0 0 0 86896 117 0 0 25 0 1 0 848105416 43888640 9974 4294967295 134512640 134716908 3221224576 3221223200 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10715 9974 1111 63 0 10652 0
vsize: 42860
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42743 0 0 0 87896 117 0 0 25 0 1 0 848105416 44163072 10045 4294967295 134512640 134716908 3221224576 3221223216 134698429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10782 10045 1111 63 0 10719 0
vsize: 43128
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42816 0 0 0 88896 118 0 0 25 0 1 0 848105416 44449792 10118 4294967295 134512640 134716908 3221224576 3221223216 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10852 10118 1111 63 0 10789 0
vsize: 43408
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42885 0 0 0 89896 118 0 0 25 0 1 0 848105416 44720128 10187 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10187 1111 63 0 10855 0
vsize: 43672
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 42955 0 0 0 90896 118 0 0 25 0 1 0 848105416 44990464 10257 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10984 10257 1111 63 0 10921 0
vsize: 43936
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43023 0 0 0 91896 118 0 0 25 0 1 0 848105416 45260800 10325 4294967295 134512640 134716908 3221224576 3221223312 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11050 10325 1111 63 0 10987 0
vsize: 44200
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43089 0 0 0 92896 118 0 0 25 0 1 0 848105416 45531136 10391 4294967295 134512640 134716908 3221224576 3221223152 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11116 10391 1111 63 0 11053 0
vsize: 44464
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43158 0 0 0 93896 119 0 0 25 0 1 0 848105416 45801472 10460 4294967295 134512640 134716908 3221224576 3221223248 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11182 10460 1111 63 0 11119 0
vsize: 44728
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43226 0 0 0 94896 119 0 0 25 0 1 0 848105416 46071808 10528 4294967295 134512640 134716908 3221224576 3221223172 134543731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11248 10528 1111 63 0 11185 0
vsize: 44992
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43294 0 0 0 95896 119 0 0 25 0 1 0 848105416 46342144 10596 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11314 10596 1111 63 0 11251 0
vsize: 45256
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43360 0 0 0 96896 119 0 0 25 0 1 0 848105416 46612480 10662 4294967295 134512640 134716908 3221224576 3221223272 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11380 10662 1111 63 0 11317 0
vsize: 45520
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43424 0 0 0 97896 120 0 0 25 0 1 0 848105416 46882816 10726 4294967295 134512640 134716908 3221224576 3221223216 134698718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11446 10726 1111 63 0 11383 0
vsize: 45784
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43495 0 0 0 98896 120 0 0 25 0 1 0 848105416 47304704 10797 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11549 10797 1111 63 0 11486 0
vsize: 46196
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43560 0 0 0 99896 120 0 0 25 0 1 0 848105416 47575040 10862 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11615 10862 1111 63 0 11552 0
vsize: 46460
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43625 0 0 0 100895 120 0 0 25 0 1 0 848105416 47845376 10927 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11681 10927 1111 63 0 11618 0
vsize: 46724
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43691 0 0 0 101895 121 0 0 25 0 1 0 848105416 48115712 10993 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11747 10993 1111 63 0 11684 0
vsize: 46988
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26433
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43758 0 0 0 102895 121 0 0 25 0 1 0 848105416 48386048 11060 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11813 11060 1111 63 0 11750 0
vsize: 47252
[startup+1040.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 26486
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43827 0 0 0 103895 121 0 0 25 0 1 0 848105416 48656384 11129 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11879 11129 1111 63 0 11816 0
vsize: 47516
[startup+1050.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 26486
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43902 0 0 0 104895 121 0 0 25 0 1 0 848105416 48939008 11204 4294967295 134512640 134716908 3221224576 3221223360 134584866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11948 11204 1111 63 0 11885 0
vsize: 47792
[startup+1060.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 26486
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 43979 0 0 0 105895 122 0 0 25 0 1 0 848105416 49209344 11281 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12014 11281 1111 63 0 11951 0
vsize: 48056
[startup+1070.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 26486
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44046 0 0 0 106895 122 0 0 25 0 1 0 848105416 49479680 11348 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12080 11348 1111 63 0 12017 0
vsize: 48320
[startup+1080.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26486
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44113 0 0 0 107895 122 0 0 25 0 1 0 848105416 49750016 11415 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12146 11415 1111 63 0 12083 0
vsize: 48584
[startup+1090.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 26488
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44182 0 0 0 108895 123 0 0 25 0 1 0 848105416 50020352 11484 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12212 11484 1111 63 0 12149 0
vsize: 48848
[startup+1100.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26488
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44244 0 0 0 109895 123 0 0 25 0 1 0 848105416 50290688 11546 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12278 11546 1111 63 0 12215 0
vsize: 49112
[startup+1110.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44311 0 0 0 110894 123 0 0 25 0 1 0 848105416 50561024 11613 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12344 11613 1111 63 0 12281 0
vsize: 49376
[startup+1120.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44375 0 0 0 111894 124 0 0 25 0 1 0 848105416 50831360 11677 4294967295 134512640 134716908 3221224576 3221223280 134535807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12410 11677 1111 63 0 12347 0
vsize: 49640
[startup+1130.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44435 0 0 0 112894 124 0 0 25 0 1 0 848105416 51101696 11737 4294967295 134512640 134716908 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 11737 1111 63 0 12413 0
vsize: 49904
[startup+1140.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44502 0 0 0 113894 124 0 0 25 0 1 0 848105416 51372032 11804 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12542 11804 1111 63 0 12479 0
vsize: 50168
[startup+1150.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44567 0 0 0 114894 124 0 0 25 0 1 0 848105416 51642368 11869 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12608 11869 1111 63 0 12545 0
vsize: 50432
[startup+1160.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44629 0 0 0 115894 125 0 0 25 0 1 0 848105416 51912704 11931 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12674 11931 1111 63 0 12611 0
vsize: 50696
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44696 0 0 0 116894 125 0 0 25 0 1 0 848105416 52183040 11998 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12740 11998 1111 63 0 12677 0
vsize: 50960
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 26490
Raw data (stat): 26433 (bsolo_lpr_cuts-) R 26432 8378 8377 0 -1 0 44696 0 0 0 116894 125 0 0 25 0 1 0 848105416 52183040 11998 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12740 11998 1111 63 0 12677 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.09
CPU user time (s): 1173.81
CPU system time (s): 1.2828
CPU usage (%): 100.013
Max. virtual memory (Kb): 50960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####