PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 41341

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 10:35:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29388 boxname=wulflinc5 idbench=1172 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 29388
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        621864 kB
Buffers:         20008 kB
Cached:         371144 kB
SwapCached:        664 kB
Active:          30288 kB
Inactive:       362824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        621612 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13972 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:55:05 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 29388 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 291.389 s
c Initial Lower Bound: 2041610440
c Lower Bound Elapsed time: 50.774
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -485808217 @ 456.34
c NEW SOLUTION FOUND: -494927183 @ 456.355
c NEW SOLUTION FOUND: -2133666157 @ 456.495
#### 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.91 1/54 744
Raw data (stat): 744 (runsolver) R 743 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909596097 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 16695 0 0 0 967 30 0 0 25 0 1 0 909596097 81334272 16615 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 16615 1111 63 0 19794 0
vsize: 79428
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 36492 0 0 0 1930 68 0 0 25 0 1 0 909596097 162377728 36412 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39643 36412 1111 63 0 39580 0
vsize: 158572
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 56555 0 0 0 2895 102 0 0 25 0 1 0 909596097 244645888 56475 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59728 56475 1111 63 0 59665 0
vsize: 238912
[startup+40.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 76968 0 0 0 3858 140 0 0 25 0 1 0 909596097 328101888 76888 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80103 76888 1111 63 0 80040 0
vsize: 320412
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 86860 0 0 0 4839 159 0 0 25 0 1 0 909596097 368607232 86780 4294967295 134512640 134716908 3221224560 3221222836 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89992 86780 1111 63 0 89929 0
vsize: 359968
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 87815 0 0 0 5836 161 0 0 25 0 1 0 909596097 372535296 87735 4294967295 134512640 134716908 3221224560 3221222836 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90951 87735 1111 63 0 90888 0
vsize: 363804
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 88838 0 0 0 6833 164 0 0 25 0 1 0 909596097 376741888 88758 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91978 88758 1111 63 0 91915 0
vsize: 367912
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 89868 0 0 0 7830 167 0 0 25 0 1 0 909596097 380948480 89788 4294967295 134512640 134716908 3221224560 3221222848 134566537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93005 89788 1111 63 0 92942 0
vsize: 372020
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 90998 0 0 0 8826 171 0 0 25 0 1 0 909596097 385552384 90918 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94129 90918 1111 63 0 94066 0
vsize: 376516
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 92960 0 0 0 9821 176 0 0 25 0 1 0 909596097 383975424 92805 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93744 92805 1111 63 0 93681 0
vsize: 374976
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93100 0 0 0 10821 176 0 0 25 0 1 0 909596097 384516096 92945 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93876 92945 1111 63 0 93813 0
vsize: 375504
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93213 0 0 0 11821 177 0 0 25 0 1 0 909596097 385056768 93058 4294967295 134512640 134716908 3221224560 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94008 93058 1111 63 0 93945 0
vsize: 376032
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93316 0 0 0 12821 177 0 0 25 0 1 0 909596097 385462272 93161 4294967295 134512640 134716908 3221224560 3221223004 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94107 93161 1111 63 0 94044 0
vsize: 376428
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93470 0 0 0 13820 177 0 0 25 0 1 0 909596097 386138112 93315 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94272 93315 1111 63 0 94209 0
vsize: 377088
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93593 0 0 0 14820 178 0 0 25 0 1 0 909596097 386543616 93438 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94371 93438 1111 63 0 94308 0
vsize: 377484
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93726 0 0 0 15820 178 0 0 25 0 1 0 909596097 387088384 93571 4294967295 134512640 134716908 3221224560 3221223028 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94504 93571 1111 63 0 94441 0
vsize: 378016
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93859 0 0 0 16820 178 0 0 25 0 1 0 909596097 387629056 93704 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94636 93704 1111 63 0 94573 0
vsize: 378544
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 93992 0 0 0 17819 179 0 0 25 0 1 0 909596097 388169728 93837 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94768 93837 1111 63 0 94705 0
vsize: 379072
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94124 0 0 0 18819 179 0 0 25 0 1 0 909596097 388710400 93969 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94900 93969 1111 63 0 94837 0
vsize: 379600
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94201 0 0 0 19819 180 0 0 25 0 1 0 909596097 389115904 94046 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94999 94046 1111 63 0 94936 0
vsize: 379996
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94293 0 0 0 20818 180 0 0 25 0 1 0 909596097 389521408 94138 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95098 94138 1111 63 0 95035 0
vsize: 380392
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94430 0 0 0 21818 181 0 0 25 0 1 0 909596097 390062080 94275 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95230 94275 1111 63 0 95167 0
vsize: 380920
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94578 0 0 0 22818 182 0 0 25 0 1 0 909596097 390602752 94423 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95362 94423 1111 63 0 95299 0
vsize: 381448
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94660 0 0 0 23817 182 0 0 25 0 1 0 909596097 391008256 94505 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94505 1111 63 0 95398 0
vsize: 381844
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94664 0 0 0 24818 182 0 0 25 0 1 0 909596097 391008256 94509 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94509 1111 63 0 95398 0
vsize: 381844
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94669 0 0 0 25818 182 0 0 25 0 1 0 909596097 391008256 94514 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94514 1111 63 0 95398 0
vsize: 381844
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94673 0 0 0 26818 182 0 0 25 0 1 0 909596097 391008256 94518 4294967295 134512640 134716908 3221224560 3221223212 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94518 1111 63 0 95398 0
vsize: 381844
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94677 0 0 0 27818 182 0 0 25 0 1 0 909596097 391008256 94522 4294967295 134512640 134716908 3221224560 3221223208 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94522 1111 63 0 95398 0
vsize: 381844
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 94682 0 0 0 28818 182 0 0 25 0 1 0 909596097 391008256 94527 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94527 1111 63 0 95398 0
vsize: 381844
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 96272 0 0 0 29812 187 0 0 25 0 1 0 909596097 396947456 95975 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96911 95975 1111 63 0 96848 0
vsize: 387644
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 96333 0 0 0 30812 188 0 0 25 0 1 0 909596097 397193216 96036 4294967295 134512640 134716908 3221224560 3221222704 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96971 96036 1111 63 0 96908 0
vsize: 387884
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 97466 0 0 0 31810 190 0 0 25 0 1 0 909596097 404217856 97169 4294967295 134512640 134716908 3221224560 3221222424 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98686 97178 1111 63 0 98623 0
vsize: 394744
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 101002 0 0 0 32802 199 0 0 25 0 1 0 909596097 405798912 98080 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98080 1111 63 0 99009 0
vsize: 396288
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 101004 0 0 0 33802 199 0 0 25 0 1 0 909596097 405798912 98082 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98082 1111 63 0 99009 0
vsize: 396288
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 104840 0 0 0 34794 207 0 0 25 0 1 0 909596097 398585856 96501 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97311 96501 1111 63 0 97248 0
vsize: 389244
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 105697 0 0 0 35792 210 0 0 25 0 1 0 909596097 398921728 96583 4294967295 134512640 134716908 3221224560 3221222616 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97393 96583 1111 63 0 97330 0
vsize: 389572
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 106530 0 0 0 36790 212 0 0 25 0 1 0 909596097 399429632 96675 4294967295 134512640 134716908 3221224560 3221222992 134649064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97517 96675 1111 63 0 97454 0
vsize: 390068
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 110959 0 0 0 37780 222 0 0 25 0 1 0 909596097 406982656 98465 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99361 98465 1111 63 0 99298 0
vsize: 397444
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 114429 0 0 0 38772 230 0 0 25 0 1 0 909596097 399851520 96780 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97620 96780 1111 63 0 97557 0
vsize: 390480
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 114429 0 0 0 39773 230 0 0 25 0 1 0 909596097 399851520 96780 4294967295 134512640 134716908 3221224560 3221222880 1073989433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97620 96780 1111 63 0 97557 0
vsize: 390480
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 114429 0 0 0 40773 230 0 0 25 0 1 0 909596097 399851520 96780 4294967295 134512640 134716908 3221224560 3221222952 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97620 96780 1111 63 0 97557 0
vsize: 390480
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 122542 0 0 0 41756 248 0 0 25 0 1 0 909596097 400093184 96857 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 122542 0 0 0 42756 248 0 0 25 0 1 0 909596097 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 122542 0 0 0 43756 248 0 0 25 0 1 0 909596097 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 122542 0 0 0 44755 249 0 0 25 0 1 0 909596097 400093184 96857 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 136830 0 0 0 45724 279 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 166360 0 0 0 46662 342 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221223136 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 187983 0 0 0 47614 390 0 0 25 0 1 0 909596097 396455936 95987 4294967295 134512640 134716908 3221224560 3221222304 1075645319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96791 95987 1111 63 0 96728 0
vsize: 387164
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 205993 0 0 0 48576 428 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221223264 134654843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 222131 0 0 0 49541 463 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 237212 0 0 0 50508 496 0 0 25 0 1 0 909596097 397250560 96161 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96985 96161 1111 63 0 96922 0
vsize: 387940
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 251322 0 0 0 51477 527 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222532 1077378725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 264267 0 0 0 52451 554 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 276426 0 0 0 53425 580 0 0 25 0 1 0 909596097 396636160 95990 4294967295 134512640 134716908 3221224560 3221222304 1075646688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96835 95990 1111 63 0 96772 0
vsize: 387340
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 287884 0 0 0 54399 606 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 299033 0 0 0 55373 633 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 309620 0 0 0 56348 657 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222664 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 319595 0 0 0 57326 680 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 329588 0 0 0 58304 702 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 338986 0 0 0 59283 723 0 0 25 0 1 0 909596097 396386304 95890 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95895 1111 63 0 96711 0
vsize: 387096
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 348154 0 0 0 60262 745 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 357353 0 0 0 61241 765 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 366052 0 0 0 62221 785 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 374770 0 0 0 63201 805 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 383522 0 0 0 64181 826 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222332 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 391709 0 0 0 65164 843 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 399926 0 0 0 66147 860 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 408109 0 0 0 67129 878 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 415855 0 0 0 68111 897 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 423530 0 0 0 69094 913 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 431247 0 0 0 70079 929 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 438804 0 0 0 71062 946 0 0 25 0 1 0 909596097 398012416 96079 4294967295 134512640 134716908 3221224560 3221221464 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97171 96079 1111 63 0 97108 0
vsize: 388684
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 446143 0 0 0 72047 962 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 453358 0 0 0 73030 978 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 460684 0 0 0 74013 995 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 467665 0 0 0 74999 1010 0 0 25 0 1 0 909596097 397213696 96150 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96850 96046 1111 63 0 96787 0
vsize: 387904
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 474644 0 0 0 75983 1026 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 481446 0 0 0 76968 1041 0 0 25 0 1 0 909596097 397660160 96110 4294967295 134512640 134716908 3221224560 3221222480 1075799603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97085 96110 1111 63 0 97022 0
vsize: 388340
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 488375 0 0 0 77953 1057 0 0 25 0 1 0 909596097 396656640 96014 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96840 96014 1111 63 0 96777 0
vsize: 387360
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 494985 0 0 0 78937 1072 0 0 25 0 1 0 909596097 396386304 95895 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95901 1111 63 0 96711 0
vsize: 387096
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 501174 0 0 0 79924 1086 0 0 25 0 1 0 909596097 398606336 96234 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97316 96234 1111 63 0 97253 0
vsize: 389264
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 507156 0 0 0 80911 1099 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222664 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 513371 0 0 0 81896 1114 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 519021 0 0 0 82884 1126 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 525295 0 0 0 83869 1141 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222712 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 531012 0 0 0 84856 1155 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 536736 0 0 0 85843 1168 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 542470 0 0 0 86831 1180 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 548205 0 0 0 87818 1193 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 553490 0 0 0 88806 1206 0 0 25 0 1 0 909596097 396697600 96046 4294967295 134512640 134716908 3221224560 3221222976 1074116405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96850 96046 1111 63 0 96787 0
vsize: 387400
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 559178 0 0 0 89792 1220 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222816 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 564480 0 0 0 90779 1233 0 0 25 0 1 0 909596097 396836864 96047 4294967295 134512640 134716908 3221224560 3221222912 1074115232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96884 96047 1111 63 0 96821 0
vsize: 387536
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 570116 0 0 0 91767 1245 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 575271 0 0 0 92756 1256 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221223008 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 580414 0 0 0 93744 1268 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 585812 0 0 0 94731 1282 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 591273 0 0 0 95718 1295 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 596748 0 0 0 96704 1309 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 602227 0 0 0 97693 1320 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 607180 0 0 0 98682 1331 0 0 25 0 1 0 909596097 396877824 96058 4294967295 134512640 134716908 3221224560 3221222560 1074918288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96894 96058 1111 63 0 96831 0
vsize: 387576
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 612527 0 0 0 99670 1343 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 617749 0 0 0 100659 1354 0 0 25 0 1 0 909596097 396505088 95999 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96803 95999 1111 63 0 96740 0
vsize: 387212
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 622962 0 0 0 101648 1366 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 627849 0 0 0 102636 1378 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 633126 0 0 0 103624 1390 0 0 25 0 1 0 909596097 396435456 95982 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96786 95982 1111 63 0 96723 0
vsize: 387144
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 638334 0 0 0 104612 1403 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222768 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 643204 0 0 0 105602 1412 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 648083 0 0 0 106591 1423 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222856 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 652914 0 0 0 107580 1434 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 657711 0 0 0 108570 1445 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222680 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 662604 0 0 0 109559 1456 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222816 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 667543 0 0 0 110549 1467 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 672022 0 0 0 111539 1477 0 0 25 0 1 0 909596097 397094912 96124 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96947 96124 1111 63 0 96884 0
vsize: 387788
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 676741 0 0 0 112529 1486 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 681683 0 0 0 113519 1497 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222752 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 686627 0 0 0 114508 1508 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 690887 0 0 0 115499 1517 0 0 25 0 1 0 909596097 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 695842 0 0 0 116490 1527 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 700085 0 0 0 117479 1537 0 0 25 0 1 0 909596097 396435456 95982 4294967295 134512640 134716908 3221224560 3221222752 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96786 95982 1111 63 0 96723 0
vsize: 387144
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) R 743 7266 7265 0 -1 0 705017 0 0 0 118466 1550 0 0 25 0 1 0 909596097 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 744
Raw data (stat): 744 (bsolo_lpr_cuts-) Z 743 7266 7265 0 -1 1036 705017 0 0 0 118466 1568 0 0 25 0 1 0 909596097 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.21
CPU time (s): 1200.35
CPU user time (s): 1184.67
CPU system time (s): 15.6846
CPU usage (%): 100.012
Max. virtual memory (Kb): 397444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####