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/miplib/normalized-mps-v2-13-7-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 41481

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 13:24:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29536 boxname=wulflinc1 idbench=1320 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 29536
/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:        586944 kB
Buffers:         29464 kB
Cached:         394464 kB
SwapCached:       1140 kB
Active:          31352 kB
Inactive:       394772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        586692 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5264 kB
Slab:            15832 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:44:03 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29536 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.717 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.029
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.95 0.90 2/55 6123
Raw data (stat): 6123 (runsolver) R 6122 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853755836 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+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 10277 0 0 0 968 29 0 0 25 0 1 0 853755836 21291008 4502 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4502 1111 63 0 5135 0
vsize: 20792
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 16763 0 0 0 1945 53 0 0 25 0 1 0 853755836 24825856 5366 4294967295 134512640 134716908 3221224560 3221222208 1075821155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 5366 1111 63 0 5998 0
vsize: 24244
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 23241 0 0 0 2923 74 0 0 25 0 1 0 853755836 29061120 6392 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7095 6392 1111 63 0 7032 0
vsize: 28380
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 29671 0 0 0 3902 95 0 0 25 0 1 0 853755836 32641024 7260 4294967295 134512640 134716908 3221224560 3221222288 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7969 7260 1111 63 0 7906 0
vsize: 31876
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 35507 0 0 0 4883 115 0 0 25 0 1 0 853755836 36016128 8088 4294967295 134512640 134716908 3221224560 3221222844 1074206926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8793 8088 1111 63 0 8730 0
vsize: 35172
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 42155 0 0 0 5862 136 0 0 25 0 1 0 853755836 41238528 9325 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10068 9325 1111 63 0 10005 0
vsize: 40272
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 49286 0 0 0 6841 158 0 0 25 0 1 0 853755836 44851200 10175 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10950 10175 1111 63 0 10887 0
vsize: 43800
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 55742 0 0 0 7821 178 0 0 25 0 1 0 853755836 48013312 11006 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11716 11002 1111 63 0 11653 0
vsize: 46888
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 62747 0 0 0 8799 199 0 0 25 0 1 0 853755836 51642368 11888 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12608 11888 1111 63 0 12545 0
vsize: 50432
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 69479 0 0 0 9773 226 0 0 25 0 1 0 853755836 57856000 13170 4294967295 134512640 134716908 3221224560 3221223276 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14125 13170 1111 63 0 14062 0
vsize: 56500
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 76378 0 0 0 10752 247 0 0 25 0 1 0 853755836 61243392 14002 4294967295 134512640 134716908 3221224560 3221223336 134622713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14952 14002 1111 63 0 14889 0
vsize: 59808
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 84034 0 0 0 11728 271 0 0 25 0 1 0 853755836 64749568 14893 4294967295 134512640 134716908 3221224560 3221222724 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 14893 1111 63 0 15745 0
vsize: 63232
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 92023 0 0 0 12705 295 0 0 25 0 1 0 853755836 68325376 15759 4294967295 134512640 134716908 3221224560 3221222864 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16681 15759 1111 63 0 16618 0
vsize: 66724
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 99972 0 0 0 13682 318 0 0 25 0 1 0 853755836 71725056 16627 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17511 16627 1111 63 0 17448 0
vsize: 70044
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 107426 0 0 0 14660 340 0 0 25 0 1 0 853755836 75145216 17460 4294967295 134512640 134716908 3221224560 3221222700 1077379835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18346 17460 1111 63 0 18283 0
vsize: 73384
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 115502 0 0 0 15634 366 0 0 25 0 1 0 853755836 78827520 18400 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 18400 1111 63 0 19182 0
vsize: 76980
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 123283 0 0 0 16610 389 0 0 25 0 1 0 853755836 82071552 19200 4294967295 134512640 134716908 3221224560 3221222208 1075818276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20037 19200 1111 63 0 19974 0
vsize: 80148
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 130674 0 0 0 17588 412 0 0 25 0 1 0 853755836 85299200 19990 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20825 19990 1111 63 0 20762 0
vsize: 83300
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 138334 0 0 0 18564 436 0 0 25 0 1 0 853755836 94437376 21622 4294967295 134512640 134716908 3221224560 3221222464 1075460136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23056 21622 1111 63 0 22993 0
vsize: 92224
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 146784 0 0 0 19539 461 0 0 25 0 1 0 853755836 97964032 22502 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23917 22502 1111 63 0 23854 0
vsize: 95668
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 155339 0 0 0 20513 487 0 0 25 0 1 0 853755836 101658624 23389 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24819 23389 1111 63 0 24756 0
vsize: 99276
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 163857 0 0 0 21487 514 0 0 25 0 1 0 853755836 104845312 24246 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25597 24246 1111 63 0 25534 0
vsize: 102388
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 170838 0 0 0 22464 536 0 0 25 0 1 0 853755836 107528192 24895 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26252 24895 1111 63 0 26189 0
vsize: 105008
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 179395 0 0 0 23439 563 0 0 25 0 1 0 853755836 111464448 25857 4294967295 134512640 134716908 3221224560 3221221628 1074831203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27213 25857 1111 63 0 27150 0
vsize: 108852
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 187979 0 0 0 24414 587 0 0 25 0 1 0 853755836 114581504 26659 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27974 26659 1111 63 0 27911 0
vsize: 111896
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 196462 0 0 0 25390 612 0 0 25 0 1 0 853755836 117919744 27496 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28789 27496 1111 63 0 28726 0
vsize: 115156
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 204939 0 0 0 26364 638 0 0 25 0 1 0 853755836 121692160 28393 4294967295 134512640 134716908 3221224560 3221222728 1074206273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29710 28393 1111 63 0 29647 0
vsize: 118840
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 211795 0 0 0 27344 658 0 0 25 0 1 0 853755836 124968960 29205 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30510 29205 1111 63 0 30447 0
vsize: 122040
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 220330 0 0 0 28318 684 0 0 25 0 1 0 853755836 128548864 30092 4294967295 134512640 134716908 3221224560 3221222960 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31384 30092 1111 63 0 31321 0
vsize: 125536
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 228629 0 0 0 29293 709 0 0 25 0 1 0 853755836 132345856 31042 4294967295 134512640 134716908 3221224560 3221222288 1075832080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32311 31042 1111 63 0 32248 0
vsize: 129244
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 237034 0 0 0 30266 736 0 0 25 0 1 0 853755836 135864320 31882 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33137 31880 1111 63 0 33074 0
vsize: 132680
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 244020 0 0 0 31243 759 0 0 25 0 1 0 853755836 139141120 32753 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33970 32753 1111 63 0 33907 0
vsize: 135880
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 252610 0 0 0 32218 785 0 0 25 0 1 0 853755836 142823424 33670 4294967295 134512640 134716908 3221224560 3221222208 1075818148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34869 33670 1111 63 0 34806 0
vsize: 139476
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 261256 0 0 0 33195 808 0 0 25 0 1 0 853755836 146206720 34506 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35695 34506 1111 63 0 35632 0
vsize: 142780
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 268712 0 0 0 34168 835 0 0 25 0 1 0 853755836 149147648 35190 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36413 35190 1111 63 0 36350 0
vsize: 145652
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 275953 0 0 0 35146 857 0 0 25 0 1 0 853755836 151523328 35839 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36993 35839 1111 63 0 36930 0
vsize: 147972
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 284436 0 0 0 36120 884 0 0 25 0 1 0 853755836 154632192 36604 4294967295 134512640 134716908 3221224560 3221222384 1075824327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37752 36604 1111 63 0 37689 0
vsize: 151008
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 291823 0 0 0 37100 904 0 0 25 0 1 0 853755836 169488384 38902 4294967295 134512640 134716908 3221224560 3221223388 134624384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41379 38902 1111 63 0 41316 0
vsize: 165516
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 300330 0 0 0 38076 928 0 0 25 0 1 0 853755836 172392448 39605 4294967295 134512640 134716908 3221224560 3221223080 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42088 39605 1111 63 0 42025 0
vsize: 168352
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 308843 0 0 0 39054 950 0 0 25 0 1 0 853755836 175484928 40376 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42843 40376 1111 63 0 42780 0
vsize: 171372
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 316238 0 0 0 40033 971 0 0 25 0 1 0 853755836 178241536 40996 4294967295 134512640 134716908 3221224560 3221221856 1074818711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43446 40987 1111 63 0 43383 0
vsize: 174064
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 324639 0 0 0 41007 997 0 0 25 0 1 0 853755836 181678080 41913 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44355 41913 1111 63 0 44292 0
vsize: 177420
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 333025 0 0 0 41984 1020 0 0 25 0 1 0 853755836 184598528 42621 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45068 42621 1111 63 0 45005 0
vsize: 180272
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 340837 0 0 0 42963 1042 0 0 25 0 1 0 853755836 187404288 43346 4294967295 134512640 134716908 3221224560 3221221904 1074839000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45800 43348 1111 63 0 45737 0
vsize: 183012
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 349526 0 0 0 43936 1069 0 0 25 0 1 0 853755836 191057920 44235 4294967295 134512640 134716908 3221224560 3221222800 1074143847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46645 44235 1111 63 0 46582 0
vsize: 186580
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 356390 0 0 0 44913 1092 0 0 25 0 1 0 853755836 194134016 45015 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47396 45015 1111 63 0 47333 0
vsize: 189584
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 364760 0 0 0 45885 1120 0 0 25 0 1 0 853755836 198213632 45995 4294967295 134512640 134716908 3221224560 3221222208 1075817795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48392 45995 1111 63 0 48329 0
vsize: 193568
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 373126 0 0 0 46860 1145 0 0 25 0 1 0 853755836 201805824 46873 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49269 46873 1111 63 0 49206 0
vsize: 197076
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 381684 0 0 0 47834 1172 0 0 25 0 1 0 853755836 205361152 47791 4294967295 134512640 134716908 3221224560 3221222776 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50137 47791 1111 63 0 50074 0
vsize: 200548
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 388646 0 0 0 48813 1192 0 0 25 0 1 0 853755836 208384000 48526 4294967295 134512640 134716908 3221224560 3221222288 1075828432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50875 48526 1111 63 0 50812 0
vsize: 203500
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 397245 0 0 0 49787 1219 0 0 25 0 1 0 853755836 212082688 49474 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51778 49474 1111 63 0 51715 0
vsize: 207112
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 405836 0 0 0 50760 1246 0 0 25 0 1 0 853755836 215728128 50363 4294967295 134512640 134716908 3221224560 3221221904 1074839109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52705 50366 1111 63 0 52642 0
vsize: 210672
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 407766 0 0 0 51752 1254 0 0 25 0 1 0 853755836 217714688 50861 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53153 50861 1111 63 0 53090 0
vsize: 212612
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 408534 0 0 0 52750 1257 0 0 25 0 1 0 853755836 219807744 51391 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53664 51391 1111 63 0 53601 0
vsize: 214656
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 53745 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 54745 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 55745 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 56746 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 57746 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 58746 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 59746 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 410952 0 0 0 60746 1262 0 0 25 0 1 0 853755836 217853952 50932 4294967295 134512640 134716908 3221224560 3221223288 134622870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 411020 0 0 0 61746 1263 0 0 25 0 1 0 853755836 217178112 50767 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53022 50767 1111 63 0 52959 0
vsize: 212088
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 411167 0 0 0 62744 1265 0 0 25 0 1 0 853755836 217780224 50914 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53169 50914 1111 63 0 53106 0
vsize: 212676
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 414114 0 0 0 63737 1272 0 0 25 0 1 0 853755836 222621696 51406 4294967295 134512640 134716908 3221224560 3221221632 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54351 51406 1111 63 0 54288 0
vsize: 217404
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 431150 0 0 0 64696 1313 0 0 25 0 1 0 853755836 221675520 51396 4294967295 134512640 134716908 3221224560 3221220556 1074860964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53637 51377 1111 63 0 53574 0
vsize: 216480
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 445627 0 0 0 65661 1348 0 0 25 0 1 0 853755836 222715904 52155 4294967295 134512640 134716908 3221224560 3221223104 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54374 52155 1111 63 0 54311 0
vsize: 217496
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 462629 0 0 0 66620 1389 0 0 25 0 1 0 853755836 226435072 53028 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55282 53028 1111 63 0 55219 0
vsize: 221128
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 479802 0 0 0 67576 1434 0 0 25 0 1 0 853755836 230490112 53933 4294967295 134512640 134716908 3221224560 3221223288 134535787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56272 53933 1111 63 0 56209 0
vsize: 225088
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 496912 0 0 0 68535 1475 0 0 25 0 1 0 853755836 234295296 54758 4294967295 134512640 134716908 3221224560 3221222448 1074051046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57201 54758 1111 63 0 57138 0
vsize: 228804
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 511416 0 0 0 69498 1512 0 0 25 0 1 0 853755836 237223936 55527 4294967295 134512640 134716908 3221224560 3221222592 1075088491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57916 55527 1111 63 0 57853 0
vsize: 231664
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 528325 0 0 0 70460 1550 0 0 25 0 1 0 853755836 241061888 56420 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58853 56420 1111 63 0 58790 0
vsize: 235412
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 545166 0 0 0 71421 1590 0 0 25 0 1 0 853755836 244457472 57280 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59682 57280 1111 63 0 59619 0
vsize: 238728
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 556543 0 0 0 72390 1621 0 0 25 0 1 0 853755836 247775232 58097 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60492 58097 1111 63 0 60429 0
vsize: 241968
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 556676 0 0 0 73388 1622 0 0 25 0 1 0 853755836 248082432 58178 4294967295 134512640 134716908 3221224560 3221222864 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60567 58178 1111 63 0 60504 0
vsize: 242268
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 556759 0 0 0 74388 1623 0 0 25 0 1 0 853755836 248487936 58261 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60666 58261 1111 63 0 60603 0
vsize: 242664
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 556824 0 0 0 75387 1624 0 0 25 0 1 0 853755836 248819712 58326 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60747 58326 1111 63 0 60684 0
vsize: 242988
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 556892 0 0 0 76387 1625 0 0 25 0 1 0 853755836 248991744 58394 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60789 58394 1111 63 0 60726 0
vsize: 243156
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 557375 0 0 0 77386 1626 0 0 25 0 1 0 853755836 251154432 58877 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61317 58882 1111 63 0 61254 0
vsize: 245268
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 558329 0 0 0 78384 1628 0 0 25 0 1 0 853755836 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 558329 0 0 0 79384 1628 0 0 25 0 1 0 853755836 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 558329 0 0 0 80384 1628 0 0 25 0 1 0 853755836 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 561020 0 0 0 81379 1634 0 0 25 0 1 0 853755836 251490304 58896 4294967295 134512640 134716908 3221224560 3221222304 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61399 58896 1111 63 0 61336 0
vsize: 245596
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 82375 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 83375 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 84376 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 85376 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223364 134622608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 86376 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223280 134622881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 87376 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 88376 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 89377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 90377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 91377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 92377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 93377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 94377 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 95378 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223288 134622844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 96378 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562698 0 0 0 97378 1637 0 0 25 0 1 0 853755836 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 562886 0 0 0 98376 1639 0 0 25 0 1 0 853755836 248287232 58228 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60617 58228 1111 63 0 60554 0
vsize: 242468
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 563543 0 0 0 99375 1641 0 0 25 0 1 0 853755836 250105856 58664 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61061 58664 1111 63 0 60998 0
vsize: 244244
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 577103 0 0 0 100340 1676 0 0 25 0 1 0 853755836 249180160 58453 4294967295 134512640 134716908 3221224560 3221222772 1077377189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60835 58453 1111 63 0 60772 0
vsize: 243340
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 591493 0 0 0 101304 1712 0 0 25 0 1 0 853755836 252338176 59179 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61606 59179 1111 63 0 61543 0
vsize: 246424
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 608817 0 0 0 102261 1755 0 0 25 0 1 0 853755836 256638976 60290 4294967295 134512640 134716908 3221224560 3221222960 1074118787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62656 60290 1111 63 0 62593 0
vsize: 250624
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 625726 0 0 0 103218 1798 0 0 25 0 1 0 853755836 260108288 61117 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63503 61117 1111 63 0 63440 0
vsize: 254012
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 636923 0 0 0 104190 1826 0 0 25 0 1 0 853755836 263868416 62077 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64421 62077 1111 63 0 64358 0
vsize: 257684
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 637870 0 0 0 105189 1828 0 0 25 0 1 0 853755836 263069696 61882 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 637870 0 0 0 106189 1828 0 0 25 0 1 0 853755836 263069696 61882 4294967295 134512640 134716908 3221224560 3221223376 134622567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 653972 0 0 0 107151 1866 0 0 25 0 1 0 853755836 265162752 62386 4294967295 134512640 134716908 3221224560 3221223024 1074119523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64737 62386 1111 63 0 64674 0
vsize: 258948
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 664986 0 0 0 108124 1893 0 0 25 0 1 0 853755836 268980224 63365 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65669 63365 1111 63 0 65606 0
vsize: 262676
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 666326 0 0 0 109122 1896 0 0 25 0 1 0 853755836 267931648 63122 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 666326 0 0 0 110122 1896 0 0 25 0 1 0 853755836 267931648 63122 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 680180 0 0 0 111085 1933 0 0 25 0 1 0 853755836 269922304 63588 4294967295 134512640 134716908 3221224560 3221221872 1075006815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66069 63590 1111 63 0 66006 0
vsize: 263596
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 693389 0 0 0 112050 1968 0 0 25 0 1 0 853755836 272392192 64206 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66502 64206 1111 63 0 66439 0
vsize: 266008
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 707507 0 0 0 113014 2004 0 0 25 0 1 0 853755836 274894848 64852 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67113 64852 1111 63 0 67050 0
vsize: 268452
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 721677 0 0 0 113979 2039 0 0 25 0 1 0 853755836 276787200 65334 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67575 65334 1111 63 0 67512 0
vsize: 270300
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 738946 0 0 0 114935 2084 0 0 25 0 1 0 853755836 279826432 66092 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68487 66092 1111 63 0 68424 0
vsize: 273268
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6123
Raw data (stat): 6123 (bsolo_lpr_cuts-) R 6122 8378 8377 0 -1 0 738946 0 0 0 114935 2084 0 0 25 0 1 0 853755836 279826432 66092 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68487 66092 1111 63 0 68424 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.14
CPU user time (s): 1153.98
CPU system time (s): 21.1578
CPU usage (%): 100.015
Max. virtual memory (Kb): 273268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####