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/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26284

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 14:57:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14185 boxname=wulflinc12 idbench=1092 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 14185
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        896576 kB
Buffers:         35736 kB
Cached:          80860 kB
SwapCached:        568 kB
Active:          68424 kB
Inactive:        50644 kB
HighTotal:      131008 kB
HighFree:        46284 kB
LowTotal:       903652 kB
LowFree:        850292 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13440 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:17:51 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14185 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.69 0.91 1.13 2/54 340
Raw data (stat): 340 (runsolver) R 339 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772907644 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.73 0.91 1.12 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1296 0 0 0 984 5 0 0 25 0 1 0 772907644 15511552 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0016 s]
Raw data (loadavg): 0.77 0.91 1.12 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1406 0 0 0 1984 5 0 0 25 0 1 0 772907644 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0025 s]
Raw data (loadavg): 0.81 0.91 1.12 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1515 0 0 0 2984 5 0 0 25 0 1 0 772907644 16379904 1439 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0033 s]
Raw data (loadavg): 0.84 0.92 1.12 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1625 0 0 0 3983 6 0 0 25 0 1 0 772907644 16834560 1549 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0042 s]
Raw data (loadavg): 0.86 0.92 1.12 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1731 0 0 0 4982 7 0 0 25 0 1 0 772907644 17264640 1655 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1655 1111 63 0 4152 0
vsize: 16860
[startup+60.005 s]
Raw data (loadavg): 0.88 0.92 1.11 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1847 0 0 0 5982 7 0 0 25 0 1 0 772907644 17862656 1771 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1771 1111 63 0 4298 0
vsize: 17444
[startup+70.0049 s]
Raw data (loadavg): 0.90 0.92 1.11 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 1950 0 0 0 6982 8 0 0 25 0 1 0 772907644 18161664 1874 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1874 1111 63 0 4371 0
vsize: 17736
[startup+80.0057 s]
Raw data (loadavg): 0.92 0.92 1.11 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2061 0 0 0 7981 8 0 0 25 0 1 0 772907644 18616320 1985 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1985 1111 63 0 4482 0
vsize: 18180
[startup+90.0066 s]
Raw data (loadavg): 0.93 0.93 1.11 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2176 0 0 0 8980 9 0 0 25 0 1 0 772907644 19197952 2100 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.006 s]
Raw data (loadavg): 0.94 0.93 1.11 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2285 0 0 0 9980 9 0 0 25 0 1 0 772907644 19656704 2209 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2209 1111 63 0 4736 0
vsize: 19196
[startup+110.007 s]
Raw data (loadavg): 0.95 0.93 1.10 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2395 0 0 0 10980 10 0 0 25 0 1 0 772907644 20103168 2319 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.008 s]
Raw data (loadavg): 0.95 0.93 1.10 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2506 0 0 0 11980 10 0 0 25 0 1 0 772907644 20557824 2430 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.009 s]
Raw data (loadavg): 0.96 0.93 1.10 2/54 340
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2615 0 0 0 12979 10 0 0 25 0 1 0 772907644 21004288 2539 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.01 s]
Raw data (loadavg): 1.05 0.95 1.10 3/56 388
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2725 0 0 0 13977 13 0 0 25 0 1 0 772907644 21434368 2649 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.01 s]
Raw data (loadavg): 1.04 0.95 1.10 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2834 0 0 0 14977 13 0 0 25 0 1 0 772907644 21872640 2758 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.01 s]
Raw data (loadavg): 1.03 0.95 1.10 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 2944 0 0 0 15977 13 0 0 25 0 1 0 772907644 22323200 2868 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2868 1111 63 0 5387 0
vsize: 21800
[startup+170.01 s]
Raw data (loadavg): 1.03 0.96 1.10 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3053 0 0 0 16977 14 0 0 25 0 1 0 772907644 22773760 2977 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2977 1111 63 0 5497 0
vsize: 22240
[startup+180.012 s]
Raw data (loadavg): 1.02 0.96 1.10 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3167 0 0 0 17977 14 0 0 25 0 1 0 772907644 23232512 3091 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.012 s]
Raw data (loadavg): 1.02 0.96 1.09 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3279 0 0 0 18977 14 0 0 25 0 1 0 772907644 23662592 3203 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3203 1111 63 0 5714 0
vsize: 23108
[startup+200.012 s]
Raw data (loadavg): 1.02 0.96 1.09 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3384 0 0 0 19977 14 0 0 25 0 1 0 772907644 24113152 3308 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3308 1111 63 0 5824 0
vsize: 23548
[startup+210.012 s]
Raw data (loadavg): 1.01 0.96 1.09 2/54 393
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3493 0 0 0 20977 14 0 0 25 0 1 0 772907644 24559616 3417 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3417 1111 63 0 5933 0
vsize: 23984
[startup+220.012 s]
Raw data (loadavg): 1.01 0.96 1.09 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3604 0 0 0 21977 14 0 0 25 0 1 0 772907644 25010176 3528 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3528 1111 63 0 6043 0
vsize: 24424
[startup+230.013 s]
Raw data (loadavg): 1.01 0.96 1.09 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3714 0 0 0 22977 15 0 0 25 0 1 0 772907644 25460736 3638 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3638 1111 63 0 6153 0
vsize: 24864
[startup+240.014 s]
Raw data (loadavg): 1.01 0.96 1.09 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3824 0 0 0 23977 15 0 0 25 0 1 0 772907644 25911296 3748 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3748 1111 63 0 6263 0
vsize: 25304
[startup+250.014 s]
Raw data (loadavg): 1.00 0.96 1.09 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 3933 0 0 0 24977 15 0 0 25 0 1 0 772907644 26357760 3857 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3857 1111 63 0 6372 0
vsize: 25740
[startup+260.014 s]
Raw data (loadavg): 1.00 0.96 1.09 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4045 0 0 0 25977 15 0 0 25 0 1 0 772907644 26804224 3969 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3969 1111 63 0 6481 0
vsize: 26176
[startup+270.015 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4155 0 0 0 26977 16 0 0 25 0 1 0 772907644 27258880 4079 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4079 1111 63 0 6592 0
vsize: 26620
[startup+280.015 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4265 0 0 0 27977 16 0 0 25 0 1 0 772907644 27705344 4189 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4189 1111 63 0 6701 0
vsize: 27056
[startup+290.015 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4374 0 0 0 28977 16 0 0 25 0 1 0 772907644 28160000 4298 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4298 1111 63 0 6812 0
vsize: 27500
[startup+300.016 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4486 0 0 0 29977 16 0 0 25 0 1 0 772907644 28602368 4410 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4410 1111 63 0 6920 0
vsize: 27932
[startup+310.016 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4595 0 0 0 30977 16 0 0 25 0 1 0 772907644 29028352 4519 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4519 1111 63 0 7024 0
vsize: 28348
[startup+320.016 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4706 0 0 0 31977 16 0 0 25 0 1 0 772907644 29474816 4630 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4630 1111 63 0 7133 0
vsize: 28784
[startup+330.017 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4815 0 0 0 32977 17 0 0 25 0 1 0 772907644 29925376 4739 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4739 1111 63 0 7243 0
vsize: 29224
[startup+340.017 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 4926 0 0 0 33977 17 0 0 25 0 1 0 772907644 30375936 4850 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4850 1111 63 0 7353 0
vsize: 29664
[startup+350.017 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5035 0 0 0 34977 17 0 0 25 0 1 0 772907644 30826496 4959 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4959 1111 63 0 7463 0
vsize: 30104
[startup+360.018 s]
Raw data (loadavg): 1.00 0.97 1.08 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5157 0 0 0 35977 17 0 0 25 0 1 0 772907644 31461376 5081 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5081 1111 63 0 7618 0
vsize: 30724
[startup+370.018 s]
Raw data (loadavg): 1.00 0.97 1.08 3/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5272 0 0 0 36977 17 0 0 25 0 1 0 772907644 31911936 5196 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5196 1111 63 0 7728 0
vsize: 31164
[startup+380.019 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5378 0 0 0 37977 17 0 0 25 0 1 0 772907644 32362496 5302 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5302 1111 63 0 7838 0
vsize: 31604
[startup+390.019 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5493 0 0 0 38977 18 0 0 25 0 1 0 772907644 32813056 5417 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5417 1111 63 0 7948 0
vsize: 32044
[startup+400.02 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5603 0 0 0 39977 18 0 0 25 0 1 0 772907644 33263616 5527 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5527 1111 63 0 8058 0
vsize: 32484
[startup+410.019 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5714 0 0 0 40977 18 0 0 25 0 1 0 772907644 33710080 5638 4294967295 134512640 134714508 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5638 1111 63 0 8167 0
vsize: 32920
[startup+420.02 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5824 0 0 0 41977 18 0 0 25 0 1 0 772907644 34160640 5748 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5748 1111 63 0 8277 0
vsize: 33360
[startup+430.021 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 5935 0 0 0 42977 19 0 0 25 0 1 0 772907644 34611200 5859 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5859 1111 63 0 8387 0
vsize: 33800
[startup+440.021 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6051 0 0 0 43977 19 0 0 25 0 1 0 772907644 35061760 5975 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5975 1111 63 0 8497 0
vsize: 34240
[startup+450.021 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 395
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6156 0 0 0 44977 19 0 0 25 0 1 0 772907644 35508224 6080 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6080 1111 63 0 8606 0
vsize: 34676
[startup+460.022 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6273 0 0 0 45977 19 0 0 25 0 1 0 772907644 35958784 6197 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6197 1111 63 0 8716 0
vsize: 35116
[startup+470.022 s]
Raw data (loadavg): 1.00 0.97 1.07 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6383 0 0 0 46977 19 0 0 25 0 1 0 772907644 36409344 6307 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6307 1111 63 0 8826 0
vsize: 35556
[startup+480.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6494 0 0 0 47988 19 0 0 25 0 1 0 772907644 36859904 6418 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6418 1111 63 0 8936 0
vsize: 35996
[startup+490.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6610 0 0 0 48988 20 0 0 25 0 1 0 772907644 37306368 6534 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6534 1111 63 0 9045 0
vsize: 36432
[startup+500.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6721 0 0 0 49988 20 0 0 25 0 1 0 772907644 37761024 6645 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6645 1111 63 0 9156 0
vsize: 36876
[startup+510.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6831 0 0 0 50988 20 0 0 25 0 1 0 772907644 38207488 6755 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6755 1111 63 0 9265 0
vsize: 37312
[startup+520.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 6949 0 0 0 51988 20 0 0 25 0 1 0 772907644 38658048 6873 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6873 1111 63 0 9375 0
vsize: 37752
[startup+530.127 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7058 0 0 0 52988 20 0 0 25 0 1 0 772907644 39108608 6982 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6982 1111 63 0 9485 0
vsize: 38192
[startup+540.127 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7170 0 0 0 53988 20 0 0 25 0 1 0 772907644 39559168 7094 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7094 1111 63 0 9595 0
vsize: 38632
[startup+550.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7285 0 0 0 54988 21 0 0 25 0 1 0 772907644 40153088 7209 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7209 1111 63 0 9740 0
vsize: 39212
[startup+560.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7397 0 0 0 55988 21 0 0 25 0 1 0 772907644 40607744 7321 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 7321 1111 63 0 9851 0
vsize: 39656
[startup+570.126 s]
Raw data (loadavg): 1.00 0.97 1.06 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7507 0 0 0 56987 21 0 0 25 0 1 0 772907644 41054208 7431 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7431 1111 63 0 9960 0
vsize: 40092
[startup+580.127 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7625 0 0 0 57987 22 0 0 25 0 1 0 772907644 41508864 7549 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7549 1111 63 0 10071 0
vsize: 40536
[startup+590.127 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7734 0 0 0 58987 22 0 0 25 0 1 0 772907644 41951232 7658 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7658 1111 63 0 10179 0
vsize: 40968
[startup+600.128 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7845 0 0 0 59987 22 0 0 25 0 1 0 772907644 42405888 7769 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7769 1111 63 0 10290 0
vsize: 41412
[startup+610.128 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 7962 0 0 0 60987 22 0 0 25 0 1 0 772907644 42852352 7886 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7886 1111 63 0 10399 0
vsize: 41848
[startup+620.129 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8073 0 0 0 61986 23 0 0 25 0 1 0 772907644 43307008 7997 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7997 1111 63 0 10510 0
vsize: 42292
[startup+630.129 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8183 0 0 0 62986 23 0 0 25 0 1 0 772907644 43753472 8107 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8107 1111 63 0 10619 0
vsize: 42728
[startup+640.13 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8300 0 0 0 63986 24 0 0 25 0 1 0 772907644 44183552 8224 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8224 1111 63 0 10724 0
vsize: 43148
[startup+650.13 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8416 0 0 0 64986 24 0 0 25 0 1 0 772907644 44769280 8340 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8340 1111 63 0 10867 0
vsize: 43720
[startup+660.131 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8528 0 0 0 65986 24 0 0 25 0 1 0 772907644 45223936 8452 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8452 1111 63 0 10978 0
vsize: 44164
[startup+670.132 s]
Raw data (loadavg): 1.00 0.97 1.05 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8637 0 0 0 66986 24 0 0 25 0 1 0 772907644 45670400 8561 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8561 1111 63 0 11087 0
vsize: 44600
[startup+680.133 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8754 0 0 0 67986 25 0 0 25 0 1 0 772907644 46125056 8678 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8678 1111 63 0 11198 0
vsize: 45044
[startup+690.133 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8870 0 0 0 68986 25 0 0 25 0 1 0 772907644 46567424 8794 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8794 1111 63 0 11306 0
vsize: 45476
[startup+700.133 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 8981 0 0 0 69985 26 0 0 25 0 1 0 772907644 47022080 8905 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8905 1111 63 0 11417 0
vsize: 45920
[startup+710.134 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9111 0 0 0 70985 26 0 0 25 0 1 0 772907644 47718400 9035 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9035 1111 63 0 11587 0
vsize: 46600
[startup+720.134 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9228 0 0 0 71985 27 0 0 25 0 1 0 772907644 48144384 9152 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9152 1111 63 0 11691 0
vsize: 47016
[startup+730.135 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9344 0 0 0 72985 27 0 0 25 0 1 0 772907644 48590848 9268 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9268 1111 63 0 11800 0
vsize: 47452
[startup+740.136 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9455 0 0 0 73985 27 0 0 25 0 1 0 772907644 49041408 9379 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9379 1111 63 0 11910 0
vsize: 47892
[startup+750.135 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9572 0 0 0 74985 27 0 0 25 0 1 0 772907644 49491968 9496 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9496 1111 63 0 12020 0
vsize: 48332
[startup+760.135 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9684 0 0 0 75985 27 0 0 25 0 1 0 772907644 49942528 9608 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9608 1111 63 0 12130 0
vsize: 48772
[startup+770.135 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9800 0 0 0 76985 27 0 0 25 0 1 0 772907644 50536448 9724 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9724 1111 63 0 12275 0
vsize: 49352
[startup+780.136 s]
Raw data (loadavg): 1.00 0.97 1.04 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 9917 0 0 0 77985 28 0 0 25 0 1 0 772907644 50958336 9841 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9841 1111 63 0 12378 0
vsize: 49764
[startup+790.137 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10035 0 0 0 78985 28 0 0 25 0 1 0 772907644 51408896 9959 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9959 1111 63 0 12488 0
vsize: 50204
[startup+800.137 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10147 0 0 0 79985 28 0 0 25 0 1 0 772907644 51859456 10071 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10071 1111 63 0 12598 0
vsize: 50644
[startup+810.138 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10264 0 0 0 80985 28 0 0 25 0 1 0 772907644 52310016 10188 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10188 1111 63 0 12708 0
vsize: 51084
[startup+820.137 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10374 0 0 0 81985 29 0 0 25 0 1 0 772907644 52760576 10298 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10298 1111 63 0 12818 0
vsize: 51524
[startup+830.138 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10492 0 0 0 82985 29 0 0 25 0 1 0 772907644 53362688 10416 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10416 1111 63 0 12965 0
vsize: 52112
[startup+840.138 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10609 0 0 0 83985 29 0 0 25 0 1 0 772907644 53809152 10533 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10533 1111 63 0 13074 0
vsize: 52548
[startup+850.139 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10727 0 0 0 84985 29 0 0 25 0 1 0 772907644 54259712 10651 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10651 1111 63 0 13184 0
vsize: 52988
[startup+860.139 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10837 0 0 0 85985 30 0 0 25 0 1 0 772907644 54710272 10761 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10761 1111 63 0 13294 0
vsize: 53428
[startup+870.139 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 10954 0 0 0 86985 30 0 0 25 0 1 0 772907644 55160832 10878 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10878 1111 63 0 13404 0
vsize: 53868
[startup+880.139 s]
Raw data (loadavg): 1.00 0.97 1.03 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11071 0 0 0 87985 30 0 0 25 0 1 0 772907644 55607296 10995 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10995 1111 63 0 13513 0
vsize: 54304
[startup+890.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11184 0 0 0 88985 30 0 0 25 0 1 0 772907644 56057856 11108 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11108 1111 63 0 13623 0
vsize: 54744
[startup+900.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11300 0 0 0 89985 30 0 0 25 0 1 0 772907644 56655872 11224 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11224 1111 63 0 13769 0
vsize: 55328
[startup+910.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11418 0 0 0 90985 30 0 0 25 0 1 0 772907644 57110528 11342 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11342 1111 63 0 13880 0
vsize: 55772
[startup+920.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11535 0 0 0 91985 31 0 0 25 0 1 0 772907644 57552896 11459 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11459 1111 63 0 13988 0
vsize: 56204
[startup+930.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11653 0 0 0 92985 31 0 0 25 0 1 0 772907644 58007552 11577 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11577 1111 63 0 14099 0
vsize: 56648
[startup+940.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11769 0 0 0 93985 31 0 0 25 0 1 0 772907644 58454016 11693 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11693 1111 63 0 14208 0
vsize: 57084
[startup+950.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 11887 0 0 0 94985 31 0 0 25 0 1 0 772907644 59056128 11811 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11811 1111 63 0 14355 0
vsize: 57672
[startup+960.14 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12004 0 0 0 95985 31 0 0 25 0 1 0 772907644 59502592 11928 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11928 1111 63 0 14464 0
vsize: 58108
[startup+970.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12117 0 0 0 96985 32 0 0 25 0 1 0 772907644 59953152 12041 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12041 1111 63 0 14574 0
vsize: 58548
[startup+980.139 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12233 0 0 0 97985 32 0 0 25 0 1 0 772907644 60403712 12157 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12157 1111 63 0 14684 0
vsize: 58988
[startup+990.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12351 0 0 0 98984 32 0 0 25 0 1 0 772907644 60854272 12275 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12275 1111 63 0 14794 0
vsize: 59428
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12468 0 0 0 99984 32 0 0 25 0 1 0 772907644 61300736 12392 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12392 1111 63 0 14903 0
vsize: 59864
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12585 0 0 0 100984 33 0 0 25 0 1 0 772907644 61902848 12509 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12509 1111 63 0 15050 0
vsize: 60452
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12703 0 0 0 101984 33 0 0 25 0 1 0 772907644 62353408 12627 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12627 1111 63 0 15160 0
vsize: 60892
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12820 0 0 0 102984 33 0 0 25 0 1 0 772907644 62803968 12744 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12744 1111 63 0 15270 0
vsize: 61332
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 12938 0 0 0 103984 34 0 0 25 0 1 0 772907644 63254528 12862 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12862 1111 63 0 15380 0
vsize: 61772
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13055 0 0 0 104984 34 0 0 25 0 1 0 772907644 63700992 12979 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12979 1111 63 0 15489 0
vsize: 62208
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13174 0 0 0 105984 34 0 0 25 0 1 0 772907644 64303104 13098 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13098 1111 63 0 15636 0
vsize: 62796
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13290 0 0 0 106984 34 0 0 25 0 1 0 772907644 64749568 13214 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13214 1111 63 0 15745 0
vsize: 63232
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13408 0 0 0 107984 34 0 0 25 0 1 0 772907644 65204224 13332 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13332 1111 63 0 15856 0
vsize: 63676
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13525 0 0 0 108984 34 0 0 25 0 1 0 772907644 65650688 13449 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13449 1111 63 0 15965 0
vsize: 64112
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13644 0 0 0 109984 35 0 0 25 0 1 0 772907644 66105344 13568 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13568 1111 63 0 16076 0
vsize: 64556
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13761 0 0 0 110984 35 0 0 25 0 1 0 772907644 66699264 13685 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13685 1111 63 0 16221 0
vsize: 65136
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 13885 0 0 0 111984 35 0 0 25 0 1 0 772907644 67149824 13809 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13809 1111 63 0 16331 0
vsize: 65576
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14002 0 0 0 112984 35 0 0 25 0 1 0 772907644 67600384 13926 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13926 1111 63 0 16441 0
vsize: 66016
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14121 0 0 0 113984 36 0 0 25 0 1 0 772907644 68050944 14045 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14045 1111 63 0 16551 0
vsize: 66456
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14239 0 0 0 114984 36 0 0 25 0 1 0 772907644 68653056 14163 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14163 1111 63 0 16698 0
vsize: 67044
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14356 0 0 0 115984 36 0 0 25 0 1 0 772907644 69099520 14280 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14280 1111 63 0 16807 0
vsize: 67480
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14475 0 0 0 116983 36 0 0 25 0 1 0 772907644 69550080 14399 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14399 1111 63 0 16917 0
vsize: 67920
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14591 0 0 0 117983 36 0 0 25 0 1 0 772907644 70000640 14515 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14515 1111 63 0 17027 0
vsize: 68360
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14710 0 0 0 118983 37 0 0 25 0 1 0 772907644 70451200 14634 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14634 1111 63 0 17137 0
vsize: 68800
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) R 339 32284 32283 0 -1 0 14833 0 0 0 119983 37 0 0 25 0 1 0 772907644 71045120 14757 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14757 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.97 1.00 1/54 397
Raw data (stat): 340 (bsolo_lpr_cuts) Z 339 32284 32283 0 -1 1036 14833 0 0 0 119983 40 0 0 25 0 1 0 772907644 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.17
CPU time (s): 1200.24
CPU user time (s): 1199.84
CPU system time (s): 0.403938
CPU usage (%): 100.006
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####