PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb
MD5SUM	bdf0df6b57384ca8a37c1ce2e87cfc07
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	67174
Biggest coefficient in the objective function	163840000
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	1696626095
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1280000000000000115964116992
Number of bits of the biggest number in a constraint	91
Biggest sum of numbers in a constraint	3721289892401349417752330240
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.675896
Number of variables	71194
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	814
Trace number 41520

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 14:36:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29583 boxname=wulflinc2 idbench=1367 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bdf0df6b57384ca8a37c1ce2e87cfc07  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-momentum3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-momentum3.opb
IDLAUNCH: 29583
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        330872 kB
Buffers:         23288 kB
Cached:         658972 kB
SwapCached:       1480 kB
Active:         263944 kB
Inactive:       420348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        330620 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13832 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:51:31 (client local time) WITH STATUS 0 IN 887.897 SECONDS
stats: 29583 7 887.897 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125000*x1269_bit_7 +156250000*x1269_bit_6 +312500000*x1269_bit_5 +625000000*x1269_bit_4 +1250000000*x1269_bit_3 +2500000000*x1269_bit_2 +5000000000*x1269_bit_1 +10000000000*x1269_bit0 +20000000000*x1269_bit1 -1374294217*x7733_bit0 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-momentum3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 887.654 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): 1.08 0.99 0.92 2/54 29731
Raw data (stat): 29731 (runsolver) R 29730 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911049994 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+10.0005 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 1400 0 0 0 994 4 0 0 25 0 1 0 911049994 17907712 1320 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 1320 1111 63 0 4309 0
vsize: 17488
[startup+20.0012 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 2081 0 0 0 1992 5 0 0 25 0 1 0 911049994 20643840 2001 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5040 2001 1111 63 0 4977 0
vsize: 20160
[startup+30.0009 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 2766 0 0 0 2992 6 0 0 25 0 1 0 911049994 23449600 2686 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 2686 1111 63 0 5662 0
vsize: 22900
[startup+40.0034 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 3484 0 0 0 3991 7 0 0 25 0 1 0 911049994 26447872 3404 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6457 3404 1111 63 0 6394 0
vsize: 25828
[startup+50.0041 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 4451 0 0 0 4989 9 0 0 25 0 1 0 911049994 30273536 4371 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 4371 1111 63 0 7328 0
vsize: 29564
[startup+60.0038 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 5339 0 0 0 5987 11 0 0 25 0 1 0 911049994 34013184 5259 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8304 5259 1111 63 0 8241 0
vsize: 33216
[startup+70.0045 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 6240 0 0 0 6986 13 0 0 25 0 1 0 911049994 37703680 6160 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9205 6160 1111 63 0 9142 0
vsize: 36820
[startup+80.0052 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 7141 0 0 0 7984 14 0 0 25 0 1 0 911049994 41435136 7061 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10116 7061 1111 63 0 10053 0
vsize: 40464
[startup+90.0059 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 8037 0 0 0 8983 16 0 0 25 0 1 0 911049994 45023232 7957 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10992 7957 1111 63 0 10929 0
vsize: 43968
[startup+100.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 8945 0 0 0 9982 17 0 0 25 0 1 0 911049994 48791552 8865 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11912 8865 1111 63 0 11849 0
vsize: 47648
[startup+110.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 9853 0 0 0 10980 19 0 0 25 0 1 0 911049994 52400128 9773 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12793 9773 1111 63 0 12730 0
vsize: 51172
[startup+120.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 10773 0 0 0 11979 20 0 0 25 0 1 0 911049994 56274944 10693 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13739 10693 1111 63 0 13676 0
vsize: 54956
[startup+130.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 11696 0 0 0 12978 22 0 0 25 0 1 0 911049994 60080128 11616 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14668 11616 1111 63 0 14605 0
vsize: 58672
[startup+140.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 12616 0 0 0 13977 23 0 0 25 0 1 0 911049994 63795200 12536 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15575 12536 1111 63 0 15512 0
vsize: 62300
[startup+150.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 13545 0 0 0 14974 26 0 0 25 0 1 0 911049994 67563520 13465 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16495 13465 1111 63 0 16432 0
vsize: 65980
[startup+160.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 14479 0 0 0 15973 27 0 0 25 0 1 0 911049994 71458816 14399 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17446 14399 1111 63 0 17383 0
vsize: 69784
[startup+170.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 15412 0 0 0 16972 29 0 0 25 0 1 0 911049994 75309056 15332 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18386 15332 1111 63 0 18323 0
vsize: 73544
[startup+180.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 16366 0 0 0 17970 31 0 0 25 0 1 0 911049994 79204352 16286 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19337 16286 1111 63 0 19274 0
vsize: 77348
[startup+190.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 17313 0 0 0 18969 32 0 0 25 0 1 0 911049994 83103744 17233 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20289 17233 1111 63 0 20226 0
vsize: 81156
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 18263 0 0 0 19967 34 0 0 25 0 1 0 911049994 86863872 18183 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21207 18183 1111 63 0 21144 0
vsize: 84828
[startup+210.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 19223 0 0 0 20965 36 0 0 25 0 1 0 911049994 90894336 19143 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22191 19143 1111 63 0 22128 0
vsize: 88764
[startup+220.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 20190 0 0 0 21964 37 0 0 25 0 1 0 911049994 94789632 20110 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23142 20110 1111 63 0 23079 0
vsize: 92568
[startup+230.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 21154 0 0 0 22962 39 0 0 25 0 1 0 911049994 98689024 21074 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24094 21074 1111 63 0 24031 0
vsize: 96376
[startup+240.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 22131 0 0 0 23960 41 0 0 25 0 1 0 911049994 102719488 22051 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25078 22051 1111 63 0 25015 0
vsize: 100312
[startup+250.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 23128 0 0 0 24959 42 0 0 25 0 1 0 911049994 106889216 23048 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26096 23048 1111 63 0 26033 0
vsize: 104384
[startup+260.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 24124 0 0 0 25957 44 0 0 25 0 1 0 911049994 111095808 24044 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27123 24044 1111 63 0 27060 0
vsize: 108492
[startup+270.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 25116 0 0 0 26956 46 0 0 25 0 1 0 911049994 115154944 25036 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28114 25036 1111 63 0 28051 0
vsize: 112456
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 26120 0 0 0 27953 49 0 0 25 0 1 0 911049994 119205888 26040 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29103 26040 1111 63 0 29040 0
vsize: 116412
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 27131 0 0 0 28951 51 0 0 25 0 1 0 911049994 123260928 27051 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30093 27051 1111 63 0 30030 0
vsize: 120372
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 28153 0 0 0 29950 52 0 0 25 0 1 0 911049994 127553536 28073 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31141 28073 1111 63 0 31078 0
vsize: 124564
[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 29177 0 0 0 30948 54 0 0 25 0 1 0 911049994 131739648 29097 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32163 29097 1111 63 0 32100 0
vsize: 128652
[startup+320.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 30214 0 0 0 31947 56 0 0 25 0 1 0 911049994 135946240 30134 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33190 30134 1111 63 0 33127 0
vsize: 132760
[startup+330.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 31261 0 0 0 32945 58 0 0 25 0 1 0 911049994 140288000 31181 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34250 31181 1111 63 0 34187 0
vsize: 137000
[startup+340.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 32310 0 0 0 33943 60 0 0 25 0 1 0 911049994 144449536 32230 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35266 32230 1111 63 0 35203 0
vsize: 141064
[startup+350.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 33365 0 0 0 34942 61 0 0 25 0 1 0 911049994 148819968 33285 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36333 33285 1111 63 0 36270 0
vsize: 145332
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 34429 0 0 0 35940 63 0 0 25 0 1 0 911049994 153182208 34349 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37398 34349 1111 63 0 37335 0
vsize: 149592
[startup+370.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 35495 0 0 0 36939 64 0 0 25 0 1 0 911049994 157503488 35415 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 35415 1111 63 0 38390 0
vsize: 153812
[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 36570 0 0 0 37938 66 0 0 25 0 1 0 911049994 161980416 36490 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39546 36490 1111 63 0 39483 0
vsize: 158184
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 37657 0 0 0 38936 68 0 0 25 0 1 0 911049994 166342656 37577 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40611 37577 1111 63 0 40548 0
vsize: 162444
[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 38757 0 0 0 39935 69 0 0 25 0 1 0 911049994 170819584 38677 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41704 38677 1111 63 0 41641 0
vsize: 166816
[startup+410.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 39863 0 0 0 40933 72 0 0 25 0 1 0 911049994 175366144 39783 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42814 39783 1111 63 0 42751 0
vsize: 171256
[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 40983 0 0 0 41932 73 0 0 25 0 1 0 911049994 179994624 40903 4294967295 134512640 134716908 3221224560 3221222520 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43944 40903 1111 63 0 43881 0
vsize: 175776
[startup+430.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 42108 0 0 0 42930 75 0 0 25 0 1 0 911049994 184631296 42028 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45076 42028 1111 63 0 45013 0
vsize: 180304
[startup+440.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 43234 0 0 0 43928 77 0 0 25 0 1 0 911049994 189235200 43154 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46200 43154 1111 63 0 46137 0
vsize: 184800
[startup+450.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 44377 0 0 0 44926 79 0 0 25 0 1 0 911049994 193888256 44297 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47336 44297 1111 63 0 47273 0
vsize: 189344
[startup+460.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 45580 0 0 0 45924 81 0 0 25 0 1 0 911049994 199065600 45500 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48600 45500 1111 63 0 48537 0
vsize: 194400
[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 46736 0 0 0 46922 84 0 0 25 0 1 0 911049994 203718656 46656 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49736 46656 1111 63 0 49673 0
vsize: 198944
[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 47918 0 0 0 47921 85 0 0 25 0 1 0 911049994 208662528 47838 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50943 47838 1111 63 0 50880 0
vsize: 203772
[startup+490.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 49109 0 0 0 48919 87 0 0 25 0 1 0 911049994 213557248 49029 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52138 49029 1111 63 0 52075 0
vsize: 208552
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 50311 0 0 0 49917 90 0 0 25 0 1 0 911049994 218345472 50231 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53307 50231 1111 63 0 53244 0
vsize: 213228
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 51513 0 0 0 50915 92 0 0 25 0 1 0 911049994 223309824 51433 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54519 51433 1111 63 0 54456 0
vsize: 218076
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 52730 0 0 0 51913 94 0 0 25 0 1 0 911049994 228360192 52650 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55752 52650 1111 63 0 55689 0
vsize: 223008
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 53950 0 0 0 52910 97 0 0 25 0 1 0 911049994 233304064 53870 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56959 53870 1111 63 0 56896 0
vsize: 227836
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 55184 0 0 0 53909 99 0 0 25 0 1 0 911049994 238383104 55104 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58199 55104 1111 63 0 58136 0
vsize: 232796
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 56431 0 0 0 54906 101 0 0 25 0 1 0 911049994 243478528 56351 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59443 56351 1111 63 0 59380 0
vsize: 237772
[startup+560.019 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 57685 0 0 0 55904 104 0 0 25 0 1 0 911049994 248557568 57605 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60683 57605 1111 63 0 60620 0
vsize: 242732
[startup+570.019 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 58945 0 0 0 56902 106 0 0 25 0 1 0 911049994 253657088 58865 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61928 58865 1111 63 0 61865 0
vsize: 247712
[startup+580.019 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 60211 0 0 0 57900 108 0 0 25 0 1 0 911049994 258916352 60131 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63212 60131 1111 63 0 63149 0
vsize: 252848
[startup+590.02 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 61489 0 0 0 58898 110 0 0 25 0 1 0 911049994 264171520 61409 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64495 61409 1111 63 0 64432 0
vsize: 257980
[startup+600.021 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 62769 0 0 0 59896 112 0 0 25 0 1 0 911049994 269299712 62689 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65747 62689 1111 63 0 65684 0
vsize: 262988
[startup+610.021 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 64072 0 0 0 60894 115 0 0 25 0 1 0 911049994 274685952 63992 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67062 63992 1111 63 0 66999 0
vsize: 268248
[startup+620.021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 65383 0 0 0 61891 118 0 0 25 0 1 0 911049994 280076288 65303 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68378 65303 1111 63 0 68315 0
vsize: 273512
[startup+630.021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 66708 0 0 0 62889 120 0 0 25 0 1 0 911049994 285462528 66628 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69693 66628 1111 63 0 69630 0
vsize: 278772
[startup+640.021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 68043 0 0 0 63887 122 0 0 25 0 1 0 911049994 291008512 67963 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71047 67963 1111 63 0 70984 0
vsize: 284188
[startup+650.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 69381 0 0 0 64885 124 0 0 25 0 1 0 911049994 296398848 69301 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72363 69301 1111 63 0 72300 0
vsize: 289452
[startup+660.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 70730 0 0 0 65883 127 0 0 25 0 1 0 911049994 301940736 70650 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73716 70650 1111 63 0 73653 0
vsize: 294864
[startup+670.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 72091 0 0 0 66880 130 0 0 25 0 1 0 911049994 307486720 72011 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75070 72011 1111 63 0 75007 0
vsize: 300280
[startup+680.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 73461 0 0 0 67877 133 0 0 25 0 1 0 911049994 313139200 73381 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76450 73381 1111 63 0 76387 0
vsize: 305800
[startup+690.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 74842 0 0 0 68875 135 0 0 25 0 1 0 911049994 318816256 74762 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77836 74762 1111 63 0 77773 0
vsize: 311344
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 76223 0 0 0 69873 138 0 0 25 0 1 0 911049994 324362240 76143 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79190 76143 1111 63 0 79127 0
vsize: 316760
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 77630 0 0 0 70871 140 0 0 25 0 1 0 911049994 330194944 77550 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80614 77550 1111 63 0 80551 0
vsize: 322456
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 79037 0 0 0 71868 143 0 0 25 0 1 0 911049994 335921152 78957 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82012 78957 1111 63 0 81949 0
vsize: 328048
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 80451 0 0 0 72865 147 0 0 25 0 1 0 911049994 341729280 80371 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83430 80371 1111 63 0 83367 0
vsize: 333720
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 82162 0 0 0 73862 149 0 0 25 0 1 0 911049994 348733440 82082 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85140 82082 1111 63 0 85077 0
vsize: 340560
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 84249 0 0 0 74857 154 0 0 25 0 1 0 911049994 357163008 84169 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87198 84169 1111 63 0 87135 0
vsize: 348792
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 86396 0 0 0 75852 158 0 0 25 0 1 0 911049994 365953024 86316 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89344 86316 1111 63 0 89281 0
vsize: 357376
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 89490 0 0 0 76846 163 0 0 25 0 1 0 911049994 378642432 89410 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92442 89410 1111 63 0 92379 0
vsize: 369768
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 92595 0 0 0 77839 169 0 0 25 0 1 0 911049994 391335936 92515 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95541 92515 1111 63 0 95478 0
vsize: 382164
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 95713 0 0 0 78831 175 0 0 25 0 1 0 911049994 404176896 95633 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98676 95633 1111 63 0 98613 0
vsize: 394704
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 98867 0 0 0 79824 181 0 0 25 0 1 0 911049994 417013760 98787 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101810 98787 1111 63 0 101747 0
vsize: 407240
[startup+810.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 102015 0 0 0 80817 187 0 0 25 0 1 0 911049994 430002176 101935 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104981 101935 1111 63 0 104918 0
vsize: 419924
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 105181 0 0 0 81811 192 0 0 25 0 1 0 911049994 442994688 105101 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108153 105101 1111 63 0 108090 0
vsize: 432612
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 108506 0 0 0 82805 197 0 0 25 0 1 0 911049994 456863744 108300 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111539 108300 1111 63 0 111476 0
vsize: 446156
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 111721 0 0 0 83799 202 0 0 25 0 1 0 911049994 470003712 111515 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114747 111515 1111 63 0 114684 0
vsize: 458988
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 114948 0 0 0 84793 207 0 0 25 0 1 0 911049994 483139584 114742 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117954 114742 1111 63 0 117891 0
vsize: 471816
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 118200 0 0 0 85786 214 0 0 25 0 1 0 911049994 496427008 117994 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121198 117994 1111 63 0 121135 0
vsize: 484792
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 121470 0 0 0 86780 221 0 0 25 0 1 0 911049994 509865984 121264 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124479 121264 1111 63 0 124416 0
vsize: 497916
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 124618 0 0 0 87774 227 0 0 25 0 1 0 911049994 522702848 124412 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127613 124412 1111 63 0 127550 0
vsize: 510452
[startup+887.918 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 29731
Raw data (stat): 29731 (bsolo_lpr_cuts-) R 29730 31399 31398 0 -1 0 124618 0 0 0 87774 227 0 0 25 0 1 0 911049994 522702848 124412 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127613 124412 1111 63 0 127550 0
vsize: 0

Child status: 0
Real time (s): 887.917
CPU time (s): 887.897
CPU user time (s): 885.339
CPU system time (s): 2.55761
CPU usage (%): 99.9977
Max. virtual memory (Kb): 510452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####