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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
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	0.646901
Number of variables	71610
Total number of constraints	712
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	712
Minimum length of a constraint	30
Maximum length of a constraint	1830
Trace number 41041

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 04:34:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29097 boxname=wulflinc4 idbench=881 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7f0ee4cf0d8dc7a24a6781a6419bf20e  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ship08s.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ship08s.opb
IDLAUNCH: 29097
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        739624 kB
Buffers:         31232 kB
Cached:         241616 kB
SwapCached:       1192 kB
Active:          37808 kB
Inactive:       237396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        739372 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            14032 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:54:20 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 29097 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.94 0.97 0.91 1/54 9378
Raw data (stat): 9378 (runsolver) R 9377 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907421761 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.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1052 0 0 0 994 3 0 0 25 0 1 0 907421761 15663104 972 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 972 1111 63 0 3761 0
vsize: 15296
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1184 0 0 0 1994 3 0 0 25 0 1 0 907421761 16236544 1104 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1104 1111 63 0 3901 0
vsize: 15856
[startup+30.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1308 0 0 0 2994 4 0 0 25 0 1 0 907421761 16687104 1228 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1228 1111 63 0 4011 0
vsize: 16296
[startup+40.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1452 0 0 0 3994 4 0 0 25 0 1 0 907421761 17272832 1372 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1372 1111 63 0 4154 0
vsize: 16868
[startup+50.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1599 0 0 0 4993 5 0 0 25 0 1 0 907421761 17846272 1519 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1519 1111 63 0 4294 0
vsize: 17428
[startup+60.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1745 0 0 0 5993 5 0 0 25 0 1 0 907421761 18444288 1665 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 1665 1111 63 0 4440 0
vsize: 18012
[startup+70.0006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 1892 0 0 0 6993 5 0 0 25 0 1 0 907421761 19046400 1812 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 1812 1111 63 0 4587 0
vsize: 18600
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2045 0 0 0 7993 6 0 0 25 0 1 0 907421761 19644416 1965 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 1965 1111 63 0 4733 0
vsize: 19184
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2192 0 0 0 8993 6 0 0 25 0 1 0 907421761 20242432 2112 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 2112 1111 63 0 4879 0
vsize: 19768
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2339 0 0 0 9992 6 0 0 25 0 1 0 907421761 20844544 2259 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2259 1111 63 0 5026 0
vsize: 20356
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2487 0 0 0 10993 6 0 0 25 0 1 0 907421761 21450752 2407 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2407 1111 63 0 5174 0
vsize: 20948
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2633 0 0 0 11993 6 0 0 25 0 1 0 907421761 22048768 2553 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2553 1111 63 0 5320 0
vsize: 21532
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2781 0 0 0 12993 7 0 0 25 0 1 0 907421761 22650880 2701 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2701 1111 63 0 5467 0
vsize: 22120
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 2935 0 0 0 13992 7 0 0 25 0 1 0 907421761 23400448 2855 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2855 1111 63 0 5650 0
vsize: 22852
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3088 0 0 0 14992 7 0 0 25 0 1 0 907421761 23994368 3008 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 3008 1111 63 0 5795 0
vsize: 23432
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3242 0 0 0 15992 8 0 0 25 0 1 0 907421761 24596480 3162 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3162 1111 63 0 5942 0
vsize: 24020
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3392 0 0 0 16992 8 0 0 25 0 1 0 907421761 25202688 3312 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3312 1111 63 0 6090 0
vsize: 24612
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3539 0 0 0 17992 9 0 0 25 0 1 0 907421761 25800704 3459 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3459 1111 63 0 6236 0
vsize: 25196
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3699 0 0 0 18992 9 0 0 25 0 1 0 907421761 26550272 3619 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3619 1111 63 0 6419 0
vsize: 25928
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 3849 0 0 0 19991 9 0 0 25 0 1 0 907421761 27127808 3769 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 3769 1111 63 0 6560 0
vsize: 26492
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4005 0 0 0 20991 9 0 0 25 0 1 0 907421761 27725824 3925 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 3925 1111 63 0 6706 0
vsize: 27076
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4158 0 0 0 21991 10 0 0 25 0 1 0 907421761 28327936 4078 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4078 1111 63 0 6853 0
vsize: 27664
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4313 0 0 0 22991 10 0 0 25 0 1 0 907421761 28934144 4233 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4233 1111 63 0 7001 0
vsize: 28256
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4469 0 0 0 23991 11 0 0 25 0 1 0 907421761 29683712 4389 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4389 1111 63 0 7184 0
vsize: 28988
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4628 0 0 0 24991 11 0 0 25 0 1 0 907421761 30281728 4548 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 4548 1111 63 0 7330 0
vsize: 29572
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4777 0 0 0 25991 11 0 0 25 0 1 0 907421761 30887936 4697 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 4697 1111 63 0 7478 0
vsize: 30164
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 4948 0 0 0 26991 11 0 0 25 0 1 0 907421761 31678464 4868 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 4868 1111 63 0 7671 0
vsize: 30936
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5096 0 0 0 27991 11 0 0 25 0 1 0 907421761 32276480 5016 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5016 1111 63 0 7817 0
vsize: 31520
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5257 0 0 0 28990 12 0 0 25 0 1 0 907421761 32882688 5177 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8028 5177 1111 63 0 7965 0
vsize: 32112
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5420 0 0 0 29990 12 0 0 25 0 1 0 907421761 33632256 5340 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5340 1111 63 0 8148 0
vsize: 32844
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5575 0 0 0 30990 13 0 0 25 0 1 0 907421761 34238464 5495 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5495 1111 63 0 8296 0
vsize: 33436
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5730 0 0 0 31990 13 0 0 25 0 1 0 907421761 34836480 5650 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 5650 1111 63 0 8442 0
vsize: 34020
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 5893 0 0 0 32990 13 0 0 25 0 1 0 907421761 35438592 5813 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 5813 1111 63 0 8589 0
vsize: 34608
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6055 0 0 0 33990 13 0 0 25 0 1 0 907421761 36192256 5975 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5975 1111 63 0 8773 0
vsize: 35344
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6216 0 0 0 34990 13 0 0 25 0 1 0 907421761 36790272 6136 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8982 6136 1111 63 0 8919 0
vsize: 35928
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6380 0 0 0 35990 14 0 0 25 0 1 0 907421761 37543936 6300 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6300 1111 63 0 9103 0
vsize: 36664
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6542 0 0 0 36989 14 0 0 25 0 1 0 907421761 38146048 6462 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 6462 1111 63 0 9250 0
vsize: 37252
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6704 0 0 0 37989 15 0 0 25 0 1 0 907421761 38752256 6624 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9461 6624 1111 63 0 9398 0
vsize: 37844
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 6867 0 0 0 38989 15 0 0 25 0 1 0 907421761 39501824 6787 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 6787 1111 63 0 9581 0
vsize: 38576
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7029 0 0 0 39989 15 0 0 25 0 1 0 907421761 40103936 6949 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9791 6949 1111 63 0 9728 0
vsize: 39164
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7192 0 0 0 40989 16 0 0 25 0 1 0 907421761 40857600 7112 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7112 1111 63 0 9912 0
vsize: 39900
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7362 0 0 0 41988 16 0 0 25 0 1 0 907421761 41459712 7282 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7282 1111 63 0 10059 0
vsize: 40488
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7530 0 0 0 42988 16 0 0 25 0 1 0 907421761 42209280 7450 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7450 1111 63 0 10242 0
vsize: 41220
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7693 0 0 0 43988 17 0 0 25 0 1 0 907421761 42782720 7613 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7613 1111 63 0 10382 0
vsize: 41780
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 7870 0 0 0 44988 17 0 0 25 0 1 0 907421761 43536384 7790 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7790 1111 63 0 10566 0
vsize: 42516
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8033 0 0 0 45988 17 0 0 25 0 1 0 907421761 44290048 7953 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 7953 1111 63 0 10750 0
vsize: 43252
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8207 0 0 0 46988 17 0 0 25 0 1 0 907421761 44888064 8127 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8127 1111 63 0 10896 0
vsize: 43836
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8371 0 0 0 47988 18 0 0 25 0 1 0 907421761 45641728 8291 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11143 8291 1111 63 0 11080 0
vsize: 44572
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8547 0 0 0 48988 18 0 0 25 0 1 0 907421761 46395392 8467 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 8467 1111 63 0 11264 0
vsize: 45308
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8717 0 0 0 49988 18 0 0 25 0 1 0 907421761 46997504 8637 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8637 1111 63 0 11411 0
vsize: 45896
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 8906 0 0 0 50987 19 0 0 25 0 1 0 907421761 47849472 8826 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8826 1111 63 0 11619 0
vsize: 46728
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9080 0 0 0 51987 19 0 0 25 0 1 0 907421761 48603136 9000 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 9000 1111 63 0 11803 0
vsize: 47464
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9251 0 0 0 52986 20 0 0 25 0 1 0 907421761 49328128 9171 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9171 1111 63 0 11980 0
vsize: 48172
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9422 0 0 0 53986 20 0 0 25 0 1 0 907421761 50077696 9342 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9342 1111 63 0 12163 0
vsize: 48904
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9598 0 0 0 54986 20 0 0 25 0 1 0 907421761 50675712 9518 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12372 9518 1111 63 0 12309 0
vsize: 49488
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9773 0 0 0 55986 21 0 0 25 0 1 0 907421761 51400704 9693 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9693 1111 63 0 12486 0
vsize: 50196
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 9951 0 0 0 56986 21 0 0 25 0 1 0 907421761 52154368 9871 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 9871 1111 63 0 12670 0
vsize: 50932
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 10128 0 0 0 57986 21 0 0 25 0 1 0 907421761 52908032 10048 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10048 1111 63 0 12854 0
vsize: 51668
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 10307 0 0 0 58986 22 0 0 25 0 1 0 907421761 53661696 10227 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10227 1111 63 0 13038 0
vsize: 52404
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 10484 0 0 0 59985 22 0 0 25 0 1 0 907421761 54415360 10404 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13285 10404 1111 63 0 13222 0
vsize: 53140
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 10660 0 0 0 60985 23 0 0 25 0 1 0 907421761 55013376 10580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10580 1111 63 0 13368 0
vsize: 53724
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 10845 0 0 0 61985 23 0 0 25 0 1 0 907421761 55767040 10765 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 10765 1111 63 0 13552 0
vsize: 54460
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11029 0 0 0 62985 23 0 0 25 0 1 0 907421761 56520704 10949 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13799 10949 1111 63 0 13736 0
vsize: 55196
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11206 0 0 0 63985 24 0 0 25 0 1 0 907421761 57274368 11126 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13983 11126 1111 63 0 13920 0
vsize: 55932
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11398 0 0 0 64984 24 0 0 25 0 1 0 907421761 58028032 11318 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14167 11318 1111 63 0 14104 0
vsize: 56668
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11576 0 0 0 65985 24 0 0 25 0 1 0 907421761 58777600 11496 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14350 11496 1111 63 0 14287 0
vsize: 57400
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11766 0 0 0 66984 25 0 0 25 0 1 0 907421761 59527168 11686 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14533 11686 1111 63 0 14470 0
vsize: 58132
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 11951 0 0 0 67984 25 0 0 25 0 1 0 907421761 60284928 11871 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14718 11871 1111 63 0 14655 0
vsize: 58872
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 12136 0 0 0 68984 25 0 0 25 0 1 0 907421761 61034496 12056 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14901 12056 1111 63 0 14838 0
vsize: 59604
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 12329 0 0 0 69984 26 0 0 25 0 1 0 907421761 61939712 12249 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15122 12249 1111 63 0 15059 0
vsize: 60488
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 12520 0 0 0 70983 26 0 0 25 0 1 0 907421761 62693376 12440 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15306 12440 1111 63 0 15243 0
vsize: 61224
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 12710 0 0 0 71983 27 0 0 25 0 1 0 907421761 63447040 12630 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15490 12630 1111 63 0 15427 0
vsize: 61960
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 12902 0 0 0 72983 27 0 0 25 0 1 0 907421761 64196608 12822 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15673 12822 1111 63 0 15610 0
vsize: 62692
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 13094 0 0 0 73983 27 0 0 25 0 1 0 907421761 64946176 13014 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15856 13014 1111 63 0 15793 0
vsize: 63424
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 13287 0 0 0 74983 28 0 0 25 0 1 0 907421761 65851392 13207 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16077 13207 1111 63 0 16014 0
vsize: 64308
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 13479 0 0 0 75981 29 0 0 25 0 1 0 907421761 66605056 13399 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16261 13399 1111 63 0 16198 0
vsize: 65044
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 13670 0 0 0 76980 30 0 0 25 0 1 0 907421761 67354624 13590 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16444 13590 1111 63 0 16381 0
vsize: 65776
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 13870 0 0 0 77980 30 0 0 25 0 1 0 907421761 68112384 13790 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16629 13790 1111 63 0 16566 0
vsize: 66516
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 14068 0 0 0 78980 30 0 0 25 0 1 0 907421761 69013504 13988 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16849 13988 1111 63 0 16786 0
vsize: 67396
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 14262 0 0 0 79980 31 0 0 25 0 1 0 907421761 69767168 14182 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17033 14182 1111 63 0 16970 0
vsize: 68132
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 14468 0 0 0 80980 31 0 0 25 0 1 0 907421761 70668288 14388 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17253 14388 1111 63 0 17190 0
vsize: 69012
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 14665 0 0 0 81979 32 0 0 25 0 1 0 907421761 71417856 14585 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17436 14585 1111 63 0 17373 0
vsize: 69744
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 14866 0 0 0 82979 32 0 0 25 0 1 0 907421761 72171520 14786 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17620 14786 1111 63 0 17557 0
vsize: 70480
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 15072 0 0 0 83979 32 0 0 25 0 1 0 907421761 73072640 14992 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17840 14992 1111 63 0 17777 0
vsize: 71360
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 15280 0 0 0 84978 33 0 0 25 0 1 0 907421761 73949184 15200 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18054 15200 1111 63 0 17991 0
vsize: 72216
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 15486 0 0 0 85978 33 0 0 25 0 1 0 907421761 74698752 15406 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15406 1111 63 0 18174 0
vsize: 72948
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 15692 0 0 0 86978 34 0 0 25 0 1 0 907421761 75603968 15612 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 15612 1111 63 0 18395 0
vsize: 73832
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 15900 0 0 0 87978 34 0 0 25 0 1 0 907421761 76505088 15820 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18678 15820 1111 63 0 18615 0
vsize: 74712
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 16113 0 0 0 88977 35 0 0 25 0 1 0 907421761 77262848 16033 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18863 16033 1111 63 0 18800 0
vsize: 75452
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 16326 0 0 0 89977 35 0 0 25 0 1 0 907421761 78163968 16246 4294967295 134512640 134716908 3221224560 3221223108 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16246 1111 63 0 19020 0
vsize: 76332
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 16538 0 0 0 90977 35 0 0 25 0 1 0 907421761 79069184 16458 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 16458 1111 63 0 19241 0
vsize: 77216
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 16786 0 0 0 91977 36 0 0 25 0 1 0 907421761 80326656 16706 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19611 16706 1111 63 0 19548 0
vsize: 78444
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 16999 0 0 0 92977 36 0 0 25 0 1 0 907421761 81203200 16919 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19825 16919 1111 63 0 19762 0
vsize: 79300
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 17221 0 0 0 93977 36 0 0 25 0 1 0 907421761 82104320 17141 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 17141 1111 63 0 19982 0
vsize: 80180
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 17435 0 0 0 94976 37 0 0 25 0 1 0 907421761 83009536 17355 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 17355 1111 63 0 20203 0
vsize: 81064
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 17656 0 0 0 95976 37 0 0 25 0 1 0 907421761 83910656 17576 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20486 17576 1111 63 0 20423 0
vsize: 81944
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 17877 0 0 0 96976 38 0 0 25 0 1 0 907421761 84815872 17797 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20707 17797 1111 63 0 20644 0
vsize: 82828
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 18098 0 0 0 97975 39 0 0 25 0 1 0 907421761 85716992 18018 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20927 18018 1111 63 0 20864 0
vsize: 83708
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 18321 0 0 0 98976 39 0 0 25 0 1 0 907421761 86622208 18241 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21148 18241 1111 63 0 21085 0
vsize: 84592
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 18548 0 0 0 99976 39 0 0 25 0 1 0 907421761 87523328 18468 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21368 18468 1111 63 0 21305 0
vsize: 85472
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 18777 0 0 0 100975 40 0 0 25 0 1 0 907421761 88428544 18697 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 18697 1111 63 0 21526 0
vsize: 86356
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 18999 0 0 0 101975 40 0 0 25 0 1 0 907421761 89329664 18919 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21809 18919 1111 63 0 21746 0
vsize: 87236
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 19235 0 0 0 102975 40 0 0 25 0 1 0 907421761 90353664 19155 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22059 19155 1111 63 0 21996 0
vsize: 88236
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 19470 0 0 0 103975 40 0 0 25 0 1 0 907421761 91254784 19390 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22279 19390 1111 63 0 22216 0
vsize: 89116
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 19700 0 0 0 104975 41 0 0 25 0 1 0 907421761 92160000 19620 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 19620 1111 63 0 22437 0
vsize: 90000
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 19929 0 0 0 105975 41 0 0 25 0 1 0 907421761 93208576 19849 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22756 19849 1111 63 0 22693 0
vsize: 91024
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 20165 0 0 0 106974 42 0 0 25 0 1 0 907421761 94113792 20085 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22977 20085 1111 63 0 22914 0
vsize: 91908
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 20414 0 0 0 107974 42 0 0 25 0 1 0 907421761 95166464 20334 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20334 1111 63 0 23171 0
vsize: 92936
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 20651 0 0 0 108974 43 0 0 25 0 1 0 907421761 96067584 20571 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 20571 1111 63 0 23391 0
vsize: 93816
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 20894 0 0 0 109974 43 0 0 25 0 1 0 907421761 97120256 20814 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23711 20814 1111 63 0 23648 0
vsize: 94844
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 21137 0 0 0 110974 43 0 0 25 0 1 0 907421761 98021376 21057 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23931 21057 1111 63 0 23868 0
vsize: 95724
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 21389 0 0 0 111973 44 0 0 25 0 1 0 907421761 99078144 21309 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24189 21309 1111 63 0 24126 0
vsize: 96756
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 21640 0 0 0 112973 44 0 0 25 0 1 0 907421761 100134912 21560 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24447 21560 1111 63 0 24384 0
vsize: 97788
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 21890 0 0 0 113973 45 0 0 25 0 1 0 907421761 101187584 21810 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24704 21810 1111 63 0 24641 0
vsize: 98816
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 22155 0 0 0 114972 46 0 0 25 0 1 0 907421761 102240256 22075 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24961 22075 1111 63 0 24898 0
vsize: 99844
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 22413 0 0 0 115972 46 0 0 25 0 1 0 907421761 103292928 22333 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25218 22334 1111 63 0 25155 0
vsize: 100872
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 22686 0 0 0 116971 47 0 0 25 0 1 0 907421761 104345600 22606 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25475 22606 1111 63 0 25412 0
vsize: 101900
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 22953 0 0 0 117971 47 0 0 25 0 1 0 907421761 105553920 22873 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25770 22873 1111 63 0 25707 0
vsize: 103080
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 23233 0 0 0 118971 48 0 0 25 0 1 0 907421761 106606592 23153 4294967295 134512640 134716908 3221224560 3221222428 1077245808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26027 23153 1111 63 0 25964 0
vsize: 104108
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) R 9377 21152 21151 0 -1 0 23511 0 0 0 119971 48 0 0 25 0 1 0 907421761 107806720 23431 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26320 23431 1111 63 0 26257 0
vsize: 105280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9378
Raw data (stat): 9378 (bsolo_lpr_cuts-) Z 9377 21152 21151 0 -1 1036 23511 0 0 0 119971 52 0 0 25 0 1 0 907421761 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.07
CPU time (s): 1200.24
CPU user time (s): 1199.71
CPU system time (s): 0.527919
CPU usage (%): 100.014
Max. virtual memory (Kb): 105280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####