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/een/normalized-air03.opb
MD5SUM	017636577e3ff026b2ea720fb537705b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.22466
Number of variables	10757
Total number of constraints	248
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	122
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3861
Trace number 25078

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 14:32:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5033 boxname=wulflinc31 idbench=388 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  017636577e3ff026b2ea720fb537705b  /oldhome/oroussel/tmp/wulflinc31/normalized-air03.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-air03.opb
IDLAUNCH: 5033
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        789628 kB
Buffers:         49224 kB
Cached:         173292 kB
SwapCached:       1952 kB
Active:         181868 kB
Inactive:        43872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789376 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13680 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 14:52:08 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 5033 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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
Raw data (loadavg): 0.85 0.96 0.98 2/55 13750
Raw data (stat): 13750 (runsolver) R 13749 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761833903 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.88 0.96 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 1497 0 0 0 990 5 0 0 25 0 1 0 761833903 19210240 1420 4294967295 134512640 134714508 3221221792 3221220448 134527953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4690 1420 1111 63 0 4627 0
vsize: 18760
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.96 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 4271 0 0 0 1982 12 0 0 25 0 1 0 761833903 30756864 4194 4294967295 134512640 134714508 3221221792 3221220068 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7509 4194 1111 63 0 7446 0
vsize: 30036
[startup+30.003 s]
Raw data (loadavg): 0.91 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 13081 0 0 0 2962 32 0 0 25 0 1 0 761833903 56971264 12969 4294967295 134512640 134714508 3221221792 3221220320 134538915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13909 12969 1111 63 0 13846 0
vsize: 55636
[startup+40.0044 s]
Raw data (loadavg): 0.92 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 13125 0 0 0 3962 32 0 0 25 0 1 0 761833903 56971264 12971 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13909 12971 1111 63 0 13846 0
vsize: 55636
[startup+50.0046 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 17888 0 0 0 4952 42 0 0 25 0 1 0 761833903 65642496 15057 4294967295 134512640 134714508 3221221792 3221220272 134539154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16026 15057 1111 63 0 15963 0
vsize: 64104
[startup+60.0046 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 26799 0 0 0 5933 61 0 0 25 0 1 0 761833903 75448320 17482 4294967295 134512640 134714508 3221221792 3221220296 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18420 17482 1111 63 0 18357 0
vsize: 73680
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 36979 0 0 0 6910 84 0 0 25 0 1 0 761833903 81473536 18942 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19891 18942 1111 63 0 19828 0
vsize: 79564
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 43286 0 0 0 7899 95 0 0 25 0 1 0 761833903 92192768 21562 4294967295 134512640 134714508 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22508 21562 1111 63 0 22445 0
vsize: 90032
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 45966 0 0 0 8893 101 0 0 25 0 1 0 761833903 97976320 22951 4294967295 134512640 134714508 3221221792 3221220320 134528543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23920 22951 1111 63 0 23857 0
vsize: 95680
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 49510 0 0 0 9886 109 0 0 25 0 1 0 761833903 107003904 25185 4294967295 134512640 134714508 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26124 25185 1111 63 0 26061 0
vsize: 104496
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 56184 0 0 0 10872 123 0 0 25 0 1 0 761833903 119681024 28249 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29219 28249 1111 63 0 29156 0
vsize: 116876
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 61394 0 0 0 11862 134 0 0 25 0 1 0 761833903 125038592 29569 4294967295 134512640 134714508 3221221792 3221220348 134535483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30527 29569 1111 63 0 30464 0
vsize: 122108
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 67172 0 0 0 12850 146 0 0 25 0 1 0 761833903 133373952 31612 4294967295 134512640 134714508 3221221792 3221220304 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32562 31612 1111 63 0 32499 0
vsize: 130248
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 72185 0 0 0 13838 157 0 0 25 0 1 0 761833903 142278656 33798 4294967295 134512640 134714508 3221221792 3221220264 1077377628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34736 33798 1111 63 0 34673 0
vsize: 138944
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 78441 0 0 0 14825 170 0 0 25 0 1 0 761833903 153288704 36476 4294967295 134512640 134714508 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37424 36476 1111 63 0 37361 0
vsize: 149696
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 84286 0 0 0 15812 184 0 0 25 0 1 0 761833903 159625216 38011 4294967295 134512640 134714508 3221221792 3221220296 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38971 38011 1111 63 0 38908 0
vsize: 155884
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 90472 0 0 0 16799 198 0 0 25 0 1 0 761833903 170872832 40779 4294967295 134512640 134714508 3221221792 3221220336 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41717 40779 1111 63 0 41654 0
vsize: 166868
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 95232 0 0 0 17788 208 0 0 25 0 1 0 761833903 177274880 42341 4294967295 134512640 134714508 3221221792 3221220240 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43280 42341 1111 63 0 43217 0
vsize: 173120
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 100465 0 0 0 18779 218 0 0 25 0 1 0 761833903 185929728 44436 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45393 44436 1111 63 0 45330 0
vsize: 181572
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 104780 0 0 0 19770 227 0 0 25 0 1 0 761833903 196558848 47039 4294967295 134512640 134714508 3221221792 3221220320 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47988 47039 1111 63 0 47925 0
vsize: 191952
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 107596 0 0 0 20764 233 0 0 25 0 1 0 761833903 203096064 48646 4294967295 134512640 134714508 3221221792 3221220200 134543594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49584 48646 1111 63 0 49521 0
vsize: 198336
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 111652 0 0 0 21756 241 0 0 25 0 1 0 761833903 213229568 51109 4294967295 134512640 134714508 3221221792 3221220332 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52058 51109 1111 63 0 51995 0
vsize: 208232
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 115954 0 0 0 22747 250 0 0 25 0 1 0 761833903 222048256 53242 4294967295 134512640 134714508 3221221792 3221220376 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54211 53242 1111 63 0 54148 0
vsize: 216844
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 120355 0 0 0 23737 260 0 0 25 0 1 0 761833903 230678528 55379 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56318 55379 1111 63 0 56255 0
vsize: 225272
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 123395 0 0 0 24732 266 0 0 25 0 1 0 761833903 237006848 56925 4294967295 134512640 134714508 3221221792 3221220296 134543644 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57863 56925 1111 63 0 57800 0
vsize: 231452
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 126431 0 0 0 25726 272 0 0 25 0 1 0 761833903 247144448 59389 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60338 59389 1111 63 0 60275 0
vsize: 241352
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 130178 0 0 0 26717 281 0 0 25 0 1 0 761833903 254963712 61309 4294967295 134512640 134714508 3221221792 3221220176 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62247 61309 1111 63 0 62184 0
vsize: 248988
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 136702 0 0 0 27704 294 0 0 25 0 1 0 761833903 265789440 63941 4294967295 134512640 134714508 3221221792 3221220256 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64890 63941 1111 63 0 64827 0
vsize: 259560
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 139179 0 0 0 28699 299 0 0 25 0 1 0 761833903 269606912 64882 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65822 64882 1111 63 0 65759 0
vsize: 263288
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 143592 0 0 0 29691 308 0 0 25 0 1 0 761833903 277934080 66915 4294967295 134512640 134714508 3221221792 3221220416 134542576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67855 66915 1111 63 0 67792 0
vsize: 271420
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 149651 0 0 0 30678 321 0 0 25 0 1 0 761833903 285810688 68820 4294967295 134512640 134714508 3221221792 3221220404 134557790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69778 68820 1111 63 0 69715 0
vsize: 279112
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 156803 0 0 0 31664 335 0 0 25 0 1 0 761833903 294760448 71003 4294967295 134512640 134714508 3221221792 3221220224 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71963 71003 1111 63 0 71900 0
vsize: 287852
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 160473 0 0 0 32658 342 0 0 25 0 1 0 761833903 301010944 72519 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73489 72521 1111 63 0 73426 0
vsize: 293956
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 166695 0 0 0 33644 356 0 0 25 0 1 0 761833903 309456896 74613 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75551 74613 1111 63 0 75488 0
vsize: 302204
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 169777 0 0 0 34638 362 0 0 25 0 1 0 761833903 319705088 77094 4294967295 134512640 134714508 3221221792 3221220272 134539134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78053 77094 1111 63 0 77990 0
vsize: 312212
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 172779 0 0 0 35632 368 0 0 25 0 1 0 761833903 327016448 78868 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79838 78868 1111 63 0 79775 0
vsize: 319352
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 176593 0 0 0 36624 376 0 0 25 0 1 0 761833903 335704064 81010 4294967295 134512640 134714508 3221221792 3221220272 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81959 81010 1111 63 0 81896 0
vsize: 327836
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 179428 0 0 0 37618 382 0 0 25 0 1 0 761833903 344485888 83143 4294967295 134512640 134714508 3221221792 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84103 83143 1111 63 0 84040 0
vsize: 336412
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 183119 0 0 0 38612 389 0 0 25 0 1 0 761833903 350617600 84657 4294967295 134512640 134714508 3221221792 3221220512 134618264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85600 84657 1111 63 0 85537 0
vsize: 342400
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 186336 0 0 0 39605 395 0 0 25 0 1 0 761833903 359239680 86735 4294967295 134512640 134714508 3221221792 3221220316 134539584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87705 86735 1111 63 0 87642 0
vsize: 350820
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 190612 0 0 0 40597 404 0 0 25 0 1 0 761833903 366297088 88490 4294967295 134512640 134714508 3221221792 3221220504 134586789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89428 88490 1111 63 0 89365 0
vsize: 357712
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 194791 0 0 0 41589 412 0 0 25 0 1 0 761833903 375279616 90670 4294967295 134512640 134714508 3221221792 3221220284 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91621 90670 1111 63 0 91558 0
vsize: 366484
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 200069 0 0 0 42577 424 0 0 25 0 1 0 761833903 382246912 92371 4294967295 134512640 134714508 3221221792 3221220416 134529027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93322 92371 1111 63 0 93259 0
vsize: 373288
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 206521 0 0 0 43563 438 0 0 25 0 1 0 761833903 386592768 93444 4294967295 134512640 134714508 3221221792 3221220200 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94383 93444 1111 63 0 94320 0
vsize: 377532
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 211759 0 0 0 44552 450 0 0 25 0 1 0 761833903 395501568 95620 4294967295 134512640 134714508 3221221792 3221220336 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96558 95620 1111 63 0 96495 0
vsize: 386232
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 216809 0 0 0 45541 461 0 0 25 0 1 0 761833903 400551936 96853 4294967295 134512640 134714508 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97791 96853 1111 63 0 97728 0
vsize: 391164
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 221533 0 0 0 46531 471 0 0 25 0 1 0 761833903 407158784 98464 4294967295 134512640 134714508 3221221792 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99404 98464 1111 63 0 99341 0
vsize: 397616
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 225622 0 0 0 47522 480 0 0 25 0 1 0 761833903 415752192 100563 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101502 100563 1111 63 0 101439 0
vsize: 406008
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 232795 0 0 0 48507 496 0 0 25 0 1 0 761833903 424472576 102693 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103631 102693 1111 63 0 103568 0
vsize: 414524
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 237812 0 0 0 49497 506 0 0 25 0 1 0 761833903 433303552 104837 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105787 104837 1111 63 0 105724 0
vsize: 423148
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 238632 0 0 0 50495 507 0 0 25 0 1 0 761833903 435154944 105269 4294967295 134512640 134714508 3221221792 3221220272 134539134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106239 105269 1111 63 0 106176 0
vsize: 424956
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 243416 0 0 0 51486 517 0 0 25 0 1 0 761833903 439455744 106350 4294967295 134512640 134714508 3221221792 3221220500 134618239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107289 106350 1111 63 0 107226 0
vsize: 429156
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 249080 0 0 0 52474 530 0 0 25 0 1 0 761833903 445054976 107718 4294967295 134512640 134714508 3221221792 3221220208 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108656 107718 1111 63 0 108593 0
vsize: 434624
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 252426 0 0 0 53468 535 0 0 25 0 1 0 761833903 453373952 109748 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110687 109748 1111 63 0 110624 0
vsize: 442748
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 256574 0 0 0 54459 544 0 0 25 0 1 0 761833903 458072064 110896 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111834 110896 1111 63 0 111771 0
vsize: 447336
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 262557 0 0 0 55447 556 0 0 25 0 1 0 761833903 467480576 113160 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114131 113160 1111 63 0 114068 0
vsize: 456524
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 266290 0 0 0 56440 564 0 0 25 0 1 0 761833903 467546112 113208 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114147 113208 1111 63 0 114084 0
vsize: 456588
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 269285 0 0 0 57433 571 0 0 25 0 1 0 761833903 476356608 115359 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116298 115359 1111 63 0 116235 0
vsize: 465192
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 271547 0 0 0 58428 576 0 0 25 0 1 0 761833903 481431552 116574 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117537 116574 1111 63 0 117474 0
vsize: 470148
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 277811 0 0 0 59414 590 0 0 25 0 1 0 761833903 486395904 117809 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118749 117809 1111 63 0 118686 0
vsize: 474996
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 284494 0 0 0 60400 605 0 0 25 0 1 0 761833903 492343296 119251 4294967295 134512640 134714508 3221221792 3221220460 134584844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120201 119251 1111 63 0 120138 0
vsize: 480804
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 292506 0 0 0 61383 622 0 0 25 0 1 0 761833903 492892160 119397 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120335 119397 1111 63 0 120272 0
vsize: 481340
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 301577 0 0 0 62364 642 0 0 25 0 1 0 761833903 499224576 120911 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121881 120911 1111 63 0 121818 0
vsize: 487524
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 308938 0 0 0 63346 659 0 0 25 0 1 0 761833903 503541760 121997 4294967295 134512640 134714508 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122935 121997 1111 63 0 122872 0
vsize: 491740
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 314575 0 0 0 64335 671 0 0 25 0 1 0 761833903 510676992 123739 4294967295 134512640 134714508 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124677 123739 1111 63 0 124614 0
vsize: 498708
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 319535 0 0 0 65325 680 0 0 25 0 1 0 761833903 519569408 125878 4294967295 134512640 134714508 3221221792 3221220440 134532449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126848 125878 1111 63 0 126785 0
vsize: 507392
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 322192 0 0 0 66320 686 0 0 25 0 1 0 761833903 524713984 127155 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128104 127155 1111 63 0 128041 0
vsize: 512416
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 325154 0 0 0 67314 692 0 0 25 0 1 0 761833903 526888960 127697 4294967295 134512640 134714508 3221221792 3221220432 134588079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128635 127697 1111 63 0 128572 0
vsize: 514540
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 327572 0 0 0 68309 697 0 0 25 0 1 0 761833903 533299200 129243 4294967295 134512640 134714508 3221221792 3221220320 134538929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130200 129243 1111 63 0 130137 0
vsize: 520800
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 330200 0 0 0 69304 702 0 0 25 0 1 0 761833903 539664384 130816 4294967295 134512640 134714508 3221221792 3221220408 134543802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131754 130816 1111 63 0 131691 0
vsize: 527016
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 331387 0 0 0 70303 704 0 0 25 0 1 0 761833903 544124928 131874 4294967295 134512640 134714508 3221221792 3221220272 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 132843 131874 1111 63 0 132780 0
vsize: 531372
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 335549 0 0 0 71295 712 0 0 25 0 1 0 761833903 553115648 134080 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135038 134080 1111 63 0 134975 0
vsize: 540152
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 341274 0 0 0 72282 725 0 0 25 0 1 0 761833903 558026752 135298 4294967295 134512640 134714508 3221221792 3221220304 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136237 135298 1111 63 0 136174 0
vsize: 544948
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 345166 0 0 0 73274 734 0 0 25 0 1 0 761833903 559038464 135546 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136484 135546 1111 63 0 136421 0
vsize: 545936
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 349348 0 0 0 74265 743 0 0 25 0 1 0 761833903 565915648 137224 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138163 137224 1111 63 0 138100 0
vsize: 552652
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 354560 0 0 0 75254 754 0 0 25 0 1 0 761833903 568963072 137951 4294967295 134512640 134714508 3221221792 3221220160 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138907 137951 1111 63 0 138844 0
vsize: 555628
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 359261 0 0 0 76245 763 0 0 25 0 1 0 761833903 577773568 140099 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141058 140099 1111 63 0 140995 0
vsize: 564232
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 363821 0 0 0 77236 772 0 0 25 0 1 0 761833903 579633152 140574 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141512 140574 1111 63 0 141449 0
vsize: 566048
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 363821 0 0 0 78236 772 0 0 25 0 1 0 761833903 579633152 140574 4294967295 134512640 134714508 3221221792 3221220300 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141512 140574 1111 63 0 141449 0
vsize: 566048
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 366401 0 0 0 79231 777 0 0 25 0 1 0 761833903 586727424 142287 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143244 142287 1111 63 0 143181 0
vsize: 572976
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 368825 0 0 0 80225 783 0 0 25 0 1 0 761833903 589737984 143009 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143979 143009 1111 63 0 143916 0
vsize: 575916
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 370069 0 0 0 81223 786 0 0 25 0 1 0 761833903 590217216 143158 4294967295 134512640 134714508 3221221792 3221220288 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144096 143158 1111 63 0 144033 0
vsize: 576384
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 372053 0 0 0 82218 791 0 0 25 0 1 0 761833903 591298560 143411 4294967295 134512640 134714508 3221221792 3221220448 134609340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144360 143411 1111 63 0 144297 0
vsize: 577440
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 377394 0 0 0 83207 802 0 0 25 0 1 0 761833903 600481792 145645 4294967295 134512640 134714508 3221221792 3221220208 134543756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146602 145645 1111 63 0 146539 0
vsize: 586408
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 378360 0 0 0 84206 803 0 0 25 0 1 0 761833903 600563712 145684 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146622 145684 1111 63 0 146559 0
vsize: 586488
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 378740 0 0 0 85205 804 0 0 25 0 1 0 761833903 601538560 145900 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146860 145900 1111 63 0 146797 0
vsize: 587440
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 382157 0 0 0 86198 811 0 0 25 0 1 0 761833903 608702464 147649 4294967295 134512640 134714508 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148609 147649 1111 63 0 148546 0
vsize: 594436
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 384476 0 0 0 87194 816 0 0 25 0 1 0 761833903 613793792 148913 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 149852 148913 1111 63 0 149789 0
vsize: 599408
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 387050 0 0 0 88189 821 0 0 25 0 1 0 761833903 622292992 150989 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151927 150989 1111 63 0 151864 0
vsize: 607708
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 390427 0 0 0 89182 829 0 0 25 0 1 0 761833903 624283648 151443 4294967295 134512640 134714508 3221221792 3221220272 134539134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 152413 151443 1111 63 0 152350 0
vsize: 609652
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 395103 0 0 0 90172 838 0 0 25 0 1 0 761833903 628953088 152615 4294967295 134512640 134714508 3221221792 3221220256 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 153553 152615 1111 63 0 153490 0
vsize: 614212
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 400374 0 0 0 91162 848 0 0 25 0 1 0 761833903 641740800 155737 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156675 155737 1111 63 0 156612 0
vsize: 626700
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 404349 0 0 0 92154 857 0 0 25 0 1 0 761833903 640811008 155510 4294967295 134512640 134714508 3221221792 3221220168 134539209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156448 155510 1111 63 0 156385 0
vsize: 625792
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 409042 0 0 0 93146 865 0 0 25 0 1 0 761833903 644890624 156506 4294967295 134512640 134714508 3221221792 3221220584 134617118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 157444 156506 1111 63 0 157381 0
vsize: 629776
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 411972 0 0 0 94139 872 0 0 25 0 1 0 761833903 648851456 157441 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 158411 157441 1111 63 0 158348 0
vsize: 633644
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 414338 0 0 0 95134 877 0 0 25 0 1 0 761833903 657793024 159629 4294967295 134512640 134714508 3221221792 3221220308 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160594 159629 1111 63 0 160531 0
vsize: 642376
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 414338 0 0 0 96134 877 0 0 25 0 1 0 761833903 657793024 159629 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160594 159629 1111 63 0 160531 0
vsize: 642376
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 419837 0 0 0 97123 889 0 0 25 0 1 0 761833903 664240128 161200 4294967295 134512640 134714508 3221221792 3221220212 1077378583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162168 161200 1111 63 0 162105 0
vsize: 648672
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 423747 0 0 0 98115 897 0 0 25 0 1 0 761833903 666836992 161862 4294967295 134512640 134714508 3221221792 3221220416 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162802 161862 1111 63 0 162739 0
vsize: 651208
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 429796 0 0 0 99103 909 0 0 25 0 1 0 761833903 674263040 163664 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 164615 163664 1111 63 0 164552 0
vsize: 658460
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 434303 0 0 0 100095 918 0 0 25 0 1 0 761833903 676184064 164146 4294967295 134512640 134714508 3221221792 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 165084 164146 1111 63 0 165021 0
vsize: 660336
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 437823 0 0 0 101088 925 0 0 25 0 1 0 761833903 683237376 165836 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166806 165836 1111 63 0 166743 0
vsize: 667224
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 441692 0 0 0 102080 933 0 0 25 0 1 0 761833903 688160768 167070 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168008 167070 1111 63 0 167945 0
vsize: 672032
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 442537 0 0 0 103078 935 0 0 25 0 1 0 761833903 690417664 167599 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168559 167599 1111 63 0 168496 0
vsize: 674236
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 445010 0 0 0 104073 940 0 0 25 0 1 0 761833903 693501952 168374 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 169312 168374 1111 63 0 169249 0
vsize: 677248
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 448480 0 0 0 105065 948 0 0 25 0 1 0 761833903 700338176 170021 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 170981 170021 1111 63 0 170918 0
vsize: 683924
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 450544 0 0 0 106061 952 0 0 25 0 1 0 761833903 701775872 170363 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171332 170363 1111 63 0 171269 0
vsize: 685328
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 452750 0 0 0 107056 957 0 0 25 0 1 0 761833903 708587520 172057 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 172995 172057 1111 63 0 172932 0
vsize: 691980
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 455367 0 0 0 108050 963 0 0 25 0 1 0 761833903 712572928 173000 4294967295 134512640 134714508 3221221792 3221220324 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 173968 173000 1111 63 0 173905 0
vsize: 695872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 456410 0 0 0 109048 966 0 0 25 0 1 0 761833903 714342400 173462 4294967295 134512640 134714508 3221221792 3221220156 134539232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174400 173462 1111 63 0 174337 0
vsize: 697600
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 459199 0 0 0 110043 971 0 0 25 0 1 0 761833903 718327808 174435 4294967295 134512640 134714508 3221221792 3221220200 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 175373 174435 1111 63 0 175310 0
vsize: 701492
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 460947 0 0 0 111039 975 0 0 25 0 1 0 761833903 721793024 175281 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 176219 175281 1111 63 0 176156 0
vsize: 704876
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 464503 0 0 0 112034 981 0 0 25 0 1 0 761833903 731791360 177691 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 178660 177691 1111 63 0 178597 0
vsize: 714640
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 467833 0 0 0 113027 987 0 0 25 0 1 0 761833903 735109120 178502 4294967295 134512640 134714508 3221221792 3221220488 134606801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 179470 178502 1111 63 0 179407 0
vsize: 717880
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 470386 0 0 0 114022 992 0 0 25 0 1 0 761833903 732594176 177918 4294967295 134512640 134714508 3221221792 3221220500 134618239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 178856 177918 1111 63 0 178793 0
vsize: 715424
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 474745 0 0 0 115013 1002 0 0 25 0 1 0 761833903 740122624 179755 4294967295 134512640 134714508 3221221792 3221220272 134539126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180694 179755 1111 63 0 180631 0
vsize: 722776
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 474745 0 0 0 116013 1002 0 0 25 0 1 0 761833903 740122624 179755 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180694 179755 1111 63 0 180631 0
vsize: 722776
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 478360 0 0 0 117006 1010 0 0 25 0 1 0 761833903 747180032 181458 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 182417 181458 1111 63 0 182354 0
vsize: 729668
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 480896 0 0 0 118000 1015 0 0 25 0 1 0 761833903 749600768 182038 4294967295 134512640 134714508 3221221792 3221220356 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 183008 182038 1111 63 0 182945 0
vsize: 732032
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) R 13749 7876 7672 0 -1 0 481435 0 0 0 119000 1016 0 0 25 0 1 0 761833903 749772800 182104 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 183050 182104 1111 63 0 182987 0
vsize: 732200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 13750
Raw data (stat): 13750 (bsolo_lpr_cuts) Z 13749 7876 7672 0 -1 1036 481435 0 0 0 119000 1049 0 0 25 0 1 0 761833903 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.38
CPU time (s): 1200.5
CPU user time (s): 1190
CPU system time (s): 10.4994
CPU usage (%): 100.01
Max. virtual memory (Kb): 732200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####