PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2630
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2630
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40751

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 21:23:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28817 boxname=wulflinc1 idbench=203 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1-c.opb
IDLAUNCH: 28817
/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:        849572 kB
Buffers:         28656 kB
Cached:         132240 kB
SwapCached:       1148 kB
Active:          42836 kB
Inactive:       120284 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        849208 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16308 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:42:43 (client local time) WITH STATUS 0 IN 1175.43 SECONDS
stats: 28817 7 1175.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2630 variables and 6569 constraints.
c After prepocess the problem consists of 2565 variables and 8418 constraints.
c preprocess terminated 57.187 s
c Initial Lower Bound: 842
c Lower Bound Elapsed time: 23.6256
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.4 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 26340
Raw data (stat): 26340 (runsolver) R 26339 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847986984 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 4565 0 0 0 986 12 0 0 25 0 1 0 847986984 18063360 3566 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3566 1111 63 0 4347 0
vsize: 17640
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 4565 0 0 0 1986 12 0 0 25 0 1 0 847986984 18063360 3566 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3566 1111 63 0 4347 0
vsize: 17640
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 4590 0 0 0 2986 12 0 0 25 0 1 0 847986984 18198528 3591 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3591 1111 63 0 4380 0
vsize: 17772
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 4744 0 0 0 3986 12 0 0 25 0 1 0 847986984 18874368 3745 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4608 3745 1111 63 0 4545 0
vsize: 18432
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 4865 0 0 0 4986 12 0 0 25 0 1 0 847986984 19415040 3866 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3866 1111 63 0 4677 0
vsize: 18960
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 6050 0 0 0 5983 15 0 0 25 0 1 0 847986984 24182784 5051 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5904 5051 1111 63 0 5841 0
vsize: 23616
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7467 0 0 0 6979 19 0 0 25 0 1 0 847986984 30597120 6157 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6157 1111 63 0 7407 0
vsize: 29880
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7507 0 0 0 7979 19 0 0 25 0 1 0 847986984 30597120 6197 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6197 1111 63 0 7407 0
vsize: 29880
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7521 0 0 0 8979 19 0 0 25 0 1 0 847986984 30597120 6211 4294967295 134512640 134716908 3221224576 3221220640 1075091081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6211 1111 63 0 7407 0
vsize: 29880
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7531 0 0 0 9979 20 0 0 25 0 1 0 847986984 30597120 6221 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6221 1111 63 0 7407 0
vsize: 29880
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7531 0 0 0 10979 20 0 0 25 0 1 0 847986984 30597120 6221 4294967295 134512640 134716908 3221224576 3221220752 1074961157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6221 1111 63 0 7407 0
vsize: 29880
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7762 0 0 0 11979 20 0 0 25 0 1 0 847986984 29605888 6186 4294967295 134512640 134716908 3221224576 3221220752 1074960918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6186 1111 63 0 7165 0
vsize: 28912
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7762 0 0 0 12979 20 0 0 25 0 1 0 847986984 29605888 6186 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6186 1111 63 0 7165 0
vsize: 28912
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7784 0 0 0 13979 20 0 0 25 0 1 0 847986984 29720576 6208 4294967295 134512640 134716908 3221224576 3221220752 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 6208 1111 63 0 7193 0
vsize: 29024
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7810 0 0 0 14979 21 0 0 25 0 1 0 847986984 29847552 6234 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6234 1111 63 0 7224 0
vsize: 29148
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 7886 0 0 0 15979 21 0 0 25 0 1 0 847986984 30302208 6310 4294967295 134512640 134716908 3221224576 3221221104 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 6310 1111 63 0 7335 0
vsize: 29592
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 10882 0 0 0 16972 28 0 0 25 0 1 0 847986984 30281728 6279 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 6279 1111 63 0 7330 0
vsize: 29572
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 10882 0 0 0 17972 28 0 0 25 0 1 0 847986984 30281728 6279 4294967295 134512640 134716908 3221224576 3221220616 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 6279 1111 63 0 7330 0
vsize: 29572
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 12501 0 0 0 18968 32 0 0 25 0 1 0 847986984 26714112 5751 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6522 5751 1111 63 0 6459 0
vsize: 26088
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 16461 0 0 0 19958 42 0 0 25 0 1 0 847986984 31956992 6651 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6651 1111 63 0 7739 0
vsize: 31208
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 18998 0 0 0 20953 48 0 0 25 0 1 0 847986984 32018432 6301 4294967295 134512640 134716908 3221224576 3221220752 1074961278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7817 6301 1111 63 0 7754 0
vsize: 31268
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 21857 0 0 0 21945 56 0 0 25 0 1 0 847986984 32092160 6311 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7835 6311 1111 63 0 7772 0
vsize: 31340
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 23476 0 0 0 22940 61 0 0 25 0 1 0 847986984 27082752 5844 4294967295 134512640 134716908 3221224576 3221222732 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6612 5844 1111 63 0 6549 0
vsize: 26448
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 24884 0 0 0 23937 64 0 0 25 0 1 0 847986984 30896128 6444 4294967295 134512640 134716908 3221224576 3221220688 1074815366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 6444 1111 63 0 7480 0
vsize: 30172
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 24884 0 0 0 24937 64 0 0 25 0 1 0 847986984 30896128 6444 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 6444 1111 63 0 7480 0
vsize: 30172
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 26269 0 0 0 25934 68 0 0 25 0 1 0 847986984 27414528 5948 4294967295 134512640 134716908 3221224576 3221222732 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6693 5948 1111 63 0 6630 0
vsize: 26772
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 28900 0 0 0 26928 74 0 0 25 0 1 0 847986984 27574272 5995 4294967295 134512640 134716908 3221224576 3221222960 1074031945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5995 1111 63 0 6669 0
vsize: 26928
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 30258 0 0 0 27924 78 0 0 25 0 1 0 847986984 31182848 6475 4294967295 134512640 134716908 3221224576 3221220448 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7613 6475 1111 63 0 7550 0
vsize: 30452
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 32785 0 0 0 28919 84 0 0 25 0 1 0 847986984 32673792 6537 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7977 6537 1111 63 0 7914 0
vsize: 31908
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 33804 0 0 0 29916 86 0 0 25 0 1 0 847986984 26361856 5722 4294967295 134512640 134716908 3221224576 3221223312 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5722 1111 63 0 6373 0
vsize: 25744
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 33804 0 0 0 30916 86 0 0 25 0 1 0 847986984 26361856 5722 4294967295 134512640 134716908 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5722 1111 63 0 6373 0
vsize: 25744
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 33860 0 0 0 31915 87 0 0 25 0 1 0 847986984 26632192 5778 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6502 5778 1111 63 0 6439 0
vsize: 26008
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 33984 0 0 0 32915 88 0 0 25 0 1 0 847986984 27172864 5902 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6634 5902 1111 63 0 6571 0
vsize: 26536
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34109 0 0 0 33914 88 0 0 25 0 1 0 847986984 27713536 6027 4294967295 134512640 134716908 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6766 6027 1111 63 0 6703 0
vsize: 27064
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34226 0 0 0 34914 89 0 0 25 0 1 0 847986984 28119040 6144 4294967295 134512640 134716908 3221224576 3221223072 134699746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6865 6144 1111 63 0 6802 0
vsize: 27460
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34347 0 0 0 35913 90 0 0 25 0 1 0 847986984 28659712 6265 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6997 6265 1111 63 0 6934 0
vsize: 27988
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34483 0 0 0 36913 90 0 0 25 0 1 0 847986984 29200384 6401 4294967295 134512640 134716908 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7129 6401 1111 63 0 7066 0
vsize: 28516
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34607 0 0 0 37913 91 0 0 25 0 1 0 847986984 29741056 6525 4294967295 134512640 134716908 3221224576 3221223332 134587950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7261 6525 1111 63 0 7198 0
vsize: 29044
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34734 0 0 0 38912 91 0 0 25 0 1 0 847986984 30281728 6652 4294967295 134512640 134716908 3221224576 3221223240 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 6652 1111 63 0 7330 0
vsize: 29572
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 34863 0 0 0 39911 92 0 0 25 0 1 0 847986984 30822400 6781 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7525 6781 1111 63 0 7462 0
vsize: 30100
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35005 0 0 0 40911 93 0 0 25 0 1 0 847986984 31363072 6923 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 6923 1111 63 0 7594 0
vsize: 30628
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35110 0 0 0 41911 93 0 0 25 0 1 0 847986984 31768576 7028 4294967295 134512640 134716908 3221224576 3221223300 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 7028 1111 63 0 7693 0
vsize: 31024
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35201 0 0 0 42910 94 0 0 25 0 1 0 847986984 32174080 7119 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7855 7119 1111 63 0 7792 0
vsize: 31420
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35270 0 0 0 43910 94 0 0 25 0 1 0 847986984 32444416 7188 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7188 1111 63 0 7858 0
vsize: 31684
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35327 0 0 0 44910 94 0 0 25 0 1 0 847986984 32714752 7245 4294967295 134512640 134716908 3221224576 3221223204 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7987 7245 1111 63 0 7924 0
vsize: 31948
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35394 0 0 0 45910 94 0 0 25 0 1 0 847986984 32985088 7312 4294967295 134512640 134716908 3221224576 3221223216 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8053 7312 1111 63 0 7990 0
vsize: 32212
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35452 0 0 0 46910 95 0 0 25 0 1 0 847986984 33120256 7370 4294967295 134512640 134716908 3221224576 3221223168 134549616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8086 7370 1111 63 0 8023 0
vsize: 32344
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35512 0 0 0 47910 95 0 0 25 0 1 0 847986984 33390592 7430 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 7430 1111 63 0 8089 0
vsize: 32608
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35577 0 0 0 48909 95 0 0 25 0 1 0 847986984 33660928 7495 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8218 7495 1111 63 0 8155 0
vsize: 32872
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35684 0 0 0 49909 96 0 0 25 0 1 0 847986984 34066432 7602 4294967295 134512640 134716908 3221224576 3221223184 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8317 7602 1111 63 0 8254 0
vsize: 33268
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35775 0 0 0 50909 96 0 0 25 0 1 0 847986984 34471936 7693 4294967295 134512640 134716908 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8416 7693 1111 63 0 8353 0
vsize: 33664
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35835 0 0 0 51909 97 0 0 25 0 1 0 847986984 34742272 7753 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8482 7753 1111 63 0 8419 0
vsize: 33928
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35898 0 0 0 52909 97 0 0 25 0 1 0 847986984 35012608 7816 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8548 7816 1111 63 0 8485 0
vsize: 34192
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 35957 0 0 0 53909 97 0 0 25 0 1 0 847986984 35282944 7875 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8614 7875 1111 63 0 8551 0
vsize: 34456
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36016 0 0 0 54909 97 0 0 25 0 1 0 847986984 35553280 7934 4294967295 134512640 134716908 3221224576 3221223360 134529288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8680 7934 1111 63 0 8617 0
vsize: 34720
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36088 0 0 0 55908 98 0 0 25 0 1 0 847986984 35823616 8006 4294967295 134512640 134716908 3221224576 3221223204 134698579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 8006 1111 63 0 8683 0
vsize: 34984
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36146 0 0 0 56909 98 0 0 25 0 1 0 847986984 35958784 8064 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 8064 1111 63 0 8716 0
vsize: 35116
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36204 0 0 0 57909 98 0 0 25 0 1 0 847986984 36229120 8122 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8122 1111 63 0 8782 0
vsize: 35380
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36262 0 0 0 58909 98 0 0 25 0 1 0 847986984 36499456 8180 4294967295 134512640 134716908 3221224576 3221223216 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8911 8180 1111 63 0 8848 0
vsize: 35644
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36321 0 0 0 59909 98 0 0 25 0 1 0 847986984 36769792 8239 4294967295 134512640 134716908 3221224576 3221223292 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8977 8239 1111 63 0 8914 0
vsize: 35908
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36375 0 0 0 60909 99 0 0 25 0 1 0 847986984 36904960 8293 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9010 8293 1111 63 0 8947 0
vsize: 36040
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36434 0 0 0 61908 99 0 0 25 0 1 0 847986984 37175296 8352 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9076 8352 1111 63 0 9013 0
vsize: 36304
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36490 0 0 0 62909 99 0 0 25 0 1 0 847986984 37445632 8408 4294967295 134512640 134716908 3221224576 3221223248 134542963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9142 8408 1111 63 0 9079 0
vsize: 36568
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36581 0 0 0 63908 99 0 0 25 0 1 0 847986984 37851136 8499 4294967295 134512640 134716908 3221224576 3221223264 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9241 8499 1111 63 0 9178 0
vsize: 36964
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36700 0 0 0 64908 100 0 0 25 0 1 0 847986984 38256640 8618 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9340 8618 1111 63 0 9277 0
vsize: 37360
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36817 0 0 0 65908 100 0 0 25 0 1 0 847986984 38797312 8735 4294967295 134512640 134716908 3221224576 3221223136 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9472 8735 1111 63 0 9409 0
vsize: 37888
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 36943 0 0 0 66907 101 0 0 25 0 1 0 847986984 39337984 8861 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 8861 1111 63 0 9541 0
vsize: 38416
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37075 0 0 0 67907 102 0 0 25 0 1 0 847986984 39878656 8993 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 8993 1111 63 0 9673 0
vsize: 38944
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37197 0 0 0 68907 102 0 0 25 0 1 0 847986984 40284160 9115 4294967295 134512640 134716908 3221224576 3221223216 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9835 9115 1111 63 0 9772 0
vsize: 39340
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37314 0 0 0 69907 103 0 0 25 0 1 0 847986984 40824832 9232 4294967295 134512640 134716908 3221224576 3221223204 1077374168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9232 1111 63 0 9904 0
vsize: 39868
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37423 0 0 0 70906 104 0 0 25 0 1 0 847986984 41230336 9341 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10066 9341 1111 63 0 10003 0
vsize: 40264
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37515 0 0 0 71906 104 0 0 25 0 1 0 847986984 41635840 9433 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10165 9433 1111 63 0 10102 0
vsize: 40660
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37581 0 0 0 72906 105 0 0 25 0 1 0 847986984 41906176 9499 4294967295 134512640 134716908 3221224576 3221223244 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10231 9499 1111 63 0 10168 0
vsize: 40924
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37636 0 0 0 73908 105 0 0 25 0 1 0 847986984 42176512 9554 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10297 9554 1111 63 0 10234 0
vsize: 41188
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37685 0 0 0 74908 105 0 0 25 0 1 0 847986984 42311680 9603 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10330 9603 1111 63 0 10267 0
vsize: 41320
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37733 0 0 0 75908 105 0 0 25 0 1 0 847986984 42582016 9651 4294967295 134512640 134716908 3221224576 3221223072 134535376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10396 9651 1111 63 0 10333 0
vsize: 41584
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37784 0 0 0 76907 106 0 0 25 0 1 0 847986984 42717184 9702 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10429 9702 1111 63 0 10366 0
vsize: 41716
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37852 0 0 0 77907 106 0 0 25 0 1 0 847986984 42987520 9770 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9770 1111 63 0 10432 0
vsize: 41980
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 37950 0 0 0 78907 107 0 0 25 0 1 0 847986984 43393024 9868 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10594 9868 1111 63 0 10531 0
vsize: 42376
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38039 0 0 0 79906 107 0 0 25 0 1 0 847986984 43798528 9957 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9957 1111 63 0 10630 0
vsize: 42772
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38105 0 0 0 80906 107 0 0 25 0 1 0 847986984 44068864 10023 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10759 10023 1111 63 0 10696 0
vsize: 43036
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38163 0 0 0 81906 108 0 0 25 0 1 0 847986984 44339200 10081 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10081 1111 63 0 10762 0
vsize: 43300
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38213 0 0 0 82906 108 0 0 25 0 1 0 847986984 44474368 10131 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10131 1111 63 0 10795 0
vsize: 43432
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38261 0 0 0 83906 108 0 0 25 0 1 0 847986984 44744704 10179 4294967295 134512640 134716908 3221224576 3221223264 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10924 10179 1111 63 0 10861 0
vsize: 43696
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38308 0 0 0 84905 109 0 0 25 0 1 0 847986984 44879872 10226 4294967295 134512640 134716908 3221224576 3221223264 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10226 1111 63 0 10894 0
vsize: 43828
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38364 0 0 0 85905 109 0 0 25 0 1 0 847986984 45150208 10282 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11023 10282 1111 63 0 10960 0
vsize: 44092
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38414 0 0 0 86905 109 0 0 25 0 1 0 847986984 45285376 10332 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11056 10332 1111 63 0 10993 0
vsize: 44224
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38461 0 0 0 87905 110 0 0 25 0 1 0 847986984 45555712 10379 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11122 10379 1111 63 0 11059 0
vsize: 44488
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38509 0 0 0 88905 110 0 0 25 0 1 0 847986984 45690880 10427 4294967295 134512640 134716908 3221224576 3221223216 134698412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11155 10427 1111 63 0 11092 0
vsize: 44620
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38561 0 0 0 89906 110 0 0 25 0 1 0 847986984 45965312 10479 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11222 10479 1111 63 0 11159 0
vsize: 44888
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38612 0 0 0 90905 110 0 0 25 0 1 0 847986984 46100480 10530 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11255 10530 1111 63 0 11192 0
vsize: 45020
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38660 0 0 0 91905 110 0 0 25 0 1 0 847986984 46370816 10578 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 10578 1111 63 0 11258 0
vsize: 45284
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38710 0 0 0 92905 110 0 0 25 0 1 0 847986984 46505984 10628 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11354 10628 1111 63 0 11291 0
vsize: 45416
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38781 0 0 0 93905 111 0 0 25 0 1 0 847986984 46915584 10699 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11454 10699 1111 63 0 11391 0
vsize: 45816
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38830 0 0 0 94905 111 0 0 25 0 1 0 847986984 47050752 10748 4294967295 134512640 134716908 3221224576 3221223360 134529323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10748 1111 63 0 11424 0
vsize: 45948
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38878 0 0 0 95905 111 0 0 25 0 1 0 847986984 47321088 10796 4294967295 134512640 134716908 3221224576 3221223312 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11553 10796 1111 63 0 11490 0
vsize: 46212
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38925 0 0 0 96905 112 0 0 25 0 1 0 847986984 47460352 10843 4294967295 134512640 134716908 3221224576 3221223320 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11587 10843 1111 63 0 11524 0
vsize: 46348
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 38971 0 0 0 97905 112 0 0 25 0 1 0 847986984 47595520 10889 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11620 10889 1111 63 0 11557 0
vsize: 46480
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39019 0 0 0 98905 112 0 0 25 0 1 0 847986984 47865856 10937 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10937 1111 63 0 11623 0
vsize: 46744
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39062 0 0 0 99905 112 0 0 25 0 1 0 847986984 48001024 10980 4294967295 134512640 134716908 3221224576 3221223292 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11719 10980 1111 63 0 11656 0
vsize: 46876
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39109 0 0 0 100905 112 0 0 25 0 1 0 847986984 48136192 11027 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11752 11027 1111 63 0 11689 0
vsize: 47008
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39155 0 0 0 101905 113 0 0 25 0 1 0 847986984 48402432 11073 4294967295 134512640 134716908 3221224576 3221223152 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11817 11073 1111 63 0 11754 0
vsize: 47268
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39201 0 0 0 102905 113 0 0 25 0 1 0 847986984 48537600 11119 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 11119 1111 63 0 11787 0
vsize: 47400
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39247 0 0 0 103905 113 0 0 25 0 1 0 847986984 48807936 11165 4294967295 134512640 134716908 3221224576 3221223144 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11916 11165 1111 63 0 11853 0
vsize: 47664
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39297 0 0 0 104905 113 0 0 25 0 1 0 847986984 48943104 11215 4294967295 134512640 134716908 3221224576 3221223200 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11949 11215 1111 63 0 11886 0
vsize: 47796
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39347 0 0 0 105905 113 0 0 25 0 1 0 847986984 49213440 11265 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12015 11265 1111 63 0 11952 0
vsize: 48060
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39398 0 0 0 106905 114 0 0 25 0 1 0 847986984 49348608 11316 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12048 11316 1111 63 0 11985 0
vsize: 48192
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39446 0 0 0 107905 114 0 0 25 0 1 0 847986984 49618944 11364 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12114 11364 1111 63 0 12051 0
vsize: 48456
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39494 0 0 0 108904 114 0 0 25 0 1 0 847986984 49754112 11412 4294967295 134512640 134716908 3221224576 3221223296 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12147 11412 1111 63 0 12084 0
vsize: 48588
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39540 0 0 0 109904 114 0 0 25 0 1 0 847986984 50024448 11458 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12213 11458 1111 63 0 12150 0
vsize: 48852
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39587 0 0 0 110904 115 0 0 25 0 1 0 847986984 50159616 11505 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12246 11505 1111 63 0 12183 0
vsize: 48984
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39635 0 0 0 111904 115 0 0 25 0 1 0 847986984 50429952 11553 4294967295 134512640 134716908 3221224576 3221223256 134552645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12312 11553 1111 63 0 12249 0
vsize: 49248
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39681 0 0 0 112904 115 0 0 25 0 1 0 847986984 50565120 11599 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 11599 1111 63 0 12282 0
vsize: 49380
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39742 0 0 0 113904 116 0 0 25 0 1 0 847986984 50835456 11660 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12411 11660 1111 63 0 12348 0
vsize: 49644
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39787 0 0 0 114904 116 0 0 25 0 1 0 847986984 50970624 11705 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12444 11705 1111 63 0 12381 0
vsize: 49776
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39836 0 0 0 115904 116 0 0 25 0 1 0 847986984 51240960 11754 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12510 11754 1111 63 0 12447 0
vsize: 50040
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39882 0 0 0 116904 116 0 0 25 0 1 0 847986984 51376128 11800 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12543 11800 1111 63 0 12480 0
vsize: 50172
[startup+1175.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26340
Raw data (stat): 26340 (bsolo_lpr_cuts-) R 26339 8378 8377 0 -1 0 39882 0 0 0 116904 116 0 0 25 0 1 0 847986984 51376128 11800 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12543 11800 1111 63 0 12480 0
vsize: 0

Child status: 0
Real time (s): 1175.29
CPU time (s): 1175.43
CPU user time (s): 1174.24
CPU system time (s): 1.18882
CPU usage (%): 100.012
Max. virtual memory (Kb): 50172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####