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 27296

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 20:40:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17708 boxname=wulflinc19 idbench=1363 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 17708
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        877140 kB
Buffers:         24424 kB
Cached:         105752 kB
SwapCached:        520 kB
Active:          38952 kB
Inactive:        93608 kB
HighTotal:      131008 kB
HighFree:        55020 kB
LowTotal:       903652 kB
LowFree:        822120 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19352 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:00:35 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 17708 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.95 0.91 2/54 14696
Raw data (stat): 14696 (runsolver) R 14695 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833185088 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 1701 0 0 0 992 5 0 0 25 0 1 0 833185088 16723968 1625 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 1625 1111 63 0 4020 0
vsize: 16332
[startup+20.0036 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 1976 0 0 0 1992 6 0 0 25 0 1 0 833185088 17895424 1900 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1900 1111 63 0 4306 0
vsize: 17476
[startup+30.0034 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2120 0 0 0 2992 6 0 0 25 0 1 0 833185088 18436096 2044 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 2044 1111 63 0 4438 0
vsize: 18004
[startup+40.0123 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2240 0 0 0 3993 6 0 0 25 0 1 0 833185088 18980864 2164 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 2164 1111 63 0 4571 0
vsize: 18536
[startup+50.017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2386 0 0 0 4993 7 0 0 25 0 1 0 833185088 19525632 2310 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 2310 1111 63 0 4704 0
vsize: 19068
[startup+60.0171 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2525 0 0 0 5993 7 0 0 25 0 1 0 833185088 20066304 2449 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4899 2449 1111 63 0 4836 0
vsize: 19596
[startup+70.0179 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2669 0 0 0 6993 7 0 0 25 0 1 0 833185088 20606976 2593 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 2593 1111 63 0 4968 0
vsize: 20124
[startup+80.0232 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2830 0 0 0 7993 8 0 0 25 0 1 0 833185088 21291008 2754 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 2754 1111 63 0 5135 0
vsize: 20792
[startup+90.0233 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 2957 0 0 0 8992 8 0 0 25 0 1 0 833185088 21835776 2881 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 2881 1111 63 0 5268 0
vsize: 21324
[startup+100.023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3089 0 0 0 9992 9 0 0 25 0 1 0 833185088 22376448 3013 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5463 3013 1111 63 0 5400 0
vsize: 21852
[startup+110.023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3217 0 0 0 10992 9 0 0 25 0 1 0 833185088 22925312 3141 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 3141 1111 63 0 5534 0
vsize: 22388
[startup+120.024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3349 0 0 0 11992 10 0 0 25 0 1 0 833185088 23470080 3273 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5730 3273 1111 63 0 5667 0
vsize: 22920
[startup+130.024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3471 0 0 0 12992 10 0 0 25 0 1 0 833185088 24018944 3395 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 3395 1111 63 0 5801 0
vsize: 23456
[startup+140.025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3597 0 0 0 13992 10 0 0 25 0 1 0 833185088 24428544 3521 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 3521 1111 63 0 5901 0
vsize: 23856
[startup+150.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3740 0 0 0 14992 11 0 0 25 0 1 0 833185088 25104384 3664 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6129 3664 1111 63 0 6066 0
vsize: 24516
[startup+160.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 3882 0 0 0 15991 11 0 0 25 0 1 0 833185088 25649152 3806 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3806 1111 63 0 6199 0
vsize: 25048
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4026 0 0 0 16991 11 0 0 25 0 1 0 833185088 26189824 3950 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3950 1111 63 0 6331 0
vsize: 25576
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4165 0 0 0 17991 11 0 0 25 0 1 0 833185088 26865664 4089 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6559 4089 1111 63 0 6496 0
vsize: 26236
[startup+190.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4299 0 0 0 18992 11 0 0 25 0 1 0 833185088 27414528 4223 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 4223 1111 63 0 6630 0
vsize: 26772
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4432 0 0 0 19991 12 0 0 25 0 1 0 833185088 27959296 4356 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 4356 1111 63 0 6763 0
vsize: 27304
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4584 0 0 0 20991 13 0 0 25 0 1 0 833185088 28499968 4508 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6958 4508 1111 63 0 6895 0
vsize: 27832
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4747 0 0 0 21990 13 0 0 25 0 1 0 833185088 29196288 4671 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7128 4671 1111 63 0 7065 0
vsize: 28512
[startup+230.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 4873 0 0 0 22990 13 0 0 25 0 1 0 833185088 29741056 4797 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7261 4797 1111 63 0 7198 0
vsize: 29044
[startup+240.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5014 0 0 0 23990 14 0 0 25 0 1 0 833185088 30285824 4938 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 4938 1111 63 0 7331 0
vsize: 29576
[startup+250.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5158 0 0 0 24990 14 0 0 25 0 1 0 833185088 30826496 5082 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5082 1111 63 0 7463 0
vsize: 30104
[startup+260.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5310 0 0 0 25990 15 0 0 25 0 1 0 833185088 31522816 5234 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 5234 1111 63 0 7633 0
vsize: 30784
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5442 0 0 0 26989 15 0 0 25 0 1 0 833185088 32071680 5366 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7830 5366 1111 63 0 7767 0
vsize: 31320
[startup+280.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5581 0 0 0 27989 16 0 0 25 0 1 0 833185088 32632832 5505 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7967 5505 1111 63 0 7904 0
vsize: 31868
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5715 0 0 0 28989 16 0 0 25 0 1 0 833185088 33177600 5639 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8100 5639 1111 63 0 8037 0
vsize: 32400
[startup+300.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5866 0 0 0 29989 16 0 0 25 0 1 0 833185088 33722368 5790 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8233 5790 1111 63 0 8170 0
vsize: 32932
[startup+310.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 5999 0 0 0 30989 16 0 0 25 0 1 0 833185088 34287616 5923 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8371 5923 1111 63 0 8308 0
vsize: 33484
[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6133 0 0 0 31989 17 0 0 25 0 1 0 833185088 34836480 6057 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6057 1111 63 0 8442 0
vsize: 34020
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6290 0 0 0 32988 17 0 0 25 0 1 0 833185088 35532800 6214 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 6214 1111 63 0 8612 0
vsize: 34700
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6428 0 0 0 33988 18 0 0 25 0 1 0 833185088 36073472 6352 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8807 6352 1111 63 0 8744 0
vsize: 35228
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6576 0 0 0 34988 18 0 0 25 0 1 0 833185088 36753408 6500 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8973 6500 1111 63 0 8910 0
vsize: 35892
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6726 0 0 0 35988 18 0 0 25 0 1 0 833185088 37314560 6650 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6650 1111 63 0 9047 0
vsize: 36440
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6860 0 0 0 36988 19 0 0 25 0 1 0 833185088 37859328 6784 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 6784 1111 63 0 9180 0
vsize: 36972
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 6999 0 0 0 37988 19 0 0 25 0 1 0 833185088 38400000 6923 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 6923 1111 63 0 9312 0
vsize: 37500
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7156 0 0 0 38988 19 0 0 25 0 1 0 833185088 39075840 7080 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9540 7080 1111 63 0 9477 0
vsize: 38160
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7315 0 0 0 39988 19 0 0 25 0 1 0 833185088 39645184 7239 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9679 7239 1111 63 0 9616 0
vsize: 38716
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7454 0 0 0 40987 20 0 0 25 0 1 0 833185088 40210432 7378 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9817 7378 1111 63 0 9754 0
vsize: 39268
[startup+420.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7601 0 0 0 41987 20 0 0 25 0 1 0 833185088 40914944 7525 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 7525 1111 63 0 9926 0
vsize: 39956
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7745 0 0 0 42987 20 0 0 25 0 1 0 833185088 41455616 7669 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 7669 1111 63 0 10058 0
vsize: 40484
[startup+440.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 7891 0 0 0 43987 20 0 0 25 0 1 0 833185088 42020864 7815 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10259 7815 1111 63 0 10196 0
vsize: 41036
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8038 0 0 0 44987 21 0 0 25 0 1 0 833185088 42700800 7962 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 7962 1111 63 0 10362 0
vsize: 41700
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8182 0 0 0 45987 21 0 0 25 0 1 0 833185088 43241472 8106 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10557 8106 1111 63 0 10494 0
vsize: 42228
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8315 0 0 0 46986 22 0 0 25 0 1 0 833185088 43782144 8239 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10689 8239 1111 63 0 10626 0
vsize: 42756
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8461 0 0 0 47986 22 0 0 25 0 1 0 833185088 44331008 8385 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10823 8385 1111 63 0 10760 0
vsize: 43292
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8606 0 0 0 48986 22 0 0 25 0 1 0 833185088 45031424 8530 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10994 8530 1111 63 0 10931 0
vsize: 43976
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8765 0 0 0 49986 23 0 0 25 0 1 0 833185088 45600768 8689 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11133 8689 1111 63 0 11070 0
vsize: 44532
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 8897 0 0 0 50986 23 0 0 25 0 1 0 833185088 46141440 8821 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11265 8821 1111 63 0 11202 0
vsize: 45060
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9061 0 0 0 51986 23 0 0 25 0 1 0 833185088 46837760 8985 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11435 8985 1111 63 0 11372 0
vsize: 45740
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9201 0 0 0 52986 23 0 0 25 0 1 0 833185088 47382528 9125 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11568 9125 1111 63 0 11505 0
vsize: 46272
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9362 0 0 0 53986 24 0 0 25 0 1 0 833185088 48128000 9286 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11750 9286 1111 63 0 11687 0
vsize: 47000
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9509 0 0 0 54986 24 0 0 25 0 1 0 833185088 48807936 9433 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11916 9433 1111 63 0 11853 0
vsize: 47664
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9643 0 0 0 55985 24 0 0 25 0 1 0 833185088 49348608 9567 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12048 9567 1111 63 0 11985 0
vsize: 48192
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9806 0 0 0 56986 24 0 0 25 0 1 0 833185088 49909760 9730 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12185 9730 1111 63 0 12122 0
vsize: 48740
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 9940 0 0 0 57985 25 0 0 25 0 1 0 833185088 50458624 9864 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12319 9864 1111 63 0 12256 0
vsize: 49276
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10078 0 0 0 58985 26 0 0 25 0 1 0 833185088 51134464 10002 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12484 10002 1111 63 0 12421 0
vsize: 49936
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10219 0 0 0 59985 26 0 0 25 0 1 0 833185088 51675136 10143 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12616 10143 1111 63 0 12553 0
vsize: 50464
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10377 0 0 0 60985 26 0 0 25 0 1 0 833185088 52224000 10301 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12750 10301 1111 63 0 12687 0
vsize: 51000
[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10505 0 0 0 61985 26 0 0 25 0 1 0 833185088 52764672 10429 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12882 10429 1111 63 0 12819 0
vsize: 51528
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10657 0 0 0 62985 27 0 0 25 0 1 0 833185088 53444608 10581 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13048 10581 1111 63 0 12985 0
vsize: 52192
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10820 0 0 0 63984 27 0 0 25 0 1 0 833185088 54140928 10744 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13218 10744 1111 63 0 13155 0
vsize: 52872
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 10959 0 0 0 64984 28 0 0 25 0 1 0 833185088 54681600 10883 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13350 10883 1111 63 0 13287 0
vsize: 53400
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11112 0 0 0 65984 28 0 0 25 0 1 0 833185088 55361536 11036 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13516 11036 1111 63 0 13453 0
vsize: 54064
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11264 0 0 0 66984 28 0 0 25 0 1 0 833185088 55926784 11188 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13654 11188 1111 63 0 13591 0
vsize: 54616
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11405 0 0 0 67984 28 0 0 25 0 1 0 833185088 56475648 11329 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13788 11329 1111 63 0 13725 0
vsize: 55152
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11557 0 0 0 68984 29 0 0 25 0 1 0 833185088 57171968 11481 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13958 11481 1111 63 0 13895 0
vsize: 55832
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11708 0 0 0 69983 29 0 0 25 0 1 0 833185088 57712640 11632 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11632 1111 63 0 14027 0
vsize: 56360
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11855 0 0 0 70983 30 0 0 25 0 1 0 833185088 58392576 11779 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14256 11779 1111 63 0 14193 0
vsize: 57024
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 11999 0 0 0 71983 30 0 0 25 0 1 0 833185088 58933248 11923 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14388 11923 1111 63 0 14325 0
vsize: 57552
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12159 0 0 0 72983 30 0 0 25 0 1 0 833185088 59613184 12083 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14554 12083 1111 63 0 14491 0
vsize: 58216
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12311 0 0 0 73983 30 0 0 25 0 1 0 833185088 60153856 12235 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14686 12235 1111 63 0 14623 0
vsize: 58744
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12469 0 0 0 74984 30 0 0 25 0 1 0 833185088 60850176 12393 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14856 12393 1111 63 0 14793 0
vsize: 59424
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12609 0 0 0 75983 31 0 0 25 0 1 0 833185088 61394944 12533 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14989 12533 1111 63 0 14926 0
vsize: 59956
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12748 0 0 0 76983 31 0 0 25 0 1 0 833185088 61935616 12672 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15121 12672 1111 63 0 15058 0
vsize: 60484
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 12894 0 0 0 77983 32 0 0 25 0 1 0 833185088 62615552 12818 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15287 12818 1111 63 0 15224 0
vsize: 61148
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13039 0 0 0 78983 32 0 0 25 0 1 0 833185088 63156224 12963 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15419 12963 1111 63 0 15356 0
vsize: 61676
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13184 0 0 0 79983 32 0 0 25 0 1 0 833185088 63696896 13108 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15551 13108 1111 63 0 15488 0
vsize: 62204
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13325 0 0 0 80982 33 0 0 25 0 1 0 833185088 64376832 13249 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15717 13249 1111 63 0 15654 0
vsize: 62868
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13471 0 0 0 81982 33 0 0 25 0 1 0 833185088 64917504 13395 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15849 13395 1111 63 0 15786 0
vsize: 63396
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13588 0 0 0 82982 34 0 0 25 0 1 0 833185088 65474560 13512 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 13512 1111 63 0 15922 0
vsize: 63940
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13697 0 0 0 83982 34 0 0 25 0 1 0 833185088 65896448 13621 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16088 13621 1111 63 0 16025 0
vsize: 64352
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13813 0 0 0 84982 34 0 0 25 0 1 0 833185088 66314240 13737 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 13737 1111 63 0 16127 0
vsize: 64760
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 13925 0 0 0 85981 34 0 0 25 0 1 0 833185088 66744320 13849 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16295 13849 1111 63 0 16232 0
vsize: 65180
[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14035 0 0 0 86981 35 0 0 25 0 1 0 833185088 67301376 13959 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13959 1111 63 0 16368 0
vsize: 65724
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14145 0 0 0 87982 35 0 0 25 0 1 0 833185088 67723264 14069 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16534 14069 1111 63 0 16471 0
vsize: 66136
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14263 0 0 0 88981 35 0 0 25 0 1 0 833185088 68149248 14187 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16638 14187 1111 63 0 16575 0
vsize: 66552
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14372 0 0 0 89981 36 0 0 25 0 1 0 833185088 68571136 14296 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16741 14296 1111 63 0 16678 0
vsize: 66964
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14483 0 0 0 90981 36 0 0 25 0 1 0 833185088 69136384 14407 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16879 14407 1111 63 0 16816 0
vsize: 67516
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14594 0 0 0 91981 36 0 0 25 0 1 0 833185088 69558272 14518 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16982 14518 1111 63 0 16919 0
vsize: 67928
[startup+930.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14704 0 0 0 92981 37 0 0 25 0 1 0 833185088 69976064 14628 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 14628 1111 63 0 17021 0
vsize: 68336
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14815 0 0 0 93980 37 0 0 25 0 1 0 833185088 70406144 14739 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17189 14739 1111 63 0 17126 0
vsize: 68756
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 14926 0 0 0 94980 37 0 0 25 0 1 0 833185088 70823936 14850 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 14850 1111 63 0 17228 0
vsize: 69164
[startup+960.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15035 0 0 0 95981 37 0 0 25 0 1 0 833185088 71385088 14959 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 14959 1111 63 0 17365 0
vsize: 69712
[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15152 0 0 0 96981 38 0 0 25 0 1 0 833185088 71811072 15076 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17532 15076 1111 63 0 17469 0
vsize: 70128
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15262 0 0 0 97981 38 0 0 25 0 1 0 833185088 72232960 15186 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 15186 1111 63 0 17572 0
vsize: 70540
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15380 0 0 0 98980 38 0 0 25 0 1 0 833185088 72798208 15304 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17773 15304 1111 63 0 17710 0
vsize: 71092
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15489 0 0 0 99981 38 0 0 25 0 1 0 833185088 73220096 15413 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 15413 1111 63 0 17813 0
vsize: 71504
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15599 0 0 0 100980 39 0 0 25 0 1 0 833185088 73637888 15523 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17978 15523 1111 63 0 17915 0
vsize: 71912
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15710 0 0 0 101981 39 0 0 25 0 1 0 833185088 74067968 15634 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 15634 1111 63 0 18020 0
vsize: 72332
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15820 0 0 0 102981 39 0 0 25 0 1 0 833185088 74485760 15744 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18185 15744 1111 63 0 18122 0
vsize: 72740
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 15972 0 0 0 103980 39 0 0 25 0 1 0 833185088 75210752 15896 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18362 15896 1111 63 0 18299 0
vsize: 73448
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16072 0 0 0 104980 39 0 0 25 0 1 0 833185088 75636736 15996 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18466 15996 1111 63 0 18403 0
vsize: 73864
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16182 0 0 0 105980 39 0 0 25 0 1 0 833185088 76197888 16106 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18603 16106 1111 63 0 18540 0
vsize: 74412
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16306 0 0 0 106980 40 0 0 25 0 1 0 833185088 76623872 16230 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18707 16230 1111 63 0 18644 0
vsize: 74828
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16416 0 0 0 107980 40 0 0 25 0 1 0 833185088 77045760 16340 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18810 16340 1111 63 0 18747 0
vsize: 75240
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16541 0 0 0 108980 40 0 0 25 0 1 0 833185088 77602816 16465 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18946 16465 1111 63 0 18883 0
vsize: 75784
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16652 0 0 0 109980 41 0 0 25 0 1 0 833185088 78032896 16576 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 16576 1111 63 0 18988 0
vsize: 76204
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16774 0 0 0 110980 41 0 0 25 0 1 0 833185088 78589952 16698 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 16698 1111 63 0 19124 0
vsize: 76748
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 16886 0 0 0 111980 41 0 0 25 0 1 0 833185088 79015936 16810 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 16810 1111 63 0 19228 0
vsize: 77164
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17002 0 0 0 112980 41 0 0 25 0 1 0 833185088 79437824 16926 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19394 16926 1111 63 0 19331 0
vsize: 77576
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17120 0 0 0 113980 42 0 0 25 0 1 0 833185088 79998976 17044 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19531 17044 1111 63 0 19468 0
vsize: 78124
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17231 0 0 0 114980 42 0 0 25 0 1 0 833185088 80424960 17155 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19635 17155 1111 63 0 19572 0
vsize: 78540
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17354 0 0 0 115980 42 0 0 25 0 1 0 833185088 80986112 17278 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19772 17278 1111 63 0 19709 0
vsize: 79088
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14696
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17466 0 0 0 116980 42 0 0 25 0 1 0 833185088 81412096 17390 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19876 17390 1111 63 0 19813 0
vsize: 79504
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14749
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17582 0 0 0 117979 43 0 0 25 0 1 0 833185088 81833984 17506 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17506 1111 63 0 19916 0
vsize: 79916
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14749
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17698 0 0 0 118979 43 0 0 25 0 1 0 833185088 82395136 17622 4294967295 134512640 134714508 3221224576 3221222804 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14749
Raw data (stat): 14696 (bsolo_lpr_cuts) R 14695 10795 10794 0 -1 0 17816 0 0 0 119979 43 0 0 25 0 1 0 833185088 82821120 17740 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20220 17740 1111 63 0 20157 0
vsize: 80880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14749
Raw data (stat): 14696 (bsolo_lpr_cuts) Z 14695 10795 10794 0 -1 1036 17816 0 0 0 119979 47 0 0 25 0 1 0 833185088 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.1
CPU time (s): 1200.26
CPU user time (s): 1199.79
CPU system time (s): 0.470928
CPU usage (%): 100.014
Max. virtual memory (Kb): 80880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####