PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29705729356859
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29705729356859
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28151

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 00:50:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14107 boxname=wulflinc13 idbench=1086 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 14107
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        743008 kB
Buffers:         23796 kB
Cached:         246988 kB
SwapCached:        604 kB
Active:          42780 kB
Inactive:       230676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742756 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6152 kB
Slab:            12540 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:11:00 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 14107 7 1200.18 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.87 0.94 0.90 2/54 6881
Raw data (stat): 6881 (runsolver) R 6880 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776480182 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1295 0 0 0 977 4 0 0 25 0 1 0 776480182 15511552 1219 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0008 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1405 0 0 0 1977 5 0 0 25 0 1 0 776480182 15941632 1329 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1508 0 0 0 2977 5 0 0 25 0 1 0 776480182 16379904 1432 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1618 0 0 0 3977 5 0 0 25 0 1 0 776480182 16834560 1542 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1730 0 0 0 4977 5 0 0 25 0 1 0 776480182 17264640 1654 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1834 0 0 0 5977 6 0 0 25 0 1 0 776480182 17715200 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1943 0 0 0 6977 6 0 0 25 0 1 0 776480182 18161664 1867 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1867 1111 63 0 4371 0
vsize: 17736
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2053 0 0 0 7977 6 0 0 25 0 1 0 776480182 18616320 1977 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0049 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2162 0 0 0 8977 6 0 0 25 0 1 0 776480182 19058688 2086 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2277 0 0 0 9977 6 0 0 25 0 1 0 776480182 19501056 2201 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2381 0 0 0 10978 7 0 0 25 0 1 0 776480182 19955712 2305 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2491 0 0 0 11978 7 0 0 25 0 1 0 776480182 20402176 2415 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2415 1111 63 0 4918 0
vsize: 19924
[startup+130.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2600 0 0 0 12978 7 0 0 25 0 1 0 776480182 20856832 2524 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2710 0 0 0 13978 7 0 0 25 0 1 0 776480182 21299200 2634 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2819 0 0 0 14978 7 0 0 25 0 1 0 776480182 21725184 2743 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2924 0 0 0 15978 8 0 0 25 0 1 0 776480182 22171648 2848 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2848 1111 63 0 5350 0
vsize: 21652
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3038 0 0 0 16977 8 0 0 25 0 1 0 776480182 22622208 2962 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2962 1111 63 0 5460 0
vsize: 22092
[startup+180.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3143 0 0 0 17979 8 0 0 25 0 1 0 776480182 23072768 3067 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3258 0 0 0 18980 8 0 0 25 0 1 0 776480182 23662592 3182 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3182 1111 63 0 5714 0
vsize: 23108
[startup+200.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3369 0 0 0 19984 9 0 0 25 0 1 0 776480182 24113152 3293 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3479 0 0 0 20984 9 0 0 25 0 1 0 776480182 24559616 3403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3403 1111 63 0 5933 0
vsize: 23984
[startup+220.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3589 0 0 0 21984 9 0 0 25 0 1 0 776480182 25010176 3513 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.077 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3699 0 0 0 22984 9 0 0 25 0 1 0 776480182 25460736 3623 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.076 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3810 0 0 0 23984 9 0 0 25 0 1 0 776480182 25911296 3734 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3919 0 0 0 24984 9 0 0 25 0 1 0 776480182 26357760 3843 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4030 0 0 0 25984 9 0 0 25 0 1 0 776480182 26804224 3954 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4140 0 0 0 26984 9 0 0 25 0 1 0 776480182 27258880 4064 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4064 1111 63 0 6592 0
vsize: 26620
[startup+280.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4251 0 0 0 27984 10 0 0 25 0 1 0 776480182 27705344 4175 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4360 0 0 0 28984 10 0 0 25 0 1 0 776480182 28160000 4284 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4471 0 0 0 29984 10 0 0 25 0 1 0 776480182 28602368 4395 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4395 1111 63 0 6920 0
vsize: 27932
[startup+310.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4581 0 0 0 30984 11 0 0 25 0 1 0 776480182 29028352 4505 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4505 1111 63 0 7024 0
vsize: 28348
[startup+320.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4691 0 0 0 31984 11 0 0 25 0 1 0 776480182 29474816 4615 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4615 1111 63 0 7133 0
vsize: 28784
[startup+330.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4800 0 0 0 32984 11 0 0 25 0 1 0 776480182 29925376 4724 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4724 1111 63 0 7243 0
vsize: 29224
[startup+340.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4911 0 0 0 33984 11 0 0 25 0 1 0 776480182 30375936 4835 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4835 1111 63 0 7353 0
vsize: 29664
[startup+350.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5026 0 0 0 34984 11 0 0 25 0 1 0 776480182 30826496 4950 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4950 1111 63 0 7463 0
vsize: 30104
[startup+360.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5142 0 0 0 35985 11 0 0 25 0 1 0 776480182 31309824 5066 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5066 1111 63 0 7581 0
vsize: 30576
[startup+370.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5258 0 0 0 36984 12 0 0 25 0 1 0 776480182 31760384 5182 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5182 1111 63 0 7691 0
vsize: 31016
[startup+380.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5369 0 0 0 37985 12 0 0 25 0 1 0 776480182 32210944 5293 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5293 1111 63 0 7801 0
vsize: 31456
[startup+390.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5478 0 0 0 38985 12 0 0 25 0 1 0 776480182 32661504 5402 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5589 0 0 0 39985 12 0 0 25 0 1 0 776480182 33107968 5513 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5513 1111 63 0 8020 0
vsize: 32332
[startup+410.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5699 0 0 0 40985 12 0 0 25 0 1 0 776480182 33558528 5623 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5623 1111 63 0 8130 0
vsize: 32772
[startup+420.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5810 0 0 0 41986 12 0 0 25 0 1 0 776480182 34009088 5734 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5734 1111 63 0 8240 0
vsize: 33212
[startup+430.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5921 0 0 0 42986 13 0 0 25 0 1 0 776480182 34459648 5845 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5845 1111 63 0 8350 0
vsize: 33652
[startup+440.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6037 0 0 0 43986 13 0 0 25 0 1 0 776480182 35061760 5961 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5961 1111 63 0 8497 0
vsize: 34240
[startup+450.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6148 0 0 0 44986 13 0 0 25 0 1 0 776480182 35508224 6072 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6072 1111 63 0 8606 0
vsize: 34676
[startup+460.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6258 0 0 0 45986 13 0 0 25 0 1 0 776480182 35958784 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6375 0 0 0 46986 14 0 0 25 0 1 0 776480182 36409344 6299 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6299 1111 63 0 8826 0
vsize: 35556
[startup+480.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6480 0 0 0 47986 14 0 0 25 0 1 0 776480182 36859904 6404 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6404 1111 63 0 8936 0
vsize: 35996
[startup+490.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6595 0 0 0 48985 14 0 0 25 0 1 0 776480182 37306368 6519 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6519 1111 63 0 9045 0
vsize: 36432
[startup+500.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6707 0 0 0 49985 15 0 0 25 0 1 0 776480182 37761024 6631 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6631 1111 63 0 9156 0
vsize: 36876
[startup+510.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6816 0 0 0 50985 15 0 0 25 0 1 0 776480182 38207488 6740 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6934 0 0 0 51985 15 0 0 25 0 1 0 776480182 38658048 6858 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6858 1111 63 0 9375 0
vsize: 37752
[startup+530.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7044 0 0 0 52985 15 0 0 25 0 1 0 776480182 39108608 6968 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6968 1111 63 0 9485 0
vsize: 38192
[startup+540.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6881
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7156 0 0 0 53985 15 0 0 25 0 1 0 776480182 39559168 7080 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7080 1111 63 0 9595 0
vsize: 38632
[startup+550.1 s]
Raw data (loadavg): 1.15 1.00 0.92 2/58 6924
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7271 0 0 0 54985 16 0 0 25 0 1 0 776480182 40005632 7195 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7195 1111 63 0 9704 0
vsize: 39068
[startup+560.1 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7383 0 0 0 55985 16 0 0 25 0 1 0 776480182 40456192 7307 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7307 1111 63 0 9814 0
vsize: 39508
[startup+570.1 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7493 0 0 0 56985 16 0 0 25 0 1 0 776480182 40906752 7417 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7417 1111 63 0 9924 0
vsize: 39948
[startup+580.1 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7611 0 0 0 57985 16 0 0 25 0 1 0 776480182 41357312 7535 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7535 1111 63 0 10034 0
vsize: 40388
[startup+590.099 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7726 0 0 0 58985 16 0 0 25 0 1 0 776480182 41951232 7650 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7650 1111 63 0 10179 0
vsize: 40968
[startup+600.1 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7837 0 0 0 59985 17 0 0 25 0 1 0 776480182 42405888 7761 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7761 1111 63 0 10290 0
vsize: 41412
[startup+610.101 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6934
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7948 0 0 0 60985 17 0 0 25 0 1 0 776480182 42852352 7872 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7872 1111 63 0 10399 0
vsize: 41848
[startup+620.1 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8065 0 0 0 61985 17 0 0 25 0 1 0 776480182 43307008 7989 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7989 1111 63 0 10510 0
vsize: 42292
[startup+630.101 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8175 0 0 0 62985 18 0 0 25 0 1 0 776480182 43753472 8099 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8099 1111 63 0 10619 0
vsize: 42728
[startup+640.101 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8286 0 0 0 63985 18 0 0 25 0 1 0 776480182 44183552 8210 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8210 1111 63 0 10724 0
vsize: 43148
[startup+650.101 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8402 0 0 0 64985 18 0 0 25 0 1 0 776480182 44621824 8326 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8326 1111 63 0 10831 0
vsize: 43576
[startup+660.101 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8520 0 0 0 65985 18 0 0 25 0 1 0 776480182 45072384 8444 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8444 1111 63 0 10941 0
vsize: 44016
[startup+670.101 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8629 0 0 0 66985 19 0 0 25 0 1 0 776480182 45522944 8553 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8553 1111 63 0 11051 0
vsize: 44456
[startup+680.105 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8740 0 0 0 67985 19 0 0 25 0 1 0 776480182 45973504 8664 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8664 1111 63 0 11161 0
vsize: 44896
[startup+690.105 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8856 0 0 0 68985 19 0 0 25 0 1 0 776480182 46567424 8780 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8780 1111 63 0 11306 0
vsize: 45476
[startup+700.105 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8973 0 0 0 69985 19 0 0 25 0 1 0 776480182 47022080 8897 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8897 1111 63 0 11417 0
vsize: 45920
[startup+710.106 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9103 0 0 0 70985 19 0 0 25 0 1 0 776480182 47579136 9027 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9027 1111 63 0 11553 0
vsize: 46464
[startup+720.106 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9214 0 0 0 71985 20 0 0 25 0 1 0 776480182 48144384 9138 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9138 1111 63 0 11691 0
vsize: 47016
[startup+730.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9330 0 0 0 72985 20 0 0 25 0 1 0 776480182 48590848 9254 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9254 1111 63 0 11800 0
vsize: 47452
[startup+740.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9447 0 0 0 73985 20 0 0 25 0 1 0 776480182 49041408 9371 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9371 1111 63 0 11910 0
vsize: 47892
[startup+750.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9564 0 0 0 74985 20 0 0 25 0 1 0 776480182 49491968 9488 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9488 1111 63 0 12020 0
vsize: 48332
[startup+760.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9677 0 0 0 75985 20 0 0 25 0 1 0 776480182 49942528 9601 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9601 1111 63 0 12130 0
vsize: 48772
[startup+770.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9786 0 0 0 76985 21 0 0 25 0 1 0 776480182 50388992 9710 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9710 1111 63 0 12239 0
vsize: 49208
[startup+780.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9904 0 0 0 77985 21 0 0 25 0 1 0 776480182 50958336 9828 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9828 1111 63 0 12378 0
vsize: 49764
[startup+790.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10020 0 0 0 78984 22 0 0 25 0 1 0 776480182 51408896 9944 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9944 1111 63 0 12488 0
vsize: 50204
[startup+800.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10139 0 0 0 79984 22 0 0 25 0 1 0 776480182 51859456 10063 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10063 1111 63 0 12598 0
vsize: 50644
[startup+810.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10256 0 0 0 80984 22 0 0 25 0 1 0 776480182 52310016 10180 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10180 1111 63 0 12708 0
vsize: 51084
[startup+820.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10366 0 0 0 81984 23 0 0 25 0 1 0 776480182 52760576 10290 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10290 1111 63 0 12818 0
vsize: 51524
[startup+830.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10484 0 0 0 82984 23 0 0 25 0 1 0 776480182 53207040 10408 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10408 1111 63 0 12927 0
vsize: 51960
[startup+840.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10595 0 0 0 83984 23 0 0 25 0 1 0 776480182 53657600 10519 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10519 1111 63 0 13037 0
vsize: 52400
[startup+850.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10713 0 0 0 84984 23 0 0 25 0 1 0 776480182 54259712 10637 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10637 1111 63 0 13184 0
vsize: 52988
[startup+860.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10829 0 0 0 85984 24 0 0 25 0 1 0 776480182 54710272 10753 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10753 1111 63 0 13294 0
vsize: 53428
[startup+870.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10947 0 0 0 86984 24 0 0 25 0 1 0 776480182 55160832 10871 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10871 1111 63 0 13404 0
vsize: 53868
[startup+880.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11064 0 0 0 87984 24 0 0 25 0 1 0 776480182 55607296 10988 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10988 1111 63 0 13513 0
vsize: 54304
[startup+890.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6936
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11176 0 0 0 88984 24 0 0 25 0 1 0 776480182 56057856 11100 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11100 1111 63 0 13623 0
vsize: 54744
[startup+900.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11292 0 0 0 89984 24 0 0 25 0 1 0 776480182 56508416 11216 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11216 1111 63 0 13733 0
vsize: 55184
[startup+910.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11410 0 0 0 90984 25 0 0 25 0 1 0 776480182 57110528 11334 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11334 1111 63 0 13880 0
vsize: 55772
[startup+920.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11527 0 0 0 91983 25 0 0 25 0 1 0 776480182 57552896 11451 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11451 1111 63 0 13988 0
vsize: 56204
[startup+930.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11640 0 0 0 92983 25 0 0 25 0 1 0 776480182 58007552 11564 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11564 1111 63 0 14099 0
vsize: 56648
[startup+940.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11756 0 0 0 93984 25 0 0 25 0 1 0 776480182 58454016 11680 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11680 1111 63 0 14208 0
vsize: 57084
[startup+950.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11874 0 0 0 94984 25 0 0 25 0 1 0 776480182 58908672 11798 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11798 1111 63 0 14319 0
vsize: 57528
[startup+960.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11990 0 0 0 95984 26 0 0 25 0 1 0 776480182 59351040 11914 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11914 1111 63 0 14427 0
vsize: 57960
[startup+970.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12109 0 0 0 96984 26 0 0 25 0 1 0 776480182 59953152 12033 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12033 1111 63 0 14574 0
vsize: 58548
[startup+980.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12226 0 0 0 97984 26 0 0 25 0 1 0 776480182 60403712 12150 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12150 1111 63 0 14684 0
vsize: 58988
[startup+990.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12343 0 0 0 98984 26 0 0 25 0 1 0 776480182 60854272 12267 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12267 1111 63 0 14794 0
vsize: 59428
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12461 0 0 0 99984 27 0 0 25 0 1 0 776480182 61300736 12385 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12385 1111 63 0 14903 0
vsize: 59864
[startup+1010.11 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12577 0 0 0 100984 27 0 0 25 0 1 0 776480182 61755392 12501 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12501 1111 63 0 15014 0
vsize: 60308
[startup+1020.11 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12696 0 0 0 101984 27 0 0 25 0 1 0 776480182 62353408 12620 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12620 1111 63 0 15160 0
vsize: 60892
[startup+1030.11 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12813 0 0 0 102984 27 0 0 25 0 1 0 776480182 62803968 12737 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12737 1111 63 0 15270 0
vsize: 61332
[startup+1040.11 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12930 0 0 0 103984 27 0 0 25 0 1 0 776480182 63254528 12854 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12854 1111 63 0 15380 0
vsize: 61772
[startup+1050.11 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13048 0 0 0 104984 27 0 0 25 0 1 0 776480182 63700992 12972 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12972 1111 63 0 15489 0
vsize: 62208
[startup+1060.11 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13167 0 0 0 105984 28 0 0 25 0 1 0 776480182 64155648 13091 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13091 1111 63 0 15600 0
vsize: 62652
[startup+1070.11 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13283 0 0 0 106984 28 0 0 25 0 1 0 776480182 64749568 13207 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13207 1111 63 0 15745 0
vsize: 63232
[startup+1080.11 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13401 0 0 0 107983 28 0 0 25 0 1 0 776480182 65204224 13325 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1090.11 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13518 0 0 0 108983 28 0 0 25 0 1 0 776480182 65650688 13442 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13442 1111 63 0 15965 0
vsize: 64112
[startup+1100.11 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13637 0 0 0 109984 28 0 0 25 0 1 0 776480182 66105344 13561 4294967295 134512640 134714508 3221224576 3221222804 1077414393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13561 1111 63 0 16076 0
vsize: 64556
[startup+1110.11 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13754 0 0 0 110984 29 0 0 25 0 1 0 776480182 66547712 13678 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13678 1111 63 0 16184 0
vsize: 64988
[startup+1120.11 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13872 0 0 0 111984 29 0 0 25 0 1 0 776480182 67149824 13796 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13796 1111 63 0 16331 0
vsize: 65576
[startup+1130.11 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13989 0 0 0 112984 29 0 0 25 0 1 0 776480182 67600384 13913 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13913 1111 63 0 16441 0
vsize: 66016
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14113 0 0 0 113983 30 0 0 25 0 1 0 776480182 68050944 14037 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14037 1111 63 0 16551 0
vsize: 66456
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14232 0 0 0 114983 30 0 0 25 0 1 0 776480182 68497408 14156 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14156 1111 63 0 16660 0
vsize: 66892
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14349 0 0 0 115983 30 0 0 25 0 1 0 776480182 69099520 14273 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14273 1111 63 0 16807 0
vsize: 67480
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14474 0 0 0 116983 31 0 0 25 0 1 0 776480182 69550080 14398 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14398 1111 63 0 16917 0
vsize: 67920
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14590 0 0 0 117983 31 0 0 25 0 1 0 776480182 70000640 14514 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14514 1111 63 0 17027 0
vsize: 68360
[startup+1190.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14709 0 0 0 118983 31 0 0 25 0 1 0 776480182 70451200 14633 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14633 1111 63 0 17137 0
vsize: 68800
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14826 0 0 0 119982 32 0 0 25 0 1 0 776480182 71045120 14750 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14750 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.01 0.93 1/54 6938
Raw data (stat): 6881 (bsolo_lpr_cuts) Z 6880 1269 1268 0 -1 1036 14826 0 0 0 119982 35 0 0 25 0 1 0 776480182 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.18
CPU user time (s): 1199.83
CPU system time (s): 0.350946
CPU usage (%): 100.003
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####