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-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	29593306649763
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	29593306649763
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.43278
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 41233

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 08:49:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29299 boxname=wulflinc5 idbench=1083 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 29299
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        721436 kB
Buffers:         11408 kB
Cached:         280192 kB
SwapCached:        664 kB
Active:          36440 kB
Inactive:       257124 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        721156 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14032 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:09:15 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 29299 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 31986
Raw data (stat): 31986 (runsolver) R 31985 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908961033 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1298 0 0 0 993 4 0 0 25 0 1 0 908961033 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1408 0 0 0 1993 4 0 0 25 0 1 0 908961033 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1510 0 0 0 2992 5 0 0 25 0 1 0 908961033 16379904 1430 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1620 0 0 0 3992 5 0 0 25 0 1 0 908961033 16834560 1540 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1540 1111 63 0 4047 0
vsize: 16440
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1732 0 0 0 4992 6 0 0 25 0 1 0 908961033 17264640 1652 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1836 0 0 0 5991 6 0 0 25 0 1 0 908961033 17715200 1756 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 1951 0 0 0 6991 6 0 0 25 0 1 0 908961033 18161664 1871 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2055 0 0 0 7991 7 0 0 25 0 1 0 908961033 18616320 1975 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2164 0 0 0 8991 7 0 0 25 0 1 0 908961033 19058688 2084 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2279 0 0 0 9990 8 0 0 25 0 1 0 908961033 19501056 2199 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2383 0 0 0 10990 8 0 0 25 0 1 0 908961033 19955712 2303 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2493 0 0 0 11990 9 0 0 25 0 1 0 908961033 20402176 2413 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2413 1111 63 0 4918 0
vsize: 19924
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2602 0 0 0 12989 9 0 0 25 0 1 0 908961033 20856832 2522 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2712 0 0 0 13989 10 0 0 25 0 1 0 908961033 21299200 2632 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2821 0 0 0 14989 10 0 0 25 0 1 0 908961033 21725184 2741 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 2925 0 0 0 15989 10 0 0 25 0 1 0 908961033 22171648 2845 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2845 1111 63 0 5350 0
vsize: 21652
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3040 0 0 0 16988 11 0 0 25 0 1 0 908961033 22622208 2960 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2960 1111 63 0 5460 0
vsize: 22092
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3145 0 0 0 17989 12 0 0 25 0 1 0 908961033 23072768 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3267 0 0 0 18999 12 0 0 25 0 1 0 908961033 23662592 3187 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3187 1111 63 0 5714 0
vsize: 23108
[startup+200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3371 0 0 0 19998 12 0 0 25 0 1 0 908961033 24113152 3291 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3481 0 0 0 20998 13 0 0 25 0 1 0 908961033 24559616 3401 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3591 0 0 0 21998 13 0 0 25 0 1 0 908961033 25010176 3511 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3701 0 0 0 22997 14 0 0 25 0 1 0 908961033 25460736 3621 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3812 0 0 0 23997 14 0 0 25 0 1 0 908961033 25911296 3732 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 3921 0 0 0 24997 14 0 0 25 0 1 0 908961033 26357760 3841 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+260.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4032 0 0 0 25997 15 0 0 25 0 1 0 908961033 26804224 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4142 0 0 0 26996 16 0 0 25 0 1 0 908961033 27258880 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4062 1111 63 0 6592 0
vsize: 26620
[startup+280.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4253 0 0 0 27996 16 0 0 25 0 1 0 908961033 27705344 4173 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4362 0 0 0 28996 16 0 0 25 0 1 0 908961033 28160000 4282 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+300.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4472 0 0 0 29996 16 0 0 25 0 1 0 908961033 28602368 4392 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4392 1111 63 0 6920 0
vsize: 27932
[startup+310.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4583 0 0 0 30995 17 0 0 25 0 1 0 908961033 29028352 4503 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4503 1111 63 0 7024 0
vsize: 28348
[startup+320.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4693 0 0 0 31995 18 0 0 25 0 1 0 908961033 29474816 4613 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4802 0 0 0 32994 19 0 0 25 0 1 0 908961033 29925376 4722 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4722 1111 63 0 7243 0
vsize: 29224
[startup+340.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 4913 0 0 0 33993 19 0 0 25 0 1 0 908961033 30375936 4833 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5022 0 0 0 34993 19 0 0 25 0 1 0 908961033 30826496 4942 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4942 1111 63 0 7463 0
vsize: 30104
[startup+360.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5144 0 0 0 35993 20 0 0 25 0 1 0 908961033 31309824 5064 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+370.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5253 0 0 0 36992 21 0 0 25 0 1 0 908961033 31760384 5173 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5173 1111 63 0 7691 0
vsize: 31016
[startup+380.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5365 0 0 0 37993 21 0 0 25 0 1 0 908961033 32210944 5285 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5285 1111 63 0 7801 0
vsize: 31456
[startup+390.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5480 0 0 0 38992 21 0 0 25 0 1 0 908961033 32661504 5400 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5400 1111 63 0 7911 0
vsize: 31896
[startup+400.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5585 0 0 0 39992 22 0 0 25 0 1 0 908961033 33107968 5505 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5505 1111 63 0 8020 0
vsize: 32332
[startup+410.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5701 0 0 0 40991 22 0 0 25 0 1 0 908961033 33558528 5621 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5621 1111 63 0 8130 0
vsize: 32772
[startup+420.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5812 0 0 0 41991 23 0 0 25 0 1 0 908961033 34009088 5732 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5732 1111 63 0 8240 0
vsize: 33212
[startup+430.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 5922 0 0 0 42990 24 0 0 25 0 1 0 908961033 34459648 5842 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5842 1111 63 0 8350 0
vsize: 33652
[startup+440.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6033 0 0 0 43990 24 0 0 25 0 1 0 908961033 34906112 5953 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5953 1111 63 0 8459 0
vsize: 34088
[startup+450.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6143 0 0 0 44990 24 0 0 25 0 1 0 908961033 35360768 6063 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6063 1111 63 0 8570 0
vsize: 34532
[startup+460.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6260 0 0 0 45989 25 0 0 25 0 1 0 908961033 35958784 6180 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6180 1111 63 0 8716 0
vsize: 35116
[startup+470.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6370 0 0 0 46989 25 0 0 25 0 1 0 908961033 36409344 6290 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6290 1111 63 0 8826 0
vsize: 35556
[startup+480.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6481 0 0 0 47989 26 0 0 25 0 1 0 908961033 36859904 6401 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6401 1111 63 0 8936 0
vsize: 35996
[startup+490.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6596 0 0 0 48988 27 0 0 25 0 1 0 908961033 37306368 6516 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6516 1111 63 0 9045 0
vsize: 36432
[startup+500.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6708 0 0 0 49987 27 0 0 25 0 1 0 908961033 37761024 6628 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6628 1111 63 0 9156 0
vsize: 36876
[startup+510.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6818 0 0 0 50987 28 0 0 25 0 1 0 908961033 38207488 6738 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6738 1111 63 0 9265 0
vsize: 37312
[startup+520.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 6930 0 0 0 51986 29 0 0 25 0 1 0 908961033 38658048 6850 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6850 1111 63 0 9375 0
vsize: 37752
[startup+530.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7039 0 0 0 52986 29 0 0 25 0 1 0 908961033 39108608 6959 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6959 1111 63 0 9485 0
vsize: 38192
[startup+540.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7157 0 0 0 53985 30 0 0 25 0 1 0 908961033 39559168 7077 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7077 1111 63 0 9595 0
vsize: 38632
[startup+550.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7266 0 0 0 54985 30 0 0 25 0 1 0 908961033 40005632 7186 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7186 1111 63 0 9704 0
vsize: 39068
[startup+560.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7378 0 0 0 55984 31 0 0 25 0 1 0 908961033 40456192 7298 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7298 1111 63 0 9814 0
vsize: 39508
[startup+570.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7494 0 0 0 56983 32 0 0 25 0 1 0 908961033 40906752 7414 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7414 1111 63 0 9924 0
vsize: 39948
[startup+580.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7606 0 0 0 57983 33 0 0 25 0 1 0 908961033 41357312 7526 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7526 1111 63 0 10034 0
vsize: 40388
[startup+590.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7715 0 0 0 58982 34 0 0 25 0 1 0 908961033 41803776 7635 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7635 1111 63 0 10143 0
vsize: 40824
[startup+600.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7832 0 0 0 59982 34 0 0 25 0 1 0 908961033 42250240 7752 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7752 1111 63 0 10252 0
vsize: 41260
[startup+610.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 7949 0 0 0 60981 35 0 0 25 0 1 0 908961033 42852352 7869 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7869 1111 63 0 10399 0
vsize: 41848
[startup+620.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8060 0 0 0 61981 35 0 0 25 0 1 0 908961033 43307008 7980 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7980 1111 63 0 10510 0
vsize: 42292
[startup+630.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8170 0 0 0 62981 35 0 0 25 0 1 0 908961033 43753472 8090 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8090 1111 63 0 10619 0
vsize: 42728
[startup+640.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31986
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8287 0 0 0 63981 35 0 0 25 0 1 0 908961033 44183552 8207 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8207 1111 63 0 10724 0
vsize: 43148
[startup+650.142 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 31987
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8404 0 0 0 64981 36 0 0 25 0 1 0 908961033 44621824 8324 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8324 1111 63 0 10831 0
vsize: 43576
[startup+660.142 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8522 0 0 0 65980 36 0 0 25 0 1 0 908961033 45072384 8442 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8442 1111 63 0 10941 0
vsize: 44016
[startup+670.143 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8631 0 0 0 66980 37 0 0 25 0 1 0 908961033 45522944 8551 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8551 1111 63 0 11051 0
vsize: 44456
[startup+680.143 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8743 0 0 0 67979 37 0 0 25 0 1 0 908961033 45973504 8663 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8663 1111 63 0 11161 0
vsize: 44896
[startup+690.144 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8858 0 0 0 68979 37 0 0 25 0 1 0 908961033 46567424 8778 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8778 1111 63 0 11306 0
vsize: 45476
[startup+700.144 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 8976 0 0 0 69979 38 0 0 25 0 1 0 908961033 47022080 8896 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8896 1111 63 0 11417 0
vsize: 45920
[startup+710.144 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9105 0 0 0 70979 38 0 0 25 0 1 0 908961033 47579136 9025 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9025 1111 63 0 11553 0
vsize: 46464
[startup+720.149 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32039
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9222 0 0 0 71980 38 0 0 25 0 1 0 908961033 48144384 9142 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9142 1111 63 0 11691 0
vsize: 47016
[startup+730.153 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9332 0 0 0 72980 38 0 0 25 0 1 0 908961033 48590848 9252 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9252 1111 63 0 11800 0
vsize: 47452
[startup+740.154 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9449 0 0 0 73980 39 0 0 25 0 1 0 908961033 49041408 9369 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9369 1111 63 0 11910 0
vsize: 47892
[startup+750.154 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9566 0 0 0 74980 39 0 0 25 0 1 0 908961033 49491968 9486 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9486 1111 63 0 12020 0
vsize: 48332
[startup+760.154 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9679 0 0 0 75980 39 0 0 25 0 1 0 908961033 49942528 9599 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9599 1111 63 0 12130 0
vsize: 48772
[startup+770.154 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9794 0 0 0 76980 39 0 0 25 0 1 0 908961033 50388992 9714 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9714 1111 63 0 12239 0
vsize: 49208
[startup+780.154 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 9906 0 0 0 77980 40 0 0 25 0 1 0 908961033 50958336 9826 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9826 1111 63 0 12378 0
vsize: 49764
[startup+790.155 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10022 0 0 0 78980 40 0 0 25 0 1 0 908961033 51408896 9942 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9942 1111 63 0 12488 0
vsize: 50204
[startup+800.156 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10141 0 0 0 79980 40 0 0 25 0 1 0 908961033 51859456 10061 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10061 1111 63 0 12598 0
vsize: 50644
[startup+810.155 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10259 0 0 0 80980 40 0 0 25 0 1 0 908961033 52310016 10179 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10179 1111 63 0 12708 0
vsize: 51084
[startup+820.156 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10368 0 0 0 81980 40 0 0 25 0 1 0 908961033 52760576 10288 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10288 1111 63 0 12818 0
vsize: 51524
[startup+830.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10486 0 0 0 82980 41 0 0 25 0 1 0 908961033 53207040 10406 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10406 1111 63 0 12927 0
vsize: 51960
[startup+840.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10597 0 0 0 83980 41 0 0 25 0 1 0 908961033 53657600 10517 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10517 1111 63 0 13037 0
vsize: 52400
[startup+850.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10715 0 0 0 84980 41 0 0 25 0 1 0 908961033 54259712 10635 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10635 1111 63 0 13184 0
vsize: 52988
[startup+860.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10831 0 0 0 85980 41 0 0 25 0 1 0 908961033 54710272 10751 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10751 1111 63 0 13294 0
vsize: 53428
[startup+870.159 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 10949 0 0 0 86980 41 0 0 25 0 1 0 908961033 55160832 10869 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10869 1111 63 0 13404 0
vsize: 53868
[startup+880.159 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11066 0 0 0 87980 42 0 0 25 0 1 0 908961033 55607296 10986 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10986 1111 63 0 13513 0
vsize: 54304
[startup+890.159 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11184 0 0 0 88980 42 0 0 25 0 1 0 908961033 56057856 11104 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11104 1111 63 0 13623 0
vsize: 54744
[startup+900.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11294 0 0 0 89980 42 0 0 25 0 1 0 908961033 56508416 11214 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11214 1111 63 0 13733 0
vsize: 55184
[startup+910.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11412 0 0 0 90980 42 0 0 25 0 1 0 908961033 57110528 11332 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11332 1111 63 0 13880 0
vsize: 55772
[startup+920.161 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11529 0 0 0 91980 42 0 0 25 0 1 0 908961033 57552896 11449 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11449 1111 63 0 13988 0
vsize: 56204
[startup+930.161 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11648 0 0 0 92980 43 0 0 25 0 1 0 908961033 58007552 11568 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11568 1111 63 0 14099 0
vsize: 56648
[startup+940.162 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11758 0 0 0 93980 43 0 0 25 0 1 0 908961033 58454016 11678 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11678 1111 63 0 14208 0
vsize: 57084
[startup+950.163 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11876 0 0 0 94980 43 0 0 25 0 1 0 908961033 58908672 11796 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11796 1111 63 0 14319 0
vsize: 57528
[startup+960.163 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 11992 0 0 0 95980 43 0 0 25 0 1 0 908961033 59351040 11912 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11912 1111 63 0 14427 0
vsize: 57960
[startup+970.163 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12112 0 0 0 96980 44 0 0 25 0 1 0 908961033 59953152 12032 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12032 1111 63 0 14574 0
vsize: 58548
[startup+980.163 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12228 0 0 0 97980 44 0 0 25 0 1 0 908961033 60403712 12148 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12148 1111 63 0 14684 0
vsize: 58988
[startup+990.164 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32041
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12345 0 0 0 98980 44 0 0 25 0 1 0 908961033 60854272 12265 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12265 1111 63 0 14794 0
vsize: 59428
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12463 0 0 0 99980 44 0 0 25 0 1 0 908961033 61300736 12383 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12383 1111 63 0 14903 0
vsize: 59864
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12580 0 0 0 100980 45 0 0 25 0 1 0 908961033 61755392 12500 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12500 1111 63 0 15014 0
vsize: 60308
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12698 0 0 0 101979 45 0 0 25 0 1 0 908961033 62353408 12618 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12618 1111 63 0 15160 0
vsize: 60892
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12815 0 0 0 102980 45 0 0 25 0 1 0 908961033 62803968 12735 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12735 1111 63 0 15270 0
vsize: 61332
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 12932 0 0 0 103980 45 0 0 25 0 1 0 908961033 63254528 12852 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12852 1111 63 0 15380 0
vsize: 61772
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13050 0 0 0 104979 46 0 0 25 0 1 0 908961033 63700992 12970 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12970 1111 63 0 15489 0
vsize: 62208
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13169 0 0 0 105979 46 0 0 25 0 1 0 908961033 64155648 13089 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13089 1111 63 0 15600 0
vsize: 62652
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13285 0 0 0 106979 47 0 0 25 0 1 0 908961033 64749568 13205 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13205 1111 63 0 15745 0
vsize: 63232
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13403 0 0 0 107979 47 0 0 25 0 1 0 908961033 65204224 13323 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13323 1111 63 0 15856 0
vsize: 63676
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13520 0 0 0 108979 47 0 0 25 0 1 0 908961033 65650688 13440 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13440 1111 63 0 15965 0
vsize: 64112
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13639 0 0 0 109979 48 0 0 25 0 1 0 908961033 66105344 13559 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13559 1111 63 0 16076 0
vsize: 64556
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13756 0 0 0 110979 48 0 0 25 0 1 0 908961033 66547712 13676 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13676 1111 63 0 16184 0
vsize: 64988
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13874 0 0 0 111978 49 0 0 25 0 1 0 908961033 67149824 13794 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13794 1111 63 0 16331 0
vsize: 65576
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 13997 0 0 0 112978 49 0 0 25 0 1 0 908961033 67600384 13917 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13917 1111 63 0 16441 0
vsize: 66016
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14115 0 0 0 113978 49 0 0 25 0 1 0 908961033 68050944 14035 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14035 1111 63 0 16551 0
vsize: 66456
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14234 0 0 0 114978 50 0 0 25 0 1 0 908961033 68497408 14154 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14154 1111 63 0 16660 0
vsize: 66892
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14351 0 0 0 115977 50 0 0 25 0 1 0 908961033 69099520 14271 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14271 1111 63 0 16807 0
vsize: 67480
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14476 0 0 0 116977 51 0 0 25 0 1 0 908961033 69550080 14396 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14396 1111 63 0 16917 0
vsize: 67920
[startup+1180.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14592 0 0 0 117977 51 0 0 25 0 1 0 908961033 70000640 14512 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14512 1111 63 0 17027 0
vsize: 68360
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14712 0 0 0 118977 51 0 0 25 0 1 0 908961033 70451200 14632 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14632 1111 63 0 17137 0
vsize: 68800
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) R 31985 7266 7265 0 -1 0 14828 0 0 0 119977 52 0 0 25 0 1 0 908961033 71045120 14748 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14748 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32043
Raw data (stat): 31986 (bsolo_lpr_cuts-) Z 31985 7266 7265 0 -1 1036 14828 0 0 0 119977 54 0 0 25 0 1 0 908961033 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.2
CPU time (s): 1200.32
CPU user time (s): 1199.78
CPU system time (s): 0.548916
CPU usage (%): 100.01
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####