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/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
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	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 28394

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 02:06:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13028 boxname=wulflinc12 idbench=1003 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 13028
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        397624 kB
Buffers:         37492 kB
Cached:         578020 kB
SwapCached:        568 kB
Active:         227684 kB
Inactive:       390264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        397372 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13436 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:26:46 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 13028 7 1200.67 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): 1.11 1.02 0.93 2/54 7399
Raw data (stat): 7399 (runsolver) R 7398 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776921644 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.0005 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2284 0 0 0 988 9 0 0 25 0 1 0 776921644 15216640 2208 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2208 1111 63 0 3652 0
vsize: 14860
[startup+20.0014 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2308 0 0 0 1988 9 0 0 25 0 1 0 776921644 15372288 2232 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2232 1111 63 0 3690 0
vsize: 15012
[startup+30.0023 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2331 0 0 0 2988 9 0 0 25 0 1 0 776921644 15372288 2255 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2255 1111 63 0 3690 0
vsize: 15012
[startup+40.0025 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2354 0 0 0 3988 10 0 0 25 0 1 0 776921644 15507456 2278 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2278 1111 63 0 3723 0
vsize: 15144
[startup+50.0039 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2378 0 0 0 4988 10 0 0 25 0 1 0 776921644 15659008 2302 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2302 1111 63 0 3760 0
vsize: 15292
[startup+60.0037 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2402 0 0 0 5987 11 0 0 25 0 1 0 776921644 15659008 2326 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2326 1111 63 0 3760 0
vsize: 15292
[startup+70.0046 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2425 0 0 0 6987 11 0 0 25 0 1 0 776921644 15794176 2349 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3856 2349 1111 63 0 3793 0
vsize: 15424
[startup+80.0054 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2449 0 0 0 7987 12 0 0 25 0 1 0 776921644 15945728 2373 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2373 1111 63 0 3830 0
vsize: 15572
[startup+90.0053 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2472 0 0 0 8987 12 0 0 25 0 1 0 776921644 15945728 2396 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2396 1111 63 0 3830 0
vsize: 15572
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2502 0 0 0 9986 12 0 0 25 0 1 0 776921644 16080896 2426 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 2426 1111 63 0 3863 0
vsize: 15704
[startup+110.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2525 0 0 0 10987 12 0 0 25 0 1 0 776921644 16232448 2449 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2449 1111 63 0 3900 0
vsize: 15852
[startup+120.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2549 0 0 0 11987 13 0 0 25 0 1 0 776921644 16232448 2473 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2473 1111 63 0 3900 0
vsize: 15852
[startup+130.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2572 0 0 0 12987 13 0 0 25 0 1 0 776921644 16388096 2496 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2496 1111 63 0 3938 0
vsize: 16004
[startup+140.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2597 0 0 0 13987 13 0 0 25 0 1 0 776921644 16523264 2521 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4034 2521 1111 63 0 3971 0
vsize: 16136
[startup+150.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2626 0 0 0 14986 14 0 0 25 0 1 0 776921644 16678912 2550 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2550 1111 63 0 4009 0
vsize: 16288
[startup+160.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2653 0 0 0 15986 14 0 0 25 0 1 0 776921644 16678912 2577 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2577 1111 63 0 4009 0
vsize: 16288
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2676 0 0 0 16986 14 0 0 25 0 1 0 776921644 16818176 2600 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2600 1111 63 0 4043 0
vsize: 16424
[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2699 0 0 0 17986 15 0 0 25 0 1 0 776921644 16973824 2623 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 2623 1111 63 0 4081 0
vsize: 16576
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2722 0 0 0 18986 15 0 0 25 0 1 0 776921644 16973824 2646 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 2646 1111 63 0 4081 0
vsize: 16576
[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2746 0 0 0 19986 15 0 0 25 0 1 0 776921644 17108992 2670 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 2670 1111 63 0 4114 0
vsize: 16708
[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2771 0 0 0 20986 15 0 0 25 0 1 0 776921644 17264640 2695 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2695 1111 63 0 4152 0
vsize: 16860
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2800 0 0 0 21985 15 0 0 25 0 1 0 776921644 17264640 2724 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2724 1111 63 0 4152 0
vsize: 16860
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2824 0 0 0 22986 16 0 0 25 0 1 0 776921644 17399808 2748 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 2748 1111 63 0 4185 0
vsize: 16992
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2847 0 0 0 23985 16 0 0 25 0 1 0 776921644 17547264 2771 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2771 1111 63 0 4221 0
vsize: 17136
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2870 0 0 0 24985 16 0 0 25 0 1 0 776921644 17547264 2794 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2794 1111 63 0 4221 0
vsize: 17136
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2894 0 0 0 25985 16 0 0 25 0 1 0 776921644 17682432 2818 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4317 2818 1111 63 0 4254 0
vsize: 17268
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2917 0 0 0 26985 17 0 0 25 0 1 0 776921644 17833984 2841 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4354 2841 1111 63 0 4291 0
vsize: 17416
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2948 0 0 0 27985 17 0 0 25 0 1 0 776921644 17973248 2872 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4388 2872 1111 63 0 4325 0
vsize: 17552
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2971 0 0 0 28985 17 0 0 25 0 1 0 776921644 17973248 2895 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4388 2895 1111 63 0 4325 0
vsize: 17552
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 2994 0 0 0 29985 17 0 0 25 0 1 0 776921644 18120704 2918 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4424 2918 1111 63 0 4361 0
vsize: 17696
[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3018 0 0 0 30985 17 0 0 25 0 1 0 776921644 18255872 2942 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 2942 1111 63 0 4394 0
vsize: 17828
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3047 0 0 0 31985 18 0 0 25 0 1 0 776921644 18407424 2971 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4494 2971 1111 63 0 4431 0
vsize: 17976
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3069 0 0 0 32985 18 0 0 25 0 1 0 776921644 18407424 2993 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4494 2993 1111 63 0 4431 0
vsize: 17976
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3093 0 0 0 33984 18 0 0 25 0 1 0 776921644 18554880 3017 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3017 1111 63 0 4467 0
vsize: 18120
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3116 0 0 0 34984 18 0 0 25 0 1 0 776921644 18690048 3040 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3040 1111 63 0 4500 0
vsize: 18252
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3140 0 0 0 35984 19 0 0 25 0 1 0 776921644 18690048 3064 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3064 1111 63 0 4500 0
vsize: 18252
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3170 0 0 0 36984 19 0 0 25 0 1 0 776921644 18845696 3094 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3094 1111 63 0 4538 0
vsize: 18404
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3193 0 0 0 37984 19 0 0 25 0 1 0 776921644 18980864 3117 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3117 1111 63 0 4571 0
vsize: 18536
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3216 0 0 0 38984 20 0 0 25 0 1 0 776921644 18980864 3140 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3140 1111 63 0 4571 0
vsize: 18536
[startup+400.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3240 0 0 0 39985 20 0 0 25 0 1 0 776921644 19128320 3164 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3164 1111 63 0 4607 0
vsize: 18680
[startup+410.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3263 0 0 0 40984 20 0 0 25 0 1 0 776921644 19263488 3187 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3187 1111 63 0 4640 0
vsize: 18812
[startup+420.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3287 0 0 0 41985 20 0 0 25 0 1 0 776921644 19263488 3211 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3211 1111 63 0 4640 0
vsize: 18812
[startup+430.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3310 0 0 0 42985 21 0 0 25 0 1 0 776921644 19415040 3234 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3234 1111 63 0 4677 0
vsize: 18960
[startup+440.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3335 0 0 0 43985 21 0 0 25 0 1 0 776921644 19550208 3259 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3259 1111 63 0 4710 0
vsize: 19092
[startup+450.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3358 0 0 0 44988 21 0 0 25 0 1 0 776921644 19550208 3282 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3282 1111 63 0 4710 0
vsize: 19092
[startup+460.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3381 0 0 0 45989 21 0 0 25 0 1 0 776921644 19705856 3305 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 3305 1111 63 0 4748 0
vsize: 19244
[startup+470.102 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3404 0 0 0 46989 21 0 0 25 0 1 0 776921644 19861504 3328 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3328 1111 63 0 4786 0
vsize: 19396
[startup+480.102 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3427 0 0 0 47989 22 0 0 25 0 1 0 776921644 19861504 3351 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3351 1111 63 0 4786 0
vsize: 19396
[startup+490.105 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3450 0 0 0 48988 23 0 0 25 0 1 0 776921644 19996672 3374 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 3374 1111 63 0 4819 0
vsize: 19528
[startup+500.212 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3474 0 0 0 49998 23 0 0 25 0 1 0 776921644 20144128 3398 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3398 1111 63 0 4855 0
vsize: 19672
[startup+510.231 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3505 0 0 0 51000 24 0 0 25 0 1 0 776921644 20279296 3429 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3429 1111 63 0 4888 0
vsize: 19804
[startup+520.233 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3528 0 0 0 52000 24 0 0 25 0 1 0 776921644 20279296 3452 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3452 1111 63 0 4888 0
vsize: 19804
[startup+530.245 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3552 0 0 0 53001 24 0 0 25 0 1 0 776921644 20434944 3476 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 3476 1111 63 0 4926 0
vsize: 19956
[startup+540.262 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3575 0 0 0 54002 24 0 0 25 0 1 0 776921644 20434944 3499 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 3499 1111 63 0 4926 0
vsize: 19956
[startup+550.271 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3598 0 0 0 55003 25 0 0 25 0 1 0 776921644 20570112 3522 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5022 3522 1111 63 0 4959 0
vsize: 20088
[startup+560.273 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3622 0 0 0 56003 25 0 0 25 0 1 0 776921644 20717568 3546 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 3546 1111 63 0 4995 0
vsize: 20232
[startup+570.381 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3651 0 0 0 57014 25 0 0 25 0 1 0 776921644 20852736 3575 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5091 3575 1111 63 0 5028 0
vsize: 20364
[startup+580.381 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3676 0 0 0 58013 26 0 0 25 0 1 0 776921644 20852736 3600 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5091 3600 1111 63 0 5028 0
vsize: 20364
[startup+590.381 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3700 0 0 0 59013 26 0 0 25 0 1 0 776921644 21008384 3624 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3624 1111 63 0 5066 0
vsize: 20516
[startup+600.383 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3723 0 0 0 60013 27 0 0 25 0 1 0 776921644 21143552 3647 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3647 1111 63 0 5099 0
vsize: 20648
[startup+610.386 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3746 0 0 0 61013 27 0 0 25 0 1 0 776921644 21143552 3670 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3670 1111 63 0 5099 0
vsize: 20648
[startup+620.387 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3776 0 0 0 62013 27 0 0 25 0 1 0 776921644 21295104 3700 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 3700 1111 63 0 5136 0
vsize: 20796
[startup+630.394 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3793 0 0 0 63013 27 0 0 25 0 1 0 776921644 21450752 3717 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 3717 1111 63 0 5174 0
vsize: 20948
[startup+640.403 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3826 0 0 0 64014 28 0 0 25 0 1 0 776921644 21585920 3750 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5270 3750 1111 63 0 5207 0
vsize: 21080
[startup+650.404 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3852 0 0 0 65014 28 0 0 25 0 1 0 776921644 21721088 3776 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 3776 1111 63 0 5240 0
vsize: 21212
[startup+660.506 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3877 0 0 0 66025 28 0 0 25 0 1 0 776921644 21721088 3801 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 3801 1111 63 0 5240 0
vsize: 21212
[startup+670.507 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3900 0 0 0 67025 28 0 0 25 0 1 0 776921644 21856256 3824 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 3824 1111 63 0 5273 0
vsize: 21344
[startup+680.508 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3923 0 0 0 68025 28 0 0 25 0 1 0 776921644 22007808 3847 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3847 1111 63 0 5310 0
vsize: 21492
[startup+690.508 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3946 0 0 0 69025 28 0 0 25 0 1 0 776921644 22007808 3870 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3870 1111 63 0 5310 0
vsize: 21492
[startup+700.509 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3970 0 0 0 70025 28 0 0 25 0 1 0 776921644 22142976 3894 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 3894 1111 63 0 5343 0
vsize: 21624
[startup+710.51 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 3993 0 0 0 71026 28 0 0 25 0 1 0 776921644 22294528 3917 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5443 3917 1111 63 0 5380 0
vsize: 21772
[startup+720.51 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4016 0 0 0 72026 28 0 0 25 0 1 0 776921644 22294528 3940 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5443 3940 1111 63 0 5380 0
vsize: 21772
[startup+730.51 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4041 0 0 0 73026 28 0 0 25 0 1 0 776921644 22450176 3965 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3965 1111 63 0 5418 0
vsize: 21924
[startup+740.51 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4071 0 0 0 74026 28 0 0 25 0 1 0 776921644 22585344 3995 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3995 1111 63 0 5451 0
vsize: 22056
[startup+750.511 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4094 0 0 0 75026 29 0 0 25 0 1 0 776921644 22585344 4018 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4018 1111 63 0 5451 0
vsize: 22056
[startup+760.511 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4117 0 0 0 76026 29 0 0 25 0 1 0 776921644 22740992 4041 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5552 4041 1111 63 0 5489 0
vsize: 22208
[startup+770.512 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4141 0 0 0 77026 29 0 0 25 0 1 0 776921644 22876160 4065 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4065 1111 63 0 5522 0
vsize: 22340
[startup+780.512 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4165 0 0 0 78026 29 0 0 25 0 1 0 776921644 22876160 4089 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4089 1111 63 0 5522 0
vsize: 22340
[startup+790.512 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4188 0 0 0 79026 29 0 0 25 0 1 0 776921644 23023616 4112 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4112 1111 63 0 5558 0
vsize: 22484
[startup+800.513 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4211 0 0 0 80027 29 0 0 25 0 1 0 776921644 23158784 4135 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4135 1111 63 0 5591 0
vsize: 22616
[startup+810.513 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4243 0 0 0 81027 29 0 0 25 0 1 0 776921644 23314432 4167 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4167 1111 63 0 5629 0
vsize: 22768
[startup+820.514 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4266 0 0 0 82027 29 0 0 25 0 1 0 776921644 23314432 4190 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4190 1111 63 0 5629 0
vsize: 22768
[startup+830.514 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4290 0 0 0 83027 29 0 0 25 0 1 0 776921644 23449600 4214 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5725 4214 1111 63 0 5662 0
vsize: 22900
[startup+840.514 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4313 0 0 0 84027 29 0 0 25 0 1 0 776921644 23597056 4237 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4237 1111 63 0 5698 0
vsize: 23044
[startup+850.514 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4336 0 0 0 85027 29 0 0 25 0 1 0 776921644 23597056 4260 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4260 1111 63 0 5698 0
vsize: 23044
[startup+860.514 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4360 0 0 0 86027 29 0 0 25 0 1 0 776921644 23732224 4284 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4284 1111 63 0 5731 0
vsize: 23176
[startup+870.515 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4383 0 0 0 87027 30 0 0 25 0 1 0 776921644 23883776 4307 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5831 4307 1111 63 0 5768 0
vsize: 23324
[startup+880.515 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4407 0 0 0 88027 30 0 0 25 0 1 0 776921644 23883776 4331 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5831 4331 1111 63 0 5768 0
vsize: 23324
[startup+890.515 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4431 0 0 0 89027 30 0 0 25 0 1 0 776921644 24018944 4355 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 4355 1111 63 0 5801 0
vsize: 23456
[startup+900.516 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4454 0 0 0 90028 30 0 0 25 0 1 0 776921644 24174592 4378 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5902 4378 1111 63 0 5839 0
vsize: 23608
[startup+910.515 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4477 0 0 0 91028 30 0 0 25 0 1 0 776921644 24174592 4401 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5902 4401 1111 63 0 5839 0
vsize: 23608
[startup+920.516 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4500 0 0 0 92028 30 0 0 25 0 1 0 776921644 24330240 4424 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 4424 1111 63 0 5877 0
vsize: 23760
[startup+930.516 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4523 0 0 0 93028 30 0 0 25 0 1 0 776921644 24330240 4447 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 4447 1111 63 0 5877 0
vsize: 23760
[startup+940.516 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4553 0 0 0 94028 30 0 0 25 0 1 0 776921644 24465408 4477 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 4477 1111 63 0 5910 0
vsize: 23892
[startup+950.517 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4577 0 0 0 95028 30 0 0 25 0 1 0 776921644 24612864 4501 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 4501 1111 63 0 5946 0
vsize: 24036
[startup+960.518 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4602 0 0 0 96028 30 0 0 25 0 1 0 776921644 24748032 4526 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6042 4526 1111 63 0 5979 0
vsize: 24168
[startup+970.519 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4627 0 0 0 97029 30 0 0 25 0 1 0 776921644 24748032 4551 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6042 4551 1111 63 0 5979 0
vsize: 24168
[startup+980.518 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4650 0 0 0 98029 30 0 0 25 0 1 0 776921644 24903680 4574 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6080 4574 1111 63 0 6017 0
vsize: 24320
[startup+990.518 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4679 0 0 0 99029 30 0 0 25 0 1 0 776921644 25038848 4603 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6113 4603 1111 63 0 6050 0
vsize: 24452
[startup+1000.52 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4703 0 0 0 100029 30 0 0 25 0 1 0 776921644 25186304 4627 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 4627 1111 63 0 6086 0
vsize: 24596
[startup+1010.52 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4726 0 0 0 101029 30 0 0 25 0 1 0 776921644 25186304 4650 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 4650 1111 63 0 6086 0
vsize: 24596
[startup+1020.52 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4749 0 0 0 102029 30 0 0 25 0 1 0 776921644 25321472 4673 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6182 4673 1111 63 0 6119 0
vsize: 24728
[startup+1030.52 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4773 0 0 0 103029 31 0 0 25 0 1 0 776921644 25477120 4697 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 4697 1111 63 0 6157 0
vsize: 24880
[startup+1040.52 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4797 0 0 0 104030 31 0 0 25 0 1 0 776921644 25477120 4721 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 4721 1111 63 0 6157 0
vsize: 24880
[startup+1050.52 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4820 0 0 0 105030 31 0 0 25 0 1 0 776921644 25612288 4744 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6253 4744 1111 63 0 6190 0
vsize: 25012
[startup+1060.52 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4843 0 0 0 106030 31 0 0 25 0 1 0 776921644 25759744 4767 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 4767 1111 63 0 6226 0
vsize: 25156
[startup+1070.52 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4867 0 0 0 107030 31 0 0 25 0 1 0 776921644 25759744 4791 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 4791 1111 63 0 6226 0
vsize: 25156
[startup+1080.52 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4890 0 0 0 108030 31 0 0 25 0 1 0 776921644 25894912 4814 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6322 4814 1111 63 0 6259 0
vsize: 25288
[startup+1090.52 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4913 0 0 0 109030 31 0 0 25 0 1 0 776921644 26046464 4837 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6359 4837 1111 63 0 6296 0
vsize: 25436
[startup+1100.53 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4943 0 0 0 110031 31 0 0 25 0 1 0 776921644 26046464 4867 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6359 4867 1111 63 0 6296 0
vsize: 25436
[startup+1110.54 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4969 0 0 0 111032 31 0 0 25 0 1 0 776921644 26185728 4893 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6393 4893 1111 63 0 6330 0
vsize: 25572
[startup+1120.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 4992 0 0 0 112032 32 0 0 25 0 1 0 776921644 26337280 4916 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6430 4916 1111 63 0 6367 0
vsize: 25720
[startup+1130.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5015 0 0 0 113032 32 0 0 25 0 1 0 776921644 26337280 4939 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6430 4939 1111 63 0 6367 0
vsize: 25720
[startup+1140.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5039 0 0 0 114032 32 0 0 25 0 1 0 776921644 26492928 4963 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6468 4963 1111 63 0 6405 0
vsize: 25872
[startup+1150.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5062 0 0 0 115032 32 0 0 25 0 1 0 776921644 26628096 4986 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6501 4986 1111 63 0 6438 0
vsize: 26004
[startup+1160.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5091 0 0 0 116032 32 0 0 25 0 1 0 776921644 26775552 5015 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5015 1111 63 0 6474 0
vsize: 26148
[startup+1170.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5115 0 0 0 117032 32 0 0 25 0 1 0 776921644 26775552 5039 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5039 1111 63 0 6474 0
vsize: 26148
[startup+1180.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5140 0 0 0 118033 32 0 0 25 0 1 0 776921644 26910720 5064 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6570 5064 1111 63 0 6507 0
vsize: 26280
[startup+1190.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5163 0 0 0 119033 32 0 0 25 0 1 0 776921644 27066368 5087 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5087 1111 63 0 6545 0
vsize: 26432
[startup+1200.54 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) R 7398 32284 32283 0 -1 0 5187 0 0 0 120033 32 0 0 25 0 1 0 776921644 27066368 5111 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5111 1111 63 0 6545 0
vsize: 26432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.56 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 7399
Raw data (stat): 7399 (bsolo_lpr_cuts) Z 7398 32284 32283 0 -1 1036 5187 0 0 0 120033 33 0 0 25 0 1 0 776921644 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.56
CPU time (s): 1200.67
CPU user time (s): 1200.33
CPU system time (s): 0.337948
CPU usage (%): 100.01
Max. virtual memory (Kb): 26432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####