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-ssa2670-130.opb
MD5SUM	600cdaf1f0eedf797341aa9f45a30b93
Bench Category	optimization, small integers (OPTSMALLINT)
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	2718
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	2718
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	2718
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.164974
Number of variables	2718
Total number of constraints	4680
Number of constraints which are clauses	4680
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	1
Maximum length of a constraint	5
Trace number 40799

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 21:57:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28838 boxname=wulflinc6 idbench=224 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  600cdaf1f0eedf797341aa9f45a30b93  /oldhome/oroussel/tmp/wulflinc6/normalized-ssa2670-130.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ssa2670-130.opb
IDLAUNCH: 28838
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917908 kB
Buffers:         30044 kB
Cached:          65360 kB
SwapCached:       1292 kB
Active:          30108 kB
Inactive:        67688 kB
HighTotal:      131008 kB
HighFree:        81480 kB
LowTotal:       903652 kB
LowFree:        836428 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13252 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:17:30 (client local time) WITH STATUS 0 IN 1175.87 SECONDS
stats: 28838 7 1175.87 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2718 variables and 4680 constraints.
c After prepocess the problem consists of 715 variables and 1657 constraints.
c preprocess terminated 262.054 s
c Initial Lower Bound: 1269
c Lower Bound Elapsed time: 0.847625
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.8 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.74 0.86 0.87 1/54 3144
Raw data (stat): 3144 (runsolver) D 3143 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 905051771 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.0008 s]
Raw data (loadavg): 0.78 0.86 0.87 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 6779 0 0 0 980 16 0 0 25 0 1 0 905051771 18444288 3659 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 3659 1111 63 0 4440 0
vsize: 18012
[startup+20.0011 s]
Raw data (loadavg): 0.81 0.87 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 58334 0 0 0 1845 152 0 0 25 0 1 0 905051771 26025984 5494 4294967295 134512640 134716908 3221224576 3221223152 134523974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6354 5494 1111 63 0 6291 0
vsize: 25416
[startup+30.001 s]
Raw data (loadavg): 0.84 0.87 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 71557 0 0 0 2807 191 0 0 25 0 1 0 905051771 29839360 6441 4294967295 134512640 134716908 3221224576 3221223008 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7285 6441 1111 63 0 7222 0
vsize: 29140
[startup+40.0011 s]
Raw data (loadavg): 0.86 0.87 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 91627 0 0 0 3753 245 0 0 25 0 1 0 905051771 33087488 7228 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8078 7228 1111 63 0 8015 0
vsize: 32312
[startup+50.0016 s]
Raw data (loadavg): 0.88 0.88 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 115124 0 0 0 4691 307 0 0 25 0 1 0 905051771 38014976 8437 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9281 8437 1111 63 0 9218 0
vsize: 37124
[startup+60.0015 s]
Raw data (loadavg): 0.90 0.88 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 129889 0 0 0 5653 346 0 0 25 0 1 0 905051771 40288256 8992 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9871 8993 1111 63 0 9808 0
vsize: 39344
[startup+70.0016 s]
Raw data (loadavg): 0.92 0.88 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 140372 0 0 0 6625 374 0 0 25 0 1 0 905051771 41574400 9306 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10150 9306 1111 63 0 10087 0
vsize: 40600
[startup+80.0021 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 158178 0 0 0 7575 424 0 0 25 0 1 0 905051771 44716032 10057 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10917 10057 1111 63 0 10854 0
vsize: 43668
[startup+90.0018 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 170943 0 0 0 8538 462 0 0 25 0 1 0 905051771 45445120 10238 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11095 10238 1111 63 0 11032 0
vsize: 44380
[startup+100.002 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 176205 0 0 0 9522 477 0 0 25 0 1 0 905051771 46231552 10421 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11287 10427 1111 63 0 11224 0
vsize: 45148
[startup+110.002 s]
Raw data (loadavg): 0.96 0.90 0.88 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 190614 0 0 0 10484 517 0 0 25 0 1 0 905051771 48402432 10960 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11817 10960 1111 63 0 11754 0
vsize: 47268
[startup+120.003 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 3144
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 195458 0 0 0 11473 528 0 0 25 0 1 0 905051771 49303552 11193 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12037 11193 1111 63 0 11974 0
vsize: 48148
[startup+130.004 s]
Raw data (loadavg): 0.97 0.90 0.89 3/57 3184
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 211696 0 0 0 12428 574 0 0 25 0 1 0 905051771 50987008 11577 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12448 11577 1111 63 0 12385 0
vsize: 49792
[startup+140.005 s]
Raw data (loadavg): 1.05 0.92 0.89 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 221667 0 0 0 13399 602 0 0 25 0 1 0 905051771 51220480 11661 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12505 11661 1111 63 0 12442 0
vsize: 50020
[startup+150.006 s]
Raw data (loadavg): 1.04 0.92 0.89 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 246257 0 0 0 14331 671 0 0 25 0 1 0 905051771 53137408 12099 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12973 12099 1111 63 0 12910 0
vsize: 51892
[startup+160.006 s]
Raw data (loadavg): 1.03 0.92 0.89 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 261654 0 0 0 15289 713 0 0 25 0 1 0 905051771 54509568 12445 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13308 12445 1111 63 0 13245 0
vsize: 53232
[startup+170.006 s]
Raw data (loadavg): 1.03 0.93 0.90 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 273850 0 0 0 16257 746 0 0 25 0 1 0 905051771 55521280 12692 4294967295 134512640 134716908 3221224576 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13555 12692 1111 63 0 13492 0
vsize: 54220
[startup+180.006 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 280018 0 0 0 17239 764 0 0 25 0 1 0 905051771 56696832 12993 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 12993 1111 63 0 13779 0
vsize: 55368
[startup+190.006 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 282832 0 0 0 18232 771 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+200.007 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 3197
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 19230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+210.007 s]
Raw data (loadavg): 1.01 0.93 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 20230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+220.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 21230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+230.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 22231 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223232 134627277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+240.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 23231 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+250.007 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 24232 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+260.008 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 287016 0 0 0 25224 782 0 0 25 0 1 0 905051771 70090752 16226 4294967295 134512640 134716908 3221224576 3221222788 1077374505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17112 16229 1111 63 0 17049 0
vsize: 68448
[startup+270.008 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 300867 0 0 0 26189 817 0 0 25 0 1 0 905051771 118689792 27798 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28977 27798 1111 63 0 28914 0
vsize: 115908
[startup+280.008 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 302615 0 0 0 27185 820 0 0 25 0 1 0 905051771 119808000 28220 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28220 1111 63 0 29187 0
vsize: 117000
[startup+290.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 303860 0 0 0 28183 824 0 0 25 0 1 0 905051771 120963072 28330 4294967295 134512640 134716908 3221224576 3221221344 1076084141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28330 1111 63 0 29469 0
vsize: 118128
[startup+300.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 305922 0 0 0 29179 828 0 0 25 0 1 0 905051771 122580992 28909 4294967295 134512640 134716908 3221224576 3221222736 1074206618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29927 28909 1111 63 0 29864 0
vsize: 119708
[startup+310.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 307028 0 0 0 30177 830 0 0 25 0 1 0 905051771 122580992 28910 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29927 28910 1111 63 0 29864 0
vsize: 119708
[startup+320.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 308893 0 0 0 31173 834 0 0 25 0 1 0 905051771 122195968 28817 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29833 28817 1111 63 0 29770 0
vsize: 119332
[startup+330.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 311232 0 0 0 32166 841 0 0 25 0 1 0 905051771 123199488 28958 4294967295 134512640 134716908 3221224576 3221220672 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30078 28958 1111 63 0 30015 0
vsize: 120312
[startup+340.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 312976 0 0 0 33161 847 0 0 25 0 1 0 905051771 122535936 28868 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29916 28868 1111 63 0 29853 0
vsize: 119664
[startup+350.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 314757 0 0 0 34158 850 0 0 25 0 1 0 905051771 122433536 28875 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29891 28875 1111 63 0 29828 0
vsize: 119564
[startup+360.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 317569 0 0 0 35151 858 0 0 25 0 1 0 905051771 122396672 28867 4294967295 134512640 134716908 3221224576 3221223328 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29882 28867 1111 63 0 29819 0
vsize: 119528
[startup+370.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 319615 0 0 0 36146 863 0 0 25 0 1 0 905051771 123457536 28975 4294967295 134512640 134716908 3221224576 3221220768 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30141 28975 1111 63 0 30078 0
vsize: 120564
[startup+380.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 321861 0 0 0 37140 869 0 0 25 0 1 0 905051771 122986496 29009 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30026 29009 1111 63 0 29963 0
vsize: 120104
[startup+390.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 324246 0 0 0 38135 875 0 0 25 0 1 0 905051771 122986496 29009 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30026 29009 1111 63 0 29963 0
vsize: 120104
[startup+400.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 326390 0 0 0 39129 881 0 0 25 0 1 0 905051771 123092992 29037 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30052 29037 1111 63 0 29989 0
vsize: 120208
[startup+410.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 328593 0 0 0 40124 886 0 0 25 0 1 0 905051771 123334656 29095 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30111 29095 1111 63 0 30048 0
vsize: 120444
[startup+420.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 331052 0 0 0 41119 892 0 0 25 0 1 0 905051771 124223488 29111 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30328 29111 1111 63 0 30265 0
vsize: 121312
[startup+430.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 333219 0 0 0 42113 898 0 0 25 0 1 0 905051771 123482112 29132 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30147 29132 1111 63 0 30084 0
vsize: 120588
[startup+440.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3199
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 334992 0 0 0 43109 902 0 0 25 0 1 0 905051771 123592704 29161 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30174 29161 1111 63 0 30111 0
vsize: 120696
[startup+450.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 336607 0 0 0 44105 907 0 0 25 0 1 0 905051771 123666432 29170 4294967295 134512640 134716908 3221224576 3221223064 1075463333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30192 29170 1111 63 0 30129 0
vsize: 120768
[startup+460.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 338436 0 0 0 45101 911 0 0 25 0 1 0 905051771 124518400 29202 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30400 29202 1111 63 0 30337 0
vsize: 121600
[startup+470.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 340287 0 0 0 46097 916 0 0 25 0 1 0 905051771 123703296 29188 4294967295 134512640 134716908 3221224576 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30201 29188 1111 63 0 30138 0
vsize: 120804
[startup+480.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 342058 0 0 0 47093 920 0 0 25 0 1 0 905051771 123854848 29225 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30238 29225 1111 63 0 30175 0
vsize: 120952
[startup+490.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 343654 0 0 0 48088 925 0 0 25 0 1 0 905051771 123940864 29246 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30259 29246 1111 63 0 30196 0
vsize: 121036
[startup+500.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 345212 0 0 0 49085 928 0 0 25 0 1 0 905051771 124751872 29302 4294967295 134512640 134716908 3221224576 3221220800 1074960964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30457 29302 1111 63 0 30394 0
vsize: 121828
[startup+510.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 346767 0 0 0 50081 932 0 0 25 0 1 0 905051771 123981824 29256 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30269 29256 1111 63 0 30206 0
vsize: 121076
[startup+520.012 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 348314 0 0 0 51078 937 0 0 25 0 1 0 905051771 124239872 29319 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30332 29319 1111 63 0 30269 0
vsize: 121328
[startup+530.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 349589 0 0 0 52075 940 0 0 25 0 1 0 905051771 125087744 29376 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30539 29376 1111 63 0 30476 0
vsize: 122156
[startup+540.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 350869 0 0 0 53073 942 0 0 25 0 1 0 905051771 124272640 29320 4294967295 134512640 134716908 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30340 29320 1111 63 0 30277 0
vsize: 121360
[startup+550.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 352355 0 0 0 54069 946 0 0 25 0 1 0 905051771 124235776 29318 4294967295 134512640 134716908 3221224576 3221223224 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30331 29318 1111 63 0 30268 0
vsize: 121324
[startup+560.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 353802 0 0 0 55066 949 0 0 25 0 1 0 905051771 124272640 29319 4294967295 134512640 134716908 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30340 29319 1111 63 0 30277 0
vsize: 121360
[startup+570.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 355266 0 0 0 56063 953 0 0 25 0 1 0 905051771 124272640 29319 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30340 29319 1111 63 0 30277 0
vsize: 121360
[startup+580.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 356849 0 0 0 57058 958 0 0 25 0 1 0 905051771 124391424 29348 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30369 29348 1111 63 0 30306 0
vsize: 121476
[startup+590.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 358512 0 0 0 58055 963 0 0 25 0 1 0 905051771 125243392 29386 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30577 29386 1111 63 0 30514 0
vsize: 122308
[startup+600.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 360284 0 0 0 59051 967 0 0 25 0 1 0 905051771 125747200 29516 4294967295 134512640 134716908 3221224576 3221220736 1075091586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30700 29516 1111 63 0 30637 0
vsize: 122800
[startup+610.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 361976 0 0 0 60048 971 0 0 25 0 1 0 905051771 125788160 29536 4294967295 134512640 134716908 3221224576 3221220780 1075564309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30710 29536 1111 63 0 30647 0
vsize: 122840
[startup+620.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 363682 0 0 0 61044 975 0 0 25 0 1 0 905051771 125296640 29497 4294967295 134512640 134716908 3221224576 3221220672 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30590 29497 1111 63 0 30527 0
vsize: 122360
[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 365209 0 0 0 62041 979 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30463 29450 1111 63 0 30400 0
vsize: 121852
[startup+640.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 366931 0 0 0 63036 984 0 0 25 0 1 0 905051771 124809216 29451 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 29451 1111 63 0 30408 0
vsize: 121884
[startup+650.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 368676 0 0 0 64031 990 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30463 29450 1111 63 0 30400 0
vsize: 121852
[startup+660.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 370383 0 0 0 65026 994 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30463 29450 1111 63 0 30400 0
vsize: 121852
[startup+670.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 372252 0 0 0 66021 1000 0 0 25 0 1 0 905051771 125652992 29582 4294967295 134512640 134716908 3221224576 3221220688 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30677 29582 1111 63 0 30614 0
vsize: 122708
[startup+680.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 373685 0 0 0 67018 1003 0 0 25 0 1 0 905051771 125001728 29498 4294967295 134512640 134716908 3221224576 3221222976 1074119040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30518 29498 1111 63 0 30455 0
vsize: 122072
[startup+690.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 375825 0 0 0 68012 1009 0 0 25 0 1 0 905051771 125140992 29540 4294967295 134512640 134716908 3221224576 3221223300 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30552 29540 1111 63 0 30489 0
vsize: 122208
[startup+700.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 377833 0 0 0 69007 1015 0 0 25 0 1 0 905051771 124968960 29498 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30510 29498 1111 63 0 30447 0
vsize: 122040
[startup+710.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 379356 0 0 0 70003 1019 0 0 25 0 1 0 905051771 124968960 29498 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30510 29498 1111 63 0 30447 0
vsize: 122040
[startup+720.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 381405 0 0 0 70998 1025 0 0 25 0 1 0 905051771 126328832 29521 4294967295 134512640 134716908 3221224576 3221221068 1074798916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30842 29521 1111 63 0 30779 0
vsize: 123368
[startup+730.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 383584 0 0 0 71992 1031 0 0 25 0 1 0 905051771 127270912 29952 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31072 29952 1111 63 0 31009 0
vsize: 124288
[startup+740.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 384861 0 0 0 72989 1034 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+750.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 386331 0 0 0 73985 1038 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222956 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+760.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 387658 0 0 0 74982 1042 0 0 25 0 1 0 905051771 125444096 29609 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30626 29609 1111 63 0 30563 0
vsize: 122504
[startup+770.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 389962 0 0 0 75976 1048 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+780.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 391522 0 0 0 76972 1053 0 0 25 0 1 0 905051771 126517248 29579 4294967295 134512640 134716908 3221224576 3221221232 1075967413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30888 29579 1111 63 0 30825 0
vsize: 123552
[startup+790.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 393236 0 0 0 77967 1059 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+800.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 395347 0 0 0 78961 1065 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+810.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 396982 0 0 0 79957 1069 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222872 1074138247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+820.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 398484 0 0 0 80953 1074 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+830.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 400126 0 0 0 81949 1078 0 0 25 0 1 0 905051771 125198336 29554 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30566 29554 1111 63 0 30503 0
vsize: 122264
[startup+840.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 401624 0 0 0 82945 1082 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30556 29544 1111 63 0 30493 0
vsize: 122224
[startup+850.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 403179 0 0 0 83941 1086 0 0 25 0 1 0 905051771 126517248 29576 4294967295 134512640 134716908 3221224576 3221220632 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30888 29576 1111 63 0 30825 0
vsize: 123552
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 404920 0 0 0 84937 1091 0 0 25 0 1 0 905051771 125300736 29579 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30591 29579 1111 63 0 30528 0
vsize: 122364
[startup+870.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 406465 0 0 0 85932 1096 0 0 25 0 1 0 905051771 125300736 29579 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30591 29579 1111 63 0 30528 0
vsize: 122364
[startup+880.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 408064 0 0 0 86927 1101 0 0 25 0 1 0 905051771 125194240 29554 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30565 29554 1111 63 0 30502 0
vsize: 122260
[startup+890.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 409673 0 0 0 87924 1105 0 0 25 0 1 0 905051771 126668800 29630 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30925 29630 1111 63 0 30862 0
vsize: 123700
[startup+900.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 411144 0 0 0 88920 1109 0 0 25 0 1 0 905051771 125341696 29590 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30601 29590 1111 63 0 30538 0
vsize: 122404
[startup+910.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 412781 0 0 0 89915 1114 0 0 25 0 1 0 905051771 125378560 29599 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30610 29599 1111 63 0 30547 0
vsize: 122440
[startup+920.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 414720 0 0 0 90911 1118 0 0 25 0 1 0 905051771 125419520 29609 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30620 29609 1111 63 0 30557 0
vsize: 122480
[startup+930.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 416362 0 0 0 91908 1122 0 0 25 0 1 0 905051771 127488000 29925 4294967295 134512640 134716908 3221224576 3221221104 1075397184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 29925 1111 63 0 31062 0
vsize: 124500
[startup+940.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 418327 0 0 0 92902 1128 0 0 25 0 1 0 905051771 125546496 29640 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30651 29640 1111 63 0 30588 0
vsize: 122604
[startup+950.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 420085 0 0 0 93897 1134 0 0 25 0 1 0 905051771 127045632 29727 4294967295 134512640 134716908 3221224576 3221220780 1075564316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31017 29727 1111 63 0 30954 0
vsize: 124068
[startup+960.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 421748 0 0 0 94893 1139 0 0 25 0 1 0 905051771 125759488 29679 4294967295 134512640 134716908 3221224576 3221222304 1075635953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30703 29679 1111 63 0 30640 0
vsize: 122812
[startup+970.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 423336 0 0 0 95888 1144 0 0 25 0 1 0 905051771 127209472 29783 4294967295 134512640 134716908 3221224576 3221221080 1074971925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31057 29783 1111 63 0 30994 0
vsize: 124228
[startup+980.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 424610 0 0 0 96885 1147 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30733 29722 1111 63 0 30670 0
vsize: 122932
[startup+990.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 426159 0 0 0 97881 1151 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30733 29722 1111 63 0 30670 0
vsize: 122932
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 427713 0 0 0 98878 1155 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30733 29722 1111 63 0 30670 0
vsize: 122932
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 430053 0 0 0 99872 1161 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30733 29722 1111 63 0 30670 0
vsize: 122932
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 431968 0 0 0 100868 1166 0 0 25 0 1 0 905051771 125915136 29723 4294967295 134512640 134716908 3221224576 3221222296 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30741 29723 1111 63 0 30678 0
vsize: 122964
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 433912 0 0 0 101863 1171 0 0 25 0 1 0 905051771 126103552 29768 4294967295 134512640 134716908 3221224576 3221222976 1074118792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30787 29768 1111 63 0 30724 0
vsize: 123148
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 435812 0 0 0 102858 1176 0 0 25 0 1 0 905051771 126832640 29875 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30965 29875 1111 63 0 30902 0
vsize: 123860
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 438075 0 0 0 103854 1181 0 0 25 0 1 0 905051771 126181376 29795 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30806 29795 1111 63 0 30743 0
vsize: 123224
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 439992 0 0 0 104850 1185 0 0 25 0 1 0 905051771 126193664 29798 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30809 29798 1111 63 0 30746 0
vsize: 123236
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 441905 0 0 0 105844 1191 0 0 25 0 1 0 905051771 127557632 29863 4294967295 134512640 134716908 3221224576 3221220848 1074799726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31142 29863 1111 63 0 31079 0
vsize: 124568
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 444207 0 0 0 106838 1198 0 0 25 0 1 0 905051771 126308352 29826 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30837 29826 1111 63 0 30774 0
vsize: 123348
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 445876 0 0 0 107834 1203 0 0 25 0 1 0 905051771 127672320 29865 4294967295 134512640 134716908 3221224576 3221221748 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31170 29865 1111 63 0 31107 0
vsize: 124680
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 447473 0 0 0 108829 1208 0 0 25 0 1 0 905051771 126349312 29833 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30847 29833 1111 63 0 30784 0
vsize: 123388
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 449288 0 0 0 109825 1212 0 0 25 0 1 0 905051771 126308352 29826 4294967295 134512640 134716908 3221224576 3221222560 1074206862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30837 29826 1111 63 0 30774 0
vsize: 123348
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 451635 0 0 0 110819 1218 0 0 25 0 1 0 905051771 128442368 30104 4294967295 134512640 134716908 3221224576 3221220660 1075964437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31358 30104 1111 63 0 31295 0
vsize: 125432
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 453611 0 0 0 111814 1224 0 0 25 0 1 0 905051771 128233472 30059 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 30059 1111 63 0 31244 0
vsize: 125228
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 455110 0 0 0 112810 1228 0 0 25 0 1 0 905051771 128266240 30063 4294967295 134512640 134716908 3221224576 3221221084 1074971924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31315 30063 1111 63 0 31252 0
vsize: 125260
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 457091 0 0 0 113807 1231 0 0 25 0 1 0 905051771 128061440 29966 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31265 29966 1111 63 0 31202 0
vsize: 125060
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 459030 0 0 0 114802 1236 0 0 25 0 1 0 905051771 126812160 29949 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30960 29949 1111 63 0 30897 0
vsize: 123840
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 460830 0 0 0 115798 1241 0 0 25 0 1 0 905051771 126697472 29921 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30932 29921 1111 63 0 30869 0
vsize: 123728
[startup+1175.51 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 3201
Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 460830 0 0 0 115798 1241 0 0 25 0 1 0 905051771 126697472 29921 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30932 29921 1111 63 0 30869 0
vsize: 0

Child status: 0
Real time (s): 1175.51
CPU time (s): 1175.87
CPU user time (s): 1163.36
CPU system time (s): 12.5021
CPU usage (%): 100.03
Max. virtual memory (Kb): 125432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####