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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 41135

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 06:27:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29195 boxname=wulflinc1 idbench=979 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 29195
/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:        736176 kB
Buffers:         27372 kB
Cached:         246028 kB
SwapCached:       1184 kB
Active:          58540 kB
Inactive:       217048 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735924 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17056 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:47:54 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 29195 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.68 0.87 0.88 2/55 478
Raw data (stat): 478 (runsolver) R 477 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851255910 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.73 0.87 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 1988 0 0 0 991 7 0 0 25 0 1 0 851255910 15978496 1908 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3901 1908 1111 63 0 3838 0
vsize: 15604
[startup+20.0018 s]
Raw data (loadavg): 0.77 0.88 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2219 0 0 0 1990 8 0 0 25 0 1 0 851255910 16875520 2139 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4120 2139 1111 63 0 4057 0
vsize: 16480
[startup+30.0022 s]
Raw data (loadavg): 0.80 0.88 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2397 0 0 0 2990 8 0 0 25 0 1 0 851255910 17625088 2317 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4303 2317 1111 63 0 4240 0
vsize: 17212
[startup+40.003 s]
Raw data (loadavg): 0.83 0.88 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2472 0 0 0 3990 8 0 0 25 0 1 0 851255910 17903616 2392 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 2392 1111 63 0 4308 0
vsize: 17484
[startup+50.0027 s]
Raw data (loadavg): 0.86 0.89 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2552 0 0 0 4990 9 0 0 25 0 1 0 851255910 18178048 2472 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 2472 1111 63 0 4375 0
vsize: 17752
[startup+60.0025 s]
Raw data (loadavg): 0.88 0.89 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2613 0 0 0 5990 9 0 0 25 0 1 0 851255910 18452480 2533 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 2533 1111 63 0 4442 0
vsize: 18020
[startup+70.0023 s]
Raw data (loadavg): 0.90 0.89 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2675 0 0 0 6990 9 0 0 25 0 1 0 851255910 18731008 2595 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 2595 1111 63 0 4510 0
vsize: 18292
[startup+80.0035 s]
Raw data (loadavg): 0.91 0.90 0.88 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2742 0 0 0 7990 9 0 0 25 0 1 0 851255910 19009536 2662 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2662 1111 63 0 4578 0
vsize: 18564
[startup+90.0038 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2817 0 0 0 8990 9 0 0 25 0 1 0 851255910 19288064 2737 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2737 1111 63 0 4646 0
vsize: 18836
[startup+100.004 s]
Raw data (loadavg): 0.94 0.90 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2891 0 0 0 9990 9 0 0 25 0 1 0 851255910 19566592 2811 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4777 2811 1111 63 0 4714 0
vsize: 19108
[startup+110.004 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 2964 0 0 0 10991 9 0 0 25 0 1 0 851255910 19976192 2884 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 2884 1111 63 0 4814 0
vsize: 19508
[startup+120.004 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3032 0 0 0 11991 9 0 0 25 0 1 0 851255910 20250624 2952 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4944 2952 1111 63 0 4881 0
vsize: 19776
[startup+130.005 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3110 0 0 0 12991 9 0 0 25 0 1 0 851255910 20545536 3030 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 3030 1111 63 0 4953 0
vsize: 20064
[startup+140.005 s]
Raw data (loadavg): 0.97 0.91 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3177 0 0 0 13991 9 0 0 25 0 1 0 851255910 20819968 3097 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 3097 1111 63 0 5020 0
vsize: 20332
[startup+150.004 s]
Raw data (loadavg): 0.97 0.92 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3263 0 0 0 14991 10 0 0 25 0 1 0 851255910 21094400 3183 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5150 3183 1111 63 0 5087 0
vsize: 20600
[startup+160.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3336 0 0 0 15991 10 0 0 25 0 1 0 851255910 21499904 3256 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5249 3256 1111 63 0 5186 0
vsize: 20996
[startup+170.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3398 0 0 0 16991 10 0 0 25 0 1 0 851255910 21639168 3318 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 3318 1111 63 0 5220 0
vsize: 21132
[startup+180.005 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3467 0 0 0 17991 10 0 0 25 0 1 0 851255910 21921792 3387 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5352 3387 1111 63 0 5289 0
vsize: 21408
[startup+190.006 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3534 0 0 0 18991 10 0 0 25 0 1 0 851255910 22200320 3454 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 3454 1111 63 0 5357 0
vsize: 21680
[startup+200.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3601 0 0 0 19991 10 0 0 25 0 1 0 851255910 22474752 3521 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 3521 1111 63 0 5424 0
vsize: 21948
[startup+210.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3669 0 0 0 20992 10 0 0 25 0 1 0 851255910 22753280 3589 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5555 3589 1111 63 0 5492 0
vsize: 22220
[startup+220.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3737 0 0 0 21992 10 0 0 25 0 1 0 851255910 23027712 3657 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5622 3657 1111 63 0 5559 0
vsize: 22488
[startup+230.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3800 0 0 0 22992 10 0 0 25 0 1 0 851255910 23310336 3720 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5691 3720 1111 63 0 5628 0
vsize: 22764
[startup+240.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3879 0 0 0 23992 10 0 0 25 0 1 0 851255910 23728128 3799 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5793 3799 1111 63 0 5730 0
vsize: 23172
[startup+250.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 3940 0 0 0 24992 10 0 0 25 0 1 0 851255910 23863296 3860 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3860 1111 63 0 5763 0
vsize: 23304
[startup+260.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4007 0 0 0 25992 11 0 0 25 0 1 0 851255910 24141824 3927 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5894 3927 1111 63 0 5831 0
vsize: 23576
[startup+270.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4076 0 0 0 26992 11 0 0 25 0 1 0 851255910 24420352 3996 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 3996 1111 63 0 5899 0
vsize: 23848
[startup+280.008 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4139 0 0 0 27992 11 0 0 25 0 1 0 851255910 24702976 4059 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6031 4059 1111 63 0 5968 0
vsize: 24124
[startup+290.008 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4206 0 0 0 28993 11 0 0 25 0 1 0 851255910 24981504 4126 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6099 4126 1111 63 0 6036 0
vsize: 24396
[startup+300.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4274 0 0 0 29993 11 0 0 25 0 1 0 851255910 25255936 4194 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 4194 1111 63 0 6103 0
vsize: 24664
[startup+310.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4354 0 0 0 30993 11 0 0 25 0 1 0 851255910 25669632 4274 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 4274 1111 63 0 6204 0
vsize: 25068
[startup+320.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4429 0 0 0 31993 11 0 0 25 0 1 0 851255910 25948160 4349 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6335 4349 1111 63 0 6272 0
vsize: 25340
[startup+330.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4497 0 0 0 32993 11 0 0 25 0 1 0 851255910 26222592 4417 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6402 4417 1111 63 0 6339 0
vsize: 25608
[startup+340.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4564 0 0 0 33993 11 0 0 25 0 1 0 851255910 26501120 4484 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6470 4484 1111 63 0 6407 0
vsize: 25880
[startup+350.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4644 0 0 0 34993 12 0 0 25 0 1 0 851255910 26771456 4564 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6536 4564 1111 63 0 6473 0
vsize: 26144
[startup+360.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4707 0 0 0 35993 12 0 0 25 0 1 0 851255910 27049984 4627 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6604 4627 1111 63 0 6541 0
vsize: 26416
[startup+370.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4781 0 0 0 36993 12 0 0 25 0 1 0 851255910 27336704 4701 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6674 4701 1111 63 0 6611 0
vsize: 26696
[startup+380.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4849 0 0 0 37993 12 0 0 25 0 1 0 851255910 27611136 4769 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6741 4769 1111 63 0 6678 0
vsize: 26964
[startup+390.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4910 0 0 0 38993 12 0 0 25 0 1 0 851255910 27889664 4830 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6809 4830 1111 63 0 6746 0
vsize: 27236
[startup+400.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 4984 0 0 0 39993 12 0 0 25 0 1 0 851255910 28164096 4904 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6876 4904 1111 63 0 6813 0
vsize: 27504
[startup+410.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5059 0 0 0 40993 12 0 0 25 0 1 0 851255910 28446720 4979 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6945 4979 1111 63 0 6882 0
vsize: 27780
[startup+420.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5145 0 0 0 41993 13 0 0 25 0 1 0 851255910 28856320 5065 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7045 5065 1111 63 0 6982 0
vsize: 28180
[startup+430.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5225 0 0 0 42993 13 0 0 25 0 1 0 851255910 29126656 5145 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7111 5145 1111 63 0 7048 0
vsize: 28444
[startup+440.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5298 0 0 0 43994 13 0 0 25 0 1 0 851255910 29536256 5218 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7211 5218 1111 63 0 7148 0
vsize: 28844
[startup+450.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5368 0 0 0 44994 13 0 0 25 0 1 0 851255910 29822976 5288 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 5288 1111 63 0 7218 0
vsize: 29124
[startup+460.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5443 0 0 0 45994 13 0 0 25 0 1 0 851255910 30105600 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7350 5363 1111 63 0 7287 0
vsize: 29400
[startup+470.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5509 0 0 0 46994 13 0 0 25 0 1 0 851255910 30392320 5429 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7420 5429 1111 63 0 7357 0
vsize: 29680
[startup+480.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5583 0 0 0 47994 13 0 0 25 0 1 0 851255910 30670848 5503 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7488 5503 1111 63 0 7425 0
vsize: 29952
[startup+490.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5651 0 0 0 48994 14 0 0 25 0 1 0 851255910 30945280 5571 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 5571 1111 63 0 7492 0
vsize: 30220
[startup+500.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5732 0 0 0 49995 14 0 0 25 0 1 0 851255910 31223808 5652 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7623 5652 1111 63 0 7560 0
vsize: 30492
[startup+510.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5805 0 0 0 50995 14 0 0 25 0 1 0 851255910 31633408 5725 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 5725 1111 63 0 7660 0
vsize: 30892
[startup+520.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5866 0 0 0 51995 14 0 0 25 0 1 0 851255910 31772672 5786 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7757 5786 1111 63 0 7694 0
vsize: 31028
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 5934 0 0 0 52995 14 0 0 25 0 1 0 851255910 32047104 5854 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7824 5854 1111 63 0 7761 0
vsize: 31296
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6001 0 0 0 53995 15 0 0 25 0 1 0 851255910 32321536 5921 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7891 5921 1111 63 0 7828 0
vsize: 31564
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6064 0 0 0 54995 15 0 0 25 0 1 0 851255910 32604160 5984 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7960 5984 1111 63 0 7897 0
vsize: 31840
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6125 0 0 0 55995 15 0 0 25 0 1 0 851255910 32882688 6045 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8028 6045 1111 63 0 7965 0
vsize: 32112
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6198 0 0 0 56995 15 0 0 25 0 1 0 851255910 33153024 6118 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8094 6118 1111 63 0 8031 0
vsize: 32376
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6267 0 0 0 57995 15 0 0 25 0 1 0 851255910 33431552 6187 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8162 6187 1111 63 0 8099 0
vsize: 32648
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6334 0 0 0 58995 16 0 0 25 0 1 0 851255910 33710080 6254 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 6254 1111 63 0 8167 0
vsize: 32920
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6409 0 0 0 59995 16 0 0 25 0 1 0 851255910 33988608 6329 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 6329 1111 63 0 8235 0
vsize: 33192
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6476 0 0 0 60995 16 0 0 25 0 1 0 851255910 34263040 6396 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 6396 1111 63 0 8302 0
vsize: 33460
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6543 0 0 0 61995 16 0 0 25 0 1 0 851255910 34537472 6463 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 6463 1111 63 0 8369 0
vsize: 33728
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6611 0 0 0 62995 17 0 0 25 0 1 0 851255910 34811904 6531 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8499 6531 1111 63 0 8436 0
vsize: 33996
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6681 0 0 0 63995 17 0 0 25 0 1 0 851255910 35090432 6601 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8567 6601 1111 63 0 8504 0
vsize: 34268
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6755 0 0 0 64995 17 0 0 25 0 1 0 851255910 35512320 6675 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8670 6675 1111 63 0 8607 0
vsize: 34680
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6835 0 0 0 65995 17 0 0 25 0 1 0 851255910 35782656 6755 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 6755 1111 63 0 8673 0
vsize: 34944
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6909 0 0 0 66995 17 0 0 25 0 1 0 851255910 36057088 6829 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8803 6829 1111 63 0 8740 0
vsize: 35212
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 6976 0 0 0 67995 17 0 0 25 0 1 0 851255910 36331520 6896 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8870 6896 1111 63 0 8807 0
vsize: 35480
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7045 0 0 0 68996 17 0 0 25 0 1 0 851255910 36614144 6965 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8939 6965 1111 63 0 8876 0
vsize: 35756
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7119 0 0 0 69996 17 0 0 25 0 1 0 851255910 36888576 7039 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9006 7039 1111 63 0 8943 0
vsize: 36024
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7193 0 0 0 70996 17 0 0 25 0 1 0 851255910 37298176 7113 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9106 7113 1111 63 0 9043 0
vsize: 36424
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7272 0 0 0 71996 17 0 0 25 0 1 0 851255910 37572608 7192 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 7192 1111 63 0 9110 0
vsize: 36692
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7339 0 0 0 72996 17 0 0 25 0 1 0 851255910 37842944 7259 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 7259 1111 63 0 9176 0
vsize: 36956
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7402 0 0 0 73996 17 0 0 25 0 1 0 851255910 38129664 7322 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9309 7322 1111 63 0 9246 0
vsize: 37236
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7475 0 0 0 74996 18 0 0 25 0 1 0 851255910 38404096 7395 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9376 7395 1111 63 0 9313 0
vsize: 37504
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7544 0 0 0 75996 18 0 0 25 0 1 0 851255910 38678528 7464 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9443 7464 1111 63 0 9380 0
vsize: 37772
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7618 0 0 0 76996 18 0 0 25 0 1 0 851255910 38952960 7538 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9510 7538 1111 63 0 9447 0
vsize: 38040
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7693 0 0 0 77996 18 0 0 25 0 1 0 851255910 39227392 7613 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9577 7613 1111 63 0 9514 0
vsize: 38308
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7773 0 0 0 78996 18 0 0 25 0 1 0 851255910 39645184 7693 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9679 7693 1111 63 0 9616 0
vsize: 38716
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7853 0 0 0 79996 19 0 0 25 0 1 0 851255910 39919616 7773 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9746 7773 1111 63 0 9683 0
vsize: 38984
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7927 0 0 0 80996 19 0 0 25 0 1 0 851255910 40194048 7847 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9813 7847 1111 63 0 9750 0
vsize: 39252
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 7988 0 0 0 81996 19 0 0 25 0 1 0 851255910 40468480 7908 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 7908 1111 63 0 9817 0
vsize: 39520
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8063 0 0 0 82996 19 0 0 25 0 1 0 851255910 40747008 7983 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9948 7983 1111 63 0 9885 0
vsize: 39792
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8143 0 0 0 83996 19 0 0 25 0 1 0 851255910 41160704 8063 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10049 8063 1111 63 0 9986 0
vsize: 40196
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8216 0 0 0 84996 19 0 0 25 0 1 0 851255910 41435136 8136 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10116 8136 1111 63 0 10053 0
vsize: 40464
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8284 0 0 0 85996 19 0 0 25 0 1 0 851255910 41709568 8204 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10183 8204 1111 63 0 10120 0
vsize: 40732
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8365 0 0 0 86996 20 0 0 25 0 1 0 851255910 41984000 8285 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10250 8285 1111 63 0 10187 0
vsize: 41000
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8433 0 0 0 87997 20 0 0 25 0 1 0 851255910 42262528 8353 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10318 8353 1111 63 0 10255 0
vsize: 41272
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8513 0 0 0 88997 20 0 0 25 0 1 0 851255910 42676224 8433 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10419 8433 1111 63 0 10356 0
vsize: 41676
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8587 0 0 0 89997 20 0 0 25 0 1 0 851255910 42950656 8507 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10486 8507 1111 63 0 10423 0
vsize: 41944
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8666 0 0 0 90997 20 0 0 25 0 1 0 851255910 43376640 8586 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10590 8586 1111 63 0 10527 0
vsize: 42360
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8741 0 0 0 91997 20 0 0 25 0 1 0 851255910 43659264 8661 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10659 8661 1111 63 0 10596 0
vsize: 42636
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8809 0 0 0 92997 20 0 0 25 0 1 0 851255910 43937792 8729 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10727 8729 1111 63 0 10664 0
vsize: 42908
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8876 0 0 0 93997 20 0 0 25 0 1 0 851255910 44212224 8796 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10794 8796 1111 63 0 10731 0
vsize: 43176
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 8944 0 0 0 94997 21 0 0 25 0 1 0 851255910 44490752 8864 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10862 8864 1111 63 0 10799 0
vsize: 43448
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9026 0 0 0 95997 21 0 0 25 0 1 0 851255910 44769280 8946 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 8946 1111 63 0 10867 0
vsize: 43720
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9093 0 0 0 96997 21 0 0 25 0 1 0 851255910 45043712 9013 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10997 9013 1111 63 0 10934 0
vsize: 43988
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9167 0 0 0 97997 21 0 0 25 0 1 0 851255910 45318144 9087 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11064 9087 1111 63 0 11001 0
vsize: 44256
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9240 0 0 0 98997 21 0 0 25 0 1 0 851255910 45731840 9160 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11165 9160 1111 63 0 11102 0
vsize: 44660
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9320 0 0 0 99997 21 0 0 25 0 1 0 851255910 46006272 9240 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11232 9240 1111 63 0 11169 0
vsize: 44928
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9403 0 0 0 100997 21 0 0 25 0 1 0 851255910 46284800 9323 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11300 9323 1111 63 0 11237 0
vsize: 45200
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9465 0 0 0 101997 22 0 0 25 0 1 0 851255910 46559232 9385 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11367 9385 1111 63 0 11304 0
vsize: 45468
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9539 0 0 0 102997 22 0 0 25 0 1 0 851255910 46833664 9459 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11434 9459 1111 63 0 11371 0
vsize: 45736
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9619 0 0 0 103997 22 0 0 25 0 1 0 851255910 47247360 9539 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11535 9539 1111 63 0 11472 0
vsize: 46140
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9701 0 0 0 104997 22 0 0 25 0 1 0 851255910 47525888 9621 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11603 9621 1111 63 0 11540 0
vsize: 46412
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9774 0 0 0 105997 22 0 0 25 0 1 0 851255910 47800320 9694 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11670 9694 1111 63 0 11607 0
vsize: 46680
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9842 0 0 0 106997 22 0 0 25 0 1 0 851255910 48074752 9762 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 9762 1111 63 0 11674 0
vsize: 46948
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9922 0 0 0 107997 23 0 0 25 0 1 0 851255910 48488448 9842 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11838 9842 1111 63 0 11775 0
vsize: 47352
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 9991 0 0 0 108997 23 0 0 25 0 1 0 851255910 48762880 9911 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 9911 1111 63 0 11842 0
vsize: 47620
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10065 0 0 0 109997 23 0 0 25 0 1 0 851255910 49045504 9985 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11974 9985 1111 63 0 11911 0
vsize: 47896
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10139 0 0 0 110997 23 0 0 25 0 1 0 851255910 49319936 10059 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12041 10059 1111 63 0 11978 0
vsize: 48164
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10208 0 0 0 111997 23 0 0 25 0 1 0 851255910 49594368 10128 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12108 10128 1111 63 0 12045 0
vsize: 48432
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10276 0 0 0 112998 23 0 0 25 0 1 0 851255910 49872896 10196 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12176 10196 1111 63 0 12113 0
vsize: 48704
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10357 0 0 0 113998 23 0 0 25 0 1 0 851255910 50290688 10277 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12278 10277 1111 63 0 12215 0
vsize: 49112
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10431 0 0 0 114998 23 0 0 25 0 1 0 851255910 50565120 10351 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 10351 1111 63 0 12282 0
vsize: 49380
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10511 0 0 0 115998 23 0 0 25 0 1 0 851255910 50835456 10431 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12411 10431 1111 63 0 12348 0
vsize: 49644
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10572 0 0 0 116998 23 0 0 25 0 1 0 851255910 51113984 10492 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 10492 1111 63 0 12416 0
vsize: 49916
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10639 0 0 0 117998 24 0 0 25 0 1 0 851255910 51392512 10559 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12547 10559 1111 63 0 12484 0
vsize: 50188
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10708 0 0 0 118998 24 0 0 25 0 1 0 851255910 51671040 10628 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 10628 1111 63 0 12552 0
vsize: 50460
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) R 477 8378 8377 0 -1 0 10782 0 0 0 119998 24 0 0 25 0 1 0 851255910 51945472 10702 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12682 10702 1111 63 0 12619 0
vsize: 50728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 478
Raw data (stat): 478 (bsolo_lpr_cuts-) Z 477 8378 8377 0 -1 1036 10782 0 0 0 119998 26 0 0 25 0 1 0 851255910 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.25
CPU user time (s): 1199.99
CPU system time (s): 0.26296
CPU usage (%): 100.016
Max. virtual memory (Kb): 50728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####