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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41620

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 17:37:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29686 boxname=wulflinc4 idbench=1470 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5b991f27ed09188f1ae8c5e20a0bcb79  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3708.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3708.opb
IDLAUNCH: 29686
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        876808 kB
Buffers:          8332 kB
Cached:         128792 kB
SwapCached:        916 kB
Active:          32292 kB
Inactive:       106872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        876556 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13028 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:57:49 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 29686 7 1200.3 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.84 0.94 0.90 1/54 18946
Raw data (stat): 18946 (runsolver) R 18945 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912123178 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912123178 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 1407 0 0 0 1993 4 0 0 25 0 1 0 912123178 17178624 1327 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 1657 0 0 0 2993 5 0 0 25 0 1 0 912123178 18178048 1577 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 1905 0 0 0 3993 5 0 0 25 0 1 0 912123178 19165184 1825 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 2153 0 0 0 4992 5 0 0 25 0 1 0 912123178 20152320 2073 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 2412 0 0 0 5992 6 0 0 25 0 1 0 912123178 21274624 2332 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2332 1111 63 0 5131 0
vsize: 20776
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 2660 0 0 0 6991 7 0 0 25 0 1 0 912123178 22261760 2580 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 2913 0 0 0 7992 7 0 0 25 0 1 0 912123178 23240704 2833 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2833 1111 63 0 5611 0
vsize: 22696
[startup+90.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 3161 0 0 0 8991 8 0 0 25 0 1 0 912123178 24367104 3081 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 3410 0 0 0 9991 8 0 0 25 0 1 0 912123178 25354240 3330 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3330 1111 63 0 6127 0
vsize: 24760
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 3664 0 0 0 10990 9 0 0 25 0 1 0 912123178 26341376 3584 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3584 1111 63 0 6368 0
vsize: 25724
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 3926 0 0 0 11990 10 0 0 25 0 1 0 912123178 27488256 3846 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6711 3846 1111 63 0 6648 0
vsize: 26844
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 4174 0 0 0 12989 11 0 0 25 0 1 0 912123178 28475392 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 4429 0 0 0 13988 11 0 0 25 0 1 0 912123178 29462528 4349 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4349 1111 63 0 7130 0
vsize: 28772
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 4683 0 0 0 14988 12 0 0 25 0 1 0 912123178 30584832 4603 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7467 4603 1111 63 0 7404 0
vsize: 29868
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 4932 0 0 0 15988 12 0 0 25 0 1 0 912123178 31567872 4852 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4852 1111 63 0 7644 0
vsize: 30828
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 5193 0 0 0 16987 13 0 0 25 0 1 0 912123178 32694272 5113 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7982 5113 1111 63 0 7919 0
vsize: 31928
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 5443 0 0 0 17987 14 0 0 25 0 1 0 912123178 33681408 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 5704 0 0 0 18987 14 0 0 25 0 1 0 912123178 34668544 5624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5624 1111 63 0 8401 0
vsize: 33856
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 5952 0 0 0 19986 15 0 0 25 0 1 0 912123178 35794944 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 6213 0 0 0 20985 16 0 0 25 0 1 0 912123178 36782080 6133 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6133 1111 63 0 8917 0
vsize: 35920
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 6478 0 0 0 21985 16 0 0 25 0 1 0 912123178 37920768 6398 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6398 1111 63 0 9195 0
vsize: 37032
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 6733 0 0 0 22985 17 0 0 25 0 1 0 912123178 39043072 6653 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6653 1111 63 0 9469 0
vsize: 38128
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 6994 0 0 0 23984 17 0 0 25 0 1 0 912123178 40030208 6914 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6914 1111 63 0 9710 0
vsize: 39092
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 7250 0 0 0 24984 18 0 0 25 0 1 0 912123178 41156608 7170 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7170 1111 63 0 9985 0
vsize: 40192
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 7512 0 0 0 25984 18 0 0 25 0 1 0 912123178 42143744 7432 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7432 1111 63 0 10226 0
vsize: 41156
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 7767 0 0 0 26984 19 0 0 25 0 1 0 912123178 43270144 7687 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7687 1111 63 0 10501 0
vsize: 42256
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 8030 0 0 0 27983 20 0 0 25 0 1 0 912123178 44257280 7950 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7950 1111 63 0 10742 0
vsize: 43220
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 8291 0 0 0 28983 20 0 0 25 0 1 0 912123178 45383680 8211 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8211 1111 63 0 11017 0
vsize: 44320
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 8553 0 0 0 29983 20 0 0 25 0 1 0 912123178 46370816 8473 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8473 1111 63 0 11258 0
vsize: 45284
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 8816 0 0 0 30983 21 0 0 25 0 1 0 912123178 47489024 8736 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8736 1111 63 0 11531 0
vsize: 46376
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 9076 0 0 0 31982 21 0 0 25 0 1 0 912123178 48615424 8996 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 8996 1111 63 0 11806 0
vsize: 47476
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 9338 0 0 0 32982 22 0 0 25 0 1 0 912123178 49602560 9258 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9258 1111 63 0 12047 0
vsize: 48440
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 9601 0 0 0 33981 23 0 0 25 0 1 0 912123178 50733056 9521 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9521 1111 63 0 12323 0
vsize: 49544
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 9862 0 0 0 34981 23 0 0 25 0 1 0 912123178 51716096 9782 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9782 1111 63 0 12563 0
vsize: 50504
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 10126 0 0 0 35981 24 0 0 25 0 1 0 912123178 52842496 10046 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10046 1111 63 0 12838 0
vsize: 51604
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 10394 0 0 0 36980 25 0 0 25 0 1 0 912123178 53968896 10314 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10314 1111 63 0 13113 0
vsize: 52704
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 10662 0 0 0 37980 25 0 0 25 0 1 0 912123178 55095296 10582 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 10582 1111 63 0 13388 0
vsize: 53804
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 10925 0 0 0 38979 26 0 0 25 0 1 0 912123178 56086528 10845 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10845 1111 63 0 13630 0
vsize: 54772
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 11187 0 0 0 39979 26 0 0 25 0 1 0 912123178 57212928 11107 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11107 1111 63 0 13905 0
vsize: 55872
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 11455 0 0 0 40979 27 0 0 25 0 1 0 912123178 58331136 11375 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11375 1111 63 0 14178 0
vsize: 56964
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 11722 0 0 0 41979 27 0 0 25 0 1 0 912123178 59318272 11642 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11642 1111 63 0 14419 0
vsize: 57928
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 12008 0 0 0 42979 27 0 0 25 0 1 0 912123178 60674048 11928 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11928 1111 63 0 14750 0
vsize: 59252
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 12276 0 0 0 43979 27 0 0 25 0 1 0 912123178 61792256 12196 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12196 1111 63 0 15023 0
vsize: 60344
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 12539 0 0 0 44978 28 0 0 25 0 1 0 912123178 62779392 12459 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12459 1111 63 0 15264 0
vsize: 61308
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 12814 0 0 0 45978 28 0 0 25 0 1 0 912123178 63905792 12734 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12734 1111 63 0 15539 0
vsize: 62408
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 13084 0 0 0 46978 29 0 0 25 0 1 0 912123178 65032192 13004 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 13004 1111 63 0 15814 0
vsize: 63508
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 13352 0 0 0 47978 29 0 0 25 0 1 0 912123178 66158592 13272 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13272 1111 63 0 16089 0
vsize: 64608
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 13622 0 0 0 48977 30 0 0 25 0 1 0 912123178 67284992 13542 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13542 1111 63 0 16364 0
vsize: 65708
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 13897 0 0 0 49977 30 0 0 25 0 1 0 912123178 68411392 13817 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13817 1111 63 0 16639 0
vsize: 66808
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 14167 0 0 0 50976 31 0 0 25 0 1 0 912123178 69537792 14087 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 14087 1111 63 0 16914 0
vsize: 67908
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 14443 0 0 0 51976 32 0 0 25 0 1 0 912123178 70664192 14363 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17252 14363 1111 63 0 17189 0
vsize: 69008
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 14718 0 0 0 52976 32 0 0 25 0 1 0 912123178 71794688 14638 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 14638 1111 63 0 17465 0
vsize: 70112
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 14986 0 0 0 53976 32 0 0 25 0 1 0 912123178 72773632 14906 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14906 1111 63 0 17704 0
vsize: 71068
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 15262 0 0 0 54975 33 0 0 25 0 1 0 912123178 73900032 15182 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 15182 1111 63 0 17979 0
vsize: 72168
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 15538 0 0 0 55975 33 0 0 25 0 1 0 912123178 75026432 15458 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15458 1111 63 0 18254 0
vsize: 73268
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 15813 0 0 0 56975 33 0 0 25 0 1 0 912123178 76152832 15733 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15733 1111 63 0 18529 0
vsize: 74368
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 16096 0 0 0 57975 34 0 0 25 0 1 0 912123178 77418496 16016 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18901 16016 1111 63 0 18838 0
vsize: 75604
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 16372 0 0 0 58974 34 0 0 25 0 1 0 912123178 78548992 16292 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16292 1111 63 0 19114 0
vsize: 76708
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 16648 0 0 0 59974 35 0 0 25 0 1 0 912123178 79675392 16568 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16568 1111 63 0 19389 0
vsize: 77808
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 16925 0 0 0 60974 35 0 0 25 0 1 0 912123178 80801792 16845 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16845 1111 63 0 19664 0
vsize: 78908
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 17206 0 0 0 61973 36 0 0 25 0 1 0 912123178 81928192 17126 4294967295 134512640 134716908 3221224560 3221221276 1077199299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17126 1111 63 0 19939 0
vsize: 80008
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 17489 0 0 0 62973 37 0 0 25 0 1 0 912123178 83054592 17409 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17409 1111 63 0 20214 0
vsize: 81108
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 17766 0 0 0 63973 37 0 0 25 0 1 0 912123178 84180992 17686 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17686 1111 63 0 20489 0
vsize: 82208
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 18048 0 0 0 64972 38 0 0 25 0 1 0 912123178 85307392 17968 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17968 1111 63 0 20764 0
vsize: 83308
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 18331 0 0 0 65972 39 0 0 25 0 1 0 912123178 86433792 18251 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18251 1111 63 0 21039 0
vsize: 84408
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 18613 0 0 0 66972 39 0 0 25 0 1 0 912123178 87703552 18533 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21412 18533 1111 63 0 21349 0
vsize: 85648
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 18897 0 0 0 67971 40 0 0 25 0 1 0 912123178 88829952 18817 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18817 1111 63 0 21624 0
vsize: 86748
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 19185 0 0 0 68971 40 0 0 25 0 1 0 912123178 89956352 19105 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21962 19105 1111 63 0 21899 0
vsize: 87848
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 19468 0 0 0 69970 41 0 0 25 0 1 0 912123178 91082752 19388 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19389 1111 63 0 22174 0
vsize: 88948
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 19752 0 0 0 70970 42 0 0 25 0 1 0 912123178 92348416 19672 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19672 1111 63 0 22483 0
vsize: 90184
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 20040 0 0 0 71969 43 0 0 25 0 1 0 912123178 93474816 19960 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19960 1111 63 0 22758 0
vsize: 91284
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 20324 0 0 0 72969 43 0 0 25 0 1 0 912123178 94601216 20244 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20244 1111 63 0 23033 0
vsize: 92384
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 20613 0 0 0 73969 44 0 0 25 0 1 0 912123178 95870976 20533 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20533 1111 63 0 23343 0
vsize: 93624
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 20897 0 0 0 74968 44 0 0 25 0 1 0 912123178 96997376 20817 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20817 1111 63 0 23618 0
vsize: 94724
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 21186 0 0 0 75968 45 0 0 25 0 1 0 912123178 98119680 21106 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21106 1111 63 0 23892 0
vsize: 95820
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 21475 0 0 0 76967 45 0 0 25 0 1 0 912123178 99385344 21395 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21395 1111 63 0 24201 0
vsize: 97056
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 21772 0 0 0 77967 46 0 0 25 0 1 0 912123178 100511744 21692 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21692 1111 63 0 24476 0
vsize: 98156
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 22060 0 0 0 78967 46 0 0 25 0 1 0 912123178 101777408 21980 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 21980 1111 63 0 24785 0
vsize: 99392
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 22356 0 0 0 79967 47 0 0 25 0 1 0 912123178 102903808 22276 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22276 1111 63 0 25060 0
vsize: 100492
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 22645 0 0 0 80966 47 0 0 25 0 1 0 912123178 104169472 22565 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22565 1111 63 0 25369 0
vsize: 101728
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 22934 0 0 0 81966 47 0 0 25 0 1 0 912123178 105295872 22854 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22854 1111 63 0 25644 0
vsize: 102828
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 23263 0 0 0 82966 48 0 0 25 0 1 0 912123178 106926080 23183 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 23183 1111 63 0 26042 0
vsize: 104420
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 23558 0 0 0 83965 49 0 0 25 0 1 0 912123178 108052480 23478 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23478 1111 63 0 26317 0
vsize: 105520
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 23850 0 0 0 84965 50 0 0 25 0 1 0 912123178 109318144 23770 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 23770 1111 63 0 26626 0
vsize: 106756
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 24145 0 0 0 85964 50 0 0 25 0 1 0 912123178 110444544 24065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24065 1111 63 0 26901 0
vsize: 107856
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 24443 0 0 0 86964 51 0 0 25 0 1 0 912123178 111710208 24363 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24363 1111 63 0 27210 0
vsize: 109092
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 24738 0 0 0 87963 52 0 0 25 0 1 0 912123178 112979968 24658 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27583 24658 1111 63 0 27520 0
vsize: 110332
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 25036 0 0 0 88962 53 0 0 25 0 1 0 912123178 114106368 24956 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24956 1111 63 0 27795 0
vsize: 111432
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 25333 0 0 0 89962 54 0 0 25 0 1 0 912123178 115372032 25253 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28167 25253 1111 63 0 28104 0
vsize: 112668
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 25629 0 0 0 90961 54 0 0 25 0 1 0 912123178 116498432 25549 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25549 1111 63 0 28379 0
vsize: 113768
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 25933 0 0 0 91961 55 0 0 25 0 1 0 912123178 117768192 25853 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25853 1111 63 0 28689 0
vsize: 115008
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 26229 0 0 0 92960 56 0 0 25 0 1 0 912123178 119037952 26149 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29062 26149 1111 63 0 28999 0
vsize: 116248
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 26527 0 0 0 93960 56 0 0 25 0 1 0 912123178 120160256 26447 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 26447 1111 63 0 29273 0
vsize: 117344
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 26829 0 0 0 94960 56 0 0 25 0 1 0 912123178 121434112 26749 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26749 1111 63 0 29584 0
vsize: 118588
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 27132 0 0 0 95960 57 0 0 25 0 1 0 912123178 122699776 27052 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 27052 1111 63 0 29893 0
vsize: 119824
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 27435 0 0 0 96959 57 0 0 25 0 1 0 912123178 123969536 27355 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 27355 1111 63 0 30203 0
vsize: 121064
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 27738 0 0 0 97959 58 0 0 25 0 1 0 912123178 125235200 27658 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30575 27658 1111 63 0 30512 0
vsize: 122300
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 28042 0 0 0 98959 58 0 0 25 0 1 0 912123178 126361600 27962 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30850 27962 1111 63 0 30787 0
vsize: 123400
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 28345 0 0 0 99959 59 0 0 25 0 1 0 912123178 127627264 28265 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31159 28265 1111 63 0 31096 0
vsize: 124636
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 28650 0 0 0 100958 60 0 0 25 0 1 0 912123178 128892928 28570 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28570 1111 63 0 31405 0
vsize: 125872
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 28959 0 0 0 101958 60 0 0 25 0 1 0 912123178 130162688 28879 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31778 28879 1111 63 0 31715 0
vsize: 127112
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 29270 0 0 0 102957 61 0 0 25 0 1 0 912123178 131428352 29190 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32087 29190 1111 63 0 32024 0
vsize: 128348
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 29573 0 0 0 103957 62 0 0 25 0 1 0 912123178 132694016 29493 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29493 1111 63 0 32333 0
vsize: 129584
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 29882 0 0 0 104956 62 0 0 25 0 1 0 912123178 133959680 29802 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29802 1111 63 0 32642 0
vsize: 130820
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 30192 0 0 0 105956 63 0 0 25 0 1 0 912123178 135229440 30112 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30112 1111 63 0 32952 0
vsize: 132060
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 30501 0 0 0 106955 64 0 0 25 0 1 0 912123178 136495104 30421 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30421 1111 63 0 33261 0
vsize: 133296
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 30813 0 0 0 107955 64 0 0 25 0 1 0 912123178 137764864 30733 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30733 1111 63 0 33571 0
vsize: 134536
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 31122 0 0 0 108954 65 0 0 25 0 1 0 912123178 139030528 31042 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31042 1111 63 0 33880 0
vsize: 135772
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 31434 0 0 0 109953 66 0 0 25 0 1 0 912123178 140296192 31354 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31354 1111 63 0 34189 0
vsize: 137008
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 31749 0 0 0 110953 67 0 0 25 0 1 0 912123178 141561856 31669 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34561 31669 1111 63 0 34498 0
vsize: 138244
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 32067 0 0 0 111952 68 0 0 25 0 1 0 912123178 142831616 31987 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34871 31987 1111 63 0 34808 0
vsize: 139484
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 32377 0 0 0 112952 68 0 0 25 0 1 0 912123178 144097280 32297 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35180 32297 1111 63 0 35117 0
vsize: 140720
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 32696 0 0 0 113952 69 0 0 25 0 1 0 912123178 145362944 32616 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35489 32616 1111 63 0 35426 0
vsize: 141956
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 33013 0 0 0 114951 69 0 0 25 0 1 0 912123178 146776064 32933 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 32933 1111 63 0 35771 0
vsize: 143336
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 33335 0 0 0 115951 70 0 0 25 0 1 0 912123178 148041728 33255 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36143 33255 1111 63 0 36080 0
vsize: 144572
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 33654 0 0 0 116952 70 0 0 25 0 1 0 912123178 149311488 33574 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36453 33574 1111 63 0 36390 0
vsize: 145812
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 33970 0 0 0 117951 71 0 0 25 0 1 0 912123178 150577152 33890 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36762 33890 1111 63 0 36699 0
vsize: 147048
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 34295 0 0 0 118951 72 0 0 25 0 1 0 912123178 151986176 34215 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 34215 1111 63 0 37043 0
vsize: 148424
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) R 18945 21152 21151 0 -1 0 34617 0 0 0 119951 72 0 0 25 0 1 0 912123178 153251840 34537 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 34537 1111 63 0 37352 0
vsize: 149660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18946
Raw data (stat): 18946 (bsolo_lpr_cuts-) Z 18945 21152 21151 0 -1 1036 34617 0 0 0 119951 79 0 0 25 0 1 0 912123178 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.13
CPU time (s): 1200.3
CPU user time (s): 1199.51
CPU system time (s): 0.790879
CPU usage (%): 100.014
Max. virtual memory (Kb): 149660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####