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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
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	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460
Trace number 41519

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 14:29:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29579 boxname=wulflinc6 idbench=1363 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 29579
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        880580 kB
Buffers:         18848 kB
Cached:         113388 kB
SwapCached:        908 kB
Active:          30672 kB
Inactive:       103608 kB
HighTotal:      131008 kB
HighFree:        80276 kB
LowTotal:       903652 kB
LowFree:        800304 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14008 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:49:14 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 29579 7 1200.48 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 13306
Raw data (stat): 13306 (runsolver) R 13305 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911000270 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 1703 0 0 0 991 6 0 0 25 0 1 0 911000270 16723968 1623 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 1623 1111 63 0 4020 0
vsize: 16332
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 1978 0 0 0 1991 6 0 0 25 0 1 0 911000270 17895424 1898 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1898 1111 63 0 4306 0
vsize: 17476
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2122 0 0 0 2991 7 0 0 25 0 1 0 911000270 18436096 2042 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 2042 1111 63 0 4438 0
vsize: 18004
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2242 0 0 0 3991 7 0 0 25 0 1 0 911000270 18980864 2162 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 2162 1111 63 0 4571 0
vsize: 18536
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2388 0 0 0 4991 7 0 0 25 0 1 0 911000270 19525632 2308 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 2308 1111 63 0 4704 0
vsize: 19068
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2527 0 0 0 5991 7 0 0 25 0 1 0 911000270 20066304 2447 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4899 2447 1111 63 0 4836 0
vsize: 19596
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2671 0 0 0 6991 8 0 0 25 0 1 0 911000270 20606976 2591 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 2591 1111 63 0 4968 0
vsize: 20124
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2832 0 0 0 7991 8 0 0 25 0 1 0 911000270 21291008 2752 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 2752 1111 63 0 5135 0
vsize: 20792
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 2959 0 0 0 8991 9 0 0 25 0 1 0 911000270 21835776 2879 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 2879 1111 63 0 5268 0
vsize: 21324
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3091 0 0 0 9991 9 0 0 25 0 1 0 911000270 22376448 3011 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5463 3011 1111 63 0 5400 0
vsize: 21852
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3219 0 0 0 10991 9 0 0 25 0 1 0 911000270 22925312 3139 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 3139 1111 63 0 5534 0
vsize: 22388
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3351 0 0 0 11991 9 0 0 25 0 1 0 911000270 23470080 3271 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5730 3271 1111 63 0 5667 0
vsize: 22920
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3473 0 0 0 12992 10 0 0 25 0 1 0 911000270 24018944 3393 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 3393 1111 63 0 5801 0
vsize: 23456
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3599 0 0 0 13992 10 0 0 25 0 1 0 911000270 24428544 3519 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 3519 1111 63 0 5901 0
vsize: 23856
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3742 0 0 0 14992 10 0 0 25 0 1 0 911000270 25104384 3662 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6129 3662 1111 63 0 6066 0
vsize: 24516
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 3890 0 0 0 15992 10 0 0 25 0 1 0 911000270 25649152 3810 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3810 1111 63 0 6199 0
vsize: 25048
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4028 0 0 0 16992 11 0 0 25 0 1 0 911000270 26189824 3948 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3948 1111 63 0 6331 0
vsize: 25576
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4167 0 0 0 17992 11 0 0 25 0 1 0 911000270 26865664 4087 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6559 4087 1111 63 0 6496 0
vsize: 26236
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4301 0 0 0 18992 11 0 0 25 0 1 0 911000270 27414528 4221 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 4221 1111 63 0 6630 0
vsize: 26772
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4434 0 0 0 19992 12 0 0 25 0 1 0 911000270 27959296 4354 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 4354 1111 63 0 6763 0
vsize: 27304
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4592 0 0 0 20992 12 0 0 25 0 1 0 911000270 28499968 4512 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6958 4512 1111 63 0 6895 0
vsize: 27832
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4749 0 0 0 21992 12 0 0 25 0 1 0 911000270 29196288 4669 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7128 4669 1111 63 0 7065 0
vsize: 28512
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 4875 0 0 0 22992 12 0 0 25 0 1 0 911000270 29741056 4795 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7261 4795 1111 63 0 7198 0
vsize: 29044
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5016 0 0 0 23993 13 0 0 25 0 1 0 911000270 30285824 4936 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 4936 1111 63 0 7331 0
vsize: 29576
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5160 0 0 0 24993 13 0 0 25 0 1 0 911000270 30826496 5080 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5080 1111 63 0 7463 0
vsize: 30104
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5313 0 0 0 25993 13 0 0 25 0 1 0 911000270 31522816 5233 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 5233 1111 63 0 7633 0
vsize: 30784
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5444 0 0 0 26992 14 0 0 25 0 1 0 911000270 32071680 5364 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7830 5364 1111 63 0 7767 0
vsize: 31320
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5589 0 0 0 27992 14 0 0 25 0 1 0 911000270 32632832 5509 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7967 5509 1111 63 0 7904 0
vsize: 31868
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5717 0 0 0 28992 15 0 0 25 0 1 0 911000270 33177600 5637 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8100 5637 1111 63 0 8037 0
vsize: 32400
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 5868 0 0 0 29992 15 0 0 25 0 1 0 911000270 33722368 5788 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8233 5788 1111 63 0 8170 0
vsize: 32932
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6007 0 0 0 30993 15 0 0 25 0 1 0 911000270 34287616 5927 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8371 5927 1111 63 0 8308 0
vsize: 33484
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6135 0 0 0 31994 15 0 0 25 0 1 0 911000270 34836480 6055 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6055 1111 63 0 8442 0
vsize: 34020
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6292 0 0 0 32994 16 0 0 25 0 1 0 911000270 35532800 6212 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 6212 1111 63 0 8612 0
vsize: 34700
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6431 0 0 0 33994 16 0 0 25 0 1 0 911000270 36073472 6351 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8807 6351 1111 63 0 8744 0
vsize: 35228
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6578 0 0 0 34994 16 0 0 25 0 1 0 911000270 36753408 6498 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8973 6498 1111 63 0 8910 0
vsize: 35892
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6728 0 0 0 35995 16 0 0 25 0 1 0 911000270 37314560 6648 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6648 1111 63 0 9047 0
vsize: 36440
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 6868 0 0 0 36995 17 0 0 25 0 1 0 911000270 37859328 6788 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 6788 1111 63 0 9180 0
vsize: 36972
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7001 0 0 0 37995 17 0 0 25 0 1 0 911000270 38400000 6921 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 6921 1111 63 0 9312 0
vsize: 37500
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7165 0 0 0 38995 17 0 0 25 0 1 0 911000270 39075840 7085 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9540 7085 1111 63 0 9477 0
vsize: 38160
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7317 0 0 0 39996 17 0 0 25 0 1 0 911000270 39645184 7237 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9679 7237 1111 63 0 9616 0
vsize: 38716
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7456 0 0 0 40995 18 0 0 25 0 1 0 911000270 40210432 7376 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9817 7376 1111 63 0 9754 0
vsize: 39268
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7609 0 0 0 41996 18 0 0 25 0 1 0 911000270 40914944 7529 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 7529 1111 63 0 9926 0
vsize: 39956
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7747 0 0 0 42996 18 0 0 25 0 1 0 911000270 41455616 7667 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 7667 1111 63 0 10058 0
vsize: 40484
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 7899 0 0 0 43996 19 0 0 25 0 1 0 911000270 42020864 7819 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10259 7819 1111 63 0 10196 0
vsize: 41036
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8046 0 0 0 44997 19 0 0 25 0 1 0 911000270 42700800 7966 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 7966 1111 63 0 10362 0
vsize: 41700
[startup+460.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8185 0 0 0 45997 19 0 0 25 0 1 0 911000270 43241472 8105 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10557 8105 1111 63 0 10494 0
vsize: 42228
[startup+470.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8317 0 0 0 46997 19 0 0 25 0 1 0 911000270 43782144 8237 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10689 8237 1111 63 0 10626 0
vsize: 42756
[startup+480.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8464 0 0 0 47997 20 0 0 25 0 1 0 911000270 44466176 8384 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10856 8384 1111 63 0 10793 0
vsize: 43424
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8614 0 0 0 48997 20 0 0 25 0 1 0 911000270 45031424 8534 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10994 8534 1111 63 0 10931 0
vsize: 43976
[startup+500.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8767 0 0 0 49997 20 0 0 25 0 1 0 911000270 45600768 8687 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11133 8687 1111 63 0 11070 0
vsize: 44532
[startup+510.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 8906 0 0 0 50998 20 0 0 25 0 1 0 911000270 46276608 8826 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 8826 1111 63 0 11235 0
vsize: 45192
[startup+520.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9069 0 0 0 51997 21 0 0 25 0 1 0 911000270 46837760 8989 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11435 8989 1111 63 0 11372 0
vsize: 45740
[startup+530.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9203 0 0 0 52997 22 0 0 25 0 1 0 911000270 47382528 9123 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11568 9123 1111 63 0 11505 0
vsize: 46272
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9365 0 0 0 53997 22 0 0 25 0 1 0 911000270 48128000 9285 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11750 9285 1111 63 0 11687 0
vsize: 47000
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9511 0 0 0 54997 22 0 0 25 0 1 0 911000270 48807936 9431 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11916 9431 1111 63 0 11853 0
vsize: 47664
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9651 0 0 0 55997 22 0 0 25 0 1 0 911000270 49348608 9571 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12048 9571 1111 63 0 11985 0
vsize: 48192
[startup+570.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9808 0 0 0 56997 23 0 0 25 0 1 0 911000270 49909760 9728 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12185 9728 1111 63 0 12122 0
vsize: 48740
[startup+580.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 9942 0 0 0 57997 23 0 0 25 0 1 0 911000270 50458624 9862 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12319 9862 1111 63 0 12256 0
vsize: 49276
[startup+590.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10086 0 0 0 58997 24 0 0 25 0 1 0 911000270 51134464 10006 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12484 10006 1111 63 0 12421 0
vsize: 49936
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10221 0 0 0 59997 24 0 0 25 0 1 0 911000270 51675136 10141 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12616 10141 1111 63 0 12553 0
vsize: 50464
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10386 0 0 0 60997 24 0 0 25 0 1 0 911000270 52359168 10306 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12783 10306 1111 63 0 12720 0
vsize: 51132
[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10513 0 0 0 61997 24 0 0 25 0 1 0 911000270 52899840 10433 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12915 10433 1111 63 0 12852 0
vsize: 51660
[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10666 0 0 0 62998 24 0 0 25 0 1 0 911000270 53444608 10586 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13048 10586 1111 63 0 12985 0
vsize: 52192
[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10823 0 0 0 63998 25 0 0 25 0 1 0 911000270 54140928 10743 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13218 10743 1111 63 0 13155 0
vsize: 52872
[startup+650.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 10961 0 0 0 64998 25 0 0 25 0 1 0 911000270 54681600 10881 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13350 10881 1111 63 0 13287 0
vsize: 53400
[startup+660.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11120 0 0 0 65998 25 0 0 25 0 1 0 911000270 55361536 11040 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13516 11040 1111 63 0 13453 0
vsize: 54064
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11266 0 0 0 66998 26 0 0 25 0 1 0 911000270 55926784 11186 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13654 11186 1111 63 0 13591 0
vsize: 54616
[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11413 0 0 0 67998 26 0 0 25 0 1 0 911000270 56475648 11333 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13788 11333 1111 63 0 13725 0
vsize: 55152
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11565 0 0 0 68998 26 0 0 25 0 1 0 911000270 57171968 11485 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13958 11485 1111 63 0 13895 0
vsize: 55832
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11716 0 0 0 69998 27 0 0 25 0 1 0 911000270 57712640 11636 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11636 1111 63 0 14027 0
vsize: 56360
[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 11863 0 0 0 70998 27 0 0 25 0 1 0 911000270 58392576 11783 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14256 11783 1111 63 0 14193 0
vsize: 57024
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12008 0 0 0 71998 27 0 0 25 0 1 0 911000270 58933248 11928 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14388 11928 1111 63 0 14325 0
vsize: 57552
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12162 0 0 0 72998 27 0 0 25 0 1 0 911000270 59613184 12082 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14554 12082 1111 63 0 14491 0
vsize: 58216
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12319 0 0 0 73998 28 0 0 25 0 1 0 911000270 60153856 12239 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14686 12239 1111 63 0 14623 0
vsize: 58744
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12471 0 0 0 74998 28 0 0 25 0 1 0 911000270 60850176 12391 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14856 12391 1111 63 0 14793 0
vsize: 59424
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12618 0 0 0 75998 28 0 0 25 0 1 0 911000270 61394944 12538 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14989 12538 1111 63 0 14926 0
vsize: 59956
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12756 0 0 0 76998 29 0 0 25 0 1 0 911000270 62070784 12676 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 12676 1111 63 0 15091 0
vsize: 60616
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 12902 0 0 0 77998 29 0 0 25 0 1 0 911000270 62615552 12822 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15287 12822 1111 63 0 15224 0
vsize: 61148
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13041 0 0 0 78999 29 0 0 25 0 1 0 911000270 63156224 12961 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15419 12961 1111 63 0 15356 0
vsize: 61676
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13187 0 0 0 79999 29 0 0 25 0 1 0 911000270 63832064 13107 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15584 13107 1111 63 0 15521 0
vsize: 62336
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13333 0 0 0 80999 29 0 0 25 0 1 0 911000270 64376832 13253 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15717 13253 1111 63 0 15654 0
vsize: 62868
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13479 0 0 0 81999 29 0 0 25 0 1 0 911000270 64917504 13399 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15849 13399 1111 63 0 15786 0
vsize: 63396
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13596 0 0 0 82999 30 0 0 25 0 1 0 911000270 65474560 13516 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 13516 1111 63 0 15922 0
vsize: 63940
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13706 0 0 0 84000 30 0 0 25 0 1 0 911000270 65896448 13626 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16088 13626 1111 63 0 16025 0
vsize: 64352
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13822 0 0 0 85000 30 0 0 25 0 1 0 911000270 66314240 13742 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 13742 1111 63 0 16127 0
vsize: 64760
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 13934 0 0 0 86000 30 0 0 25 0 1 0 911000270 66883584 13854 4294967295 134512640 134716908 3221224560 3221222912 134567424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16329 13854 1111 63 0 16266 0
vsize: 65316
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14043 0 0 0 87000 31 0 0 25 0 1 0 911000270 67301376 13963 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13963 1111 63 0 16368 0
vsize: 65724
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14154 0 0 0 88000 31 0 0 25 0 1 0 911000270 67723264 14074 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16534 14074 1111 63 0 16471 0
vsize: 66136
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14265 0 0 0 89001 31 0 0 25 0 1 0 911000270 68149248 14185 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16638 14185 1111 63 0 16575 0
vsize: 66552
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14374 0 0 0 90001 31 0 0 25 0 1 0 911000270 68571136 14294 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16741 14294 1111 63 0 16678 0
vsize: 66964
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14486 0 0 0 91001 31 0 0 25 0 1 0 911000270 69136384 14406 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16879 14406 1111 63 0 16816 0
vsize: 67516
[startup+920.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14596 0 0 0 92001 31 0 0 25 0 1 0 911000270 69558272 14516 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16982 14516 1111 63 0 16919 0
vsize: 67928
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14706 0 0 0 93001 31 0 0 25 0 1 0 911000270 69976064 14626 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 14626 1111 63 0 17021 0
vsize: 68336
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14823 0 0 0 94002 32 0 0 25 0 1 0 911000270 70406144 14743 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17189 14743 1111 63 0 17126 0
vsize: 68756
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 14934 0 0 0 95002 32 0 0 25 0 1 0 911000270 70967296 14854 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14854 1111 63 0 17263 0
vsize: 69304
[startup+960.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15045 0 0 0 96002 33 0 0 25 0 1 0 911000270 71385088 14965 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 14965 1111 63 0 17365 0
vsize: 69712
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15161 0 0 0 97002 33 0 0 25 0 1 0 911000270 71811072 15081 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17532 15081 1111 63 0 17469 0
vsize: 70128
[startup+980.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15270 0 0 0 98002 33 0 0 25 0 1 0 911000270 72232960 15190 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 15190 1111 63 0 17572 0
vsize: 70540
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15382 0 0 0 99002 34 0 0 25 0 1 0 911000270 72798208 15302 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17773 15302 1111 63 0 17710 0
vsize: 71092
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15491 0 0 0 100002 34 0 0 25 0 1 0 911000270 73220096 15411 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 15411 1111 63 0 17813 0
vsize: 71504
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15601 0 0 0 101002 34 0 0 25 0 1 0 911000270 73637888 15521 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17978 15521 1111 63 0 17915 0
vsize: 71912
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15712 0 0 0 102002 35 0 0 25 0 1 0 911000270 74067968 15632 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 15632 1111 63 0 18020 0
vsize: 72332
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15828 0 0 0 103002 35 0 0 25 0 1 0 911000270 74629120 15748 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18220 15748 1111 63 0 18157 0
vsize: 72880
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 15974 0 0 0 104003 35 0 0 25 0 1 0 911000270 75210752 15894 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18362 15894 1111 63 0 18299 0
vsize: 73448
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16074 0 0 0 105003 35 0 0 25 0 1 0 911000270 75636736 15994 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18466 15994 1111 63 0 18403 0
vsize: 73864
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16191 0 0 0 106003 35 0 0 25 0 1 0 911000270 76197888 16111 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18603 16111 1111 63 0 18540 0
vsize: 74412
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16308 0 0 0 107003 36 0 0 25 0 1 0 911000270 76623872 16228 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18707 16228 1111 63 0 18644 0
vsize: 74828
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16425 0 0 0 108003 36 0 0 25 0 1 0 911000270 77185024 16345 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18844 16345 1111 63 0 18781 0
vsize: 75376
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16543 0 0 0 109004 36 0 0 25 0 1 0 911000270 77602816 16463 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18946 16463 1111 63 0 18883 0
vsize: 75784
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16660 0 0 0 110004 36 0 0 25 0 1 0 911000270 78032896 16580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 16580 1111 63 0 18988 0
vsize: 76204
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16777 0 0 0 111004 36 0 0 25 0 1 0 911000270 78589952 16697 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 16697 1111 63 0 19124 0
vsize: 76748
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 16894 0 0 0 112004 36 0 0 25 0 1 0 911000270 79015936 16814 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 16814 1111 63 0 19228 0
vsize: 77164
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17010 0 0 0 113004 36 0 0 25 0 1 0 911000270 79577088 16930 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19428 16930 1111 63 0 19365 0
vsize: 77712
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17128 0 0 0 114004 37 0 0 25 0 1 0 911000270 79998976 17048 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19531 17048 1111 63 0 19468 0
vsize: 78124
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17239 0 0 0 115005 37 0 0 25 0 1 0 911000270 80424960 17159 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19635 17159 1111 63 0 19572 0
vsize: 78540
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17357 0 0 0 116005 37 0 0 25 0 1 0 911000270 80986112 17277 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19772 17277 1111 63 0 19709 0
vsize: 79088
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17474 0 0 0 117005 37 0 0 25 0 1 0 911000270 81412096 17394 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19876 17394 1111 63 0 19813 0
vsize: 79504
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17590 0 0 0 118005 37 0 0 25 0 1 0 911000270 81833984 17510 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17510 1111 63 0 19916 0
vsize: 79916
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17702 0 0 0 119006 38 0 0 25 0 1 0 911000270 82395136 17622 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20116 17622 1111 63 0 20053 0
vsize: 80464
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) R 13305 25568 25567 0 -1 0 17824 0 0 0 120006 38 0 0 25 0 1 0 911000270 82821120 17744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20220 17744 1111 63 0 20157 0
vsize: 80880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13306
Raw data (stat): 13306 (bsolo_lpr_cuts-) Z 13305 25568 25567 0 -1 1036 17824 0 0 0 120006 41 0 0 25 0 1 0 911000270 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.11
CPU time (s): 1200.48
CPU user time (s): 1200.06
CPU system time (s): 0.415936
CPU usage (%): 100.031
Max. virtual memory (Kb): 80880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####