PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	3b5121187baf09367bd50bdc4d869d21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8448
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.43
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 41515

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 14:24:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29574 boxname=wulflinc4 idbench=1358 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3b5121187baf09367bd50bdc4d869d21  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 29574
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        883404 kB
Buffers:         10852 kB
Cached:         120172 kB
SwapCached:        896 kB
Active:          26564 kB
Inactive:       106528 kB
HighTotal:      131008 kB
HighFree:        24976 kB
LowTotal:       903652 kB
LowFree:        858428 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            12500 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:44:42 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 29574 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 14 constraints.
c After prepocess the problem consists of 186 variables and 14 constraints.
c preprocess terminated 0.1 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.018
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 215680 @ 0.386
c NEW SOLUTION FOUND: 185600 @ 0.388
c NEW SOLUTION FOUND: 110592 @ 0.46
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/54 17382
Raw data (stat): 17382 (runsolver) R 17381 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910964363 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 7787 0 0 0 966 31 0 0 25 0 1 0 910964363 10665984 1876 4294967295 134512640 134716908 3221224560 3221220832 1074805460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1876 1111 63 0 2541 0
vsize: 10416
[startup+20.0023 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 13808 0 0 0 1934 63 0 0 25 0 1 0 910964363 13807616 2640 4294967295 134512640 134716908 3221224560 3221222520 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2640 1111 63 0 3308 0
vsize: 13484
[startup+30.0032 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 19937 0 0 0 2906 91 0 0 25 0 1 0 910964363 16404480 3320 4294967295 134512640 134716908 3221224560 3221222724 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3320 1111 63 0 3942 0
vsize: 16020
[startup+40.0031 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 26077 0 0 0 3879 119 0 0 25 0 1 0 910964363 20275200 4198 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4198 1111 63 0 4887 0
vsize: 19800
[startup+50.0039 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 32700 0 0 0 4850 148 0 0 25 0 1 0 910964363 23736320 5102 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5795 5102 1111 63 0 5732 0
vsize: 23180
[startup+60.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 39033 0 0 0 5828 170 0 0 25 0 1 0 910964363 26501120 5621 4294967295 134512640 134716908 3221224560 3221221792 1075552798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6470 5621 1111 63 0 6407 0
vsize: 25880
[startup+70.0047 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 68845 0 0 0 6758 241 0 0 25 0 1 0 910964363 29720576 6561 4294967295 134512640 134716908 3221224560 3221222560 1074916528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7256 6561 1111 63 0 7193 0
vsize: 29024
[startup+80.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 78165 0 0 0 7735 263 0 0 25 0 1 0 910964363 30380032 6713 4294967295 134512640 134716908 3221224560 3221222560 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+90.0054 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 100927 0 0 0 8682 316 0 0 25 0 1 0 910964363 33628160 7485 4294967295 134512640 134716908 3221224560 3221222896 1074209414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8210 7485 1111 63 0 8147 0
vsize: 32840
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 126191 0 0 0 9625 374 0 0 25 0 1 0 910964363 38014976 8554 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9281 8554 1111 63 0 9218 0
vsize: 37124
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 139040 0 0 0 10596 403 0 0 25 0 1 0 910964363 37527552 8432 4294967295 134512640 134716908 3221224560 3221222288 1075828336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9162 8432 1111 63 0 9099 0
vsize: 36648
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 162665 0 0 0 11538 461 0 0 25 0 1 0 910964363 40615936 9189 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9916 9189 1111 63 0 9853 0
vsize: 39664
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 174348 0 0 0 12512 487 0 0 25 0 1 0 910964363 40230912 9107 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9822 9107 1111 63 0 9759 0
vsize: 39288
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 211607 0 0 0 13430 569 0 0 25 0 1 0 910964363 43954176 9823 4294967295 134512640 134716908 3221224560 3221221584 1074810483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10731 9823 1111 63 0 10668 0
vsize: 42924
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 249906 0 0 0 14341 658 0 0 25 0 1 0 910964363 50126848 11522 4294967295 134512640 134716908 3221224560 3221222960 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12238 11522 1111 63 0 12175 0
vsize: 48952
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 280715 0 0 0 15267 732 0 0 25 0 1 0 910964363 55930880 12926 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12926 1111 63 0 13592 0
vsize: 54620
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 311113 0 0 0 16196 804 0 0 25 0 1 0 910964363 59908096 13643 4294967295 134512640 134716908 3221224560 3221222208 1075818322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14626 13643 1111 63 0 14563 0
vsize: 58504
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 329566 0 0 0 17152 849 0 0 25 0 1 0 910964363 63209472 14446 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15432 14446 1111 63 0 15369 0
vsize: 61728
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 339216 0 0 0 18128 872 0 0 25 0 1 0 910964363 64860160 14838 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15835 14838 1111 63 0 15772 0
vsize: 63340
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 350991 0 0 0 19100 900 0 0 25 0 1 0 910964363 66981888 15336 4294967295 134512640 134716908 3221224560 3221222672 1074867341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16353 15336 1111 63 0 16290 0
vsize: 65412
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 365590 0 0 0 20064 937 0 0 25 0 1 0 910964363 68206592 15665 4294967295 134512640 134716908 3221224560 3221223112 134543271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16652 15665 1111 63 0 16589 0
vsize: 66608
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 398588 0 0 0 20987 1014 0 0 25 0 1 0 910964363 72183808 16633 4294967295 134512640 134716908 3221224560 3221221932 1075552946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17623 16633 1111 63 0 17560 0
vsize: 70492
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 429175 0 0 0 21915 1086 0 0 25 0 1 0 910964363 76894208 17696 4294967295 134512640 134716908 3221224560 3221221840 1074140044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18773 17696 1111 63 0 18710 0
vsize: 75092
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 437183 0 0 0 22896 1104 0 0 25 0 1 0 910964363 76963840 17755 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18790 17755 1111 63 0 18727 0
vsize: 75160
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 447784 0 0 0 23871 1130 0 0 25 0 1 0 910964363 77647872 17922 4294967295 134512640 134716908 3221224560 3221222960 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18957 17922 1111 63 0 18894 0
vsize: 75828
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 457340 0 0 0 24848 1153 0 0 25 0 1 0 910964363 78127104 18039 4294967295 134512640 134716908 3221224560 3221221804 1073948680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 18039 1111 63 0 19011 0
vsize: 76296
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 482868 0 0 0 25788 1214 0 0 25 0 1 0 910964363 78127104 18039 4294967295 134512640 134716908 3221224560 3221222208 1075818322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 18039 1111 63 0 19011 0
vsize: 76296
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 522142 0 0 0 26701 1300 0 0 25 0 1 0 910964363 82513920 19092 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20145 19092 1111 63 0 20082 0
vsize: 80580
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 561200 0 0 0 27612 1389 0 0 25 0 1 0 910964363 88272896 20294 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21551 20296 1111 63 0 21488 0
vsize: 86204
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 600488 0 0 0 28530 1472 0 0 25 0 1 0 910964363 92925952 21681 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22687 21681 1111 63 0 22624 0
vsize: 90748
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 640463 0 0 0 29437 1565 0 0 25 0 1 0 910964363 98611200 22854 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24075 22855 1111 63 0 24012 0
vsize: 96300
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 680038 0 0 0 30347 1655 0 0 25 0 1 0 910964363 102301696 23957 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24976 23957 1111 63 0 24913 0
vsize: 99904
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 716475 0 0 0 31267 1736 0 0 25 0 1 0 910964363 109985792 25409 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26852 25409 1111 63 0 26789 0
vsize: 107408
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 756718 0 0 0 32175 1828 0 0 25 0 1 0 910964363 118001664 26921 4294967295 134512640 134716908 3221224560 3221221092 1075863635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28589 26915 1111 63 0 28526 0
vsize: 115236
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 797250 0 0 0 33087 1916 0 0 25 0 1 0 910964363 123793408 28441 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30223 28441 1111 63 0 30160 0
vsize: 120892
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 836182 0 0 0 33997 2006 0 0 25 0 1 0 910964363 129699840 29887 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31665 29887 1111 63 0 31602 0
vsize: 126660
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 874274 0 0 0 34910 2093 0 0 25 0 1 0 910964363 134606848 31096 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32863 31096 1111 63 0 32800 0
vsize: 131452
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 911264 0 0 0 35827 2176 0 0 25 0 1 0 910964363 140873728 32602 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34393 32602 1111 63 0 34330 0
vsize: 137572
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 950474 0 0 0 36740 2264 0 0 25 0 1 0 910964363 148250624 34276 4294967295 134512640 134716908 3221224560 3221223288 134543271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36194 34276 1111 63 0 36131 0
vsize: 144776
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 987689 0 0 0 37659 2345 0 0 25 0 1 0 910964363 154054656 35626 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37556 35624 1111 63 0 37493 0
vsize: 150444
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1027692 0 0 0 38571 2433 0 0 25 0 1 0 910964363 158666752 36814 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38737 36814 1111 63 0 38674 0
vsize: 154948
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1067483 0 0 0 39485 2519 0 0 25 0 1 0 910964363 163164160 37958 4294967295 134512640 134716908 3221224560 3221222560 1074916540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39835 37958 1111 63 0 39772 0
vsize: 159340
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1107106 0 0 0 40395 2610 0 0 25 0 1 0 910964363 168939520 39163 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41135 39161 1111 63 0 41072 0
vsize: 164980
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1146115 0 0 0 41306 2699 0 0 25 0 1 0 910964363 172863488 40379 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42203 40379 1111 63 0 42140 0
vsize: 168812
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1184654 0 0 0 42217 2788 0 0 25 0 1 0 910964363 179306496 41791 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43776 41791 1111 63 0 43713 0
vsize: 175104
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1224143 0 0 0 43131 2875 0 0 25 0 1 0 910964363 184528896 43036 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45051 43043 1111 63 0 44988 0
vsize: 180204
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1262792 0 0 0 44049 2957 0 0 25 0 1 0 910964363 187674624 44070 4294967295 134512640 134716908 3221224560 3221223244 1076648036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45819 44070 1111 63 0 45756 0
vsize: 183276
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1302607 0 0 0 44961 3045 0 0 25 0 1 0 910964363 192352256 45227 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47016 45228 1111 63 0 46953 0
vsize: 187844
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1342841 0 0 0 45872 3134 0 0 25 0 1 0 910964363 197210112 46469 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48147 46469 1111 63 0 48084 0
vsize: 192588
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1382473 0 0 0 46784 3223 0 0 25 0 1 0 910964363 202547200 47710 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49615 47716 1111 63 0 49552 0
vsize: 197800
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1422276 0 0 0 47698 3309 0 0 25 0 1 0 910964363 207040512 48798 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50492 48796 1111 63 0 50429 0
vsize: 202188
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1462417 0 0 0 48610 3397 0 0 25 0 1 0 910964363 224780288 51674 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54878 51674 1111 63 0 54815 0
vsize: 219512
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1474981 0 0 0 49585 3422 0 0 25 0 1 0 910964363 227753984 52386 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55604 52386 1111 63 0 55541 0
vsize: 222416
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1475103 0 0 0 50583 3424 0 0 25 0 1 0 910964363 228343808 52508 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55748 52508 1111 63 0 55685 0
vsize: 222992
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1476503 0 0 0 51580 3427 0 0 25 0 1 0 910964363 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1476503 0 0 0 52580 3427 0 0 25 0 1 0 910964363 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1476503 0 0 0 53581 3427 0 0 25 0 1 0 910964363 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1476503 0 0 0 54581 3427 0 0 25 0 1 0 910964363 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1476503 0 0 0 55581 3427 0 0 25 0 1 0 910964363 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1481490 0 0 0 56570 3438 0 0 25 0 1 0 910964363 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1481490 0 0 0 57570 3438 0 0 25 0 1 0 910964363 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1481490 0 0 0 58570 3438 0 0 25 0 1 0 910964363 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1481490 0 0 0 59571 3438 0 0 25 0 1 0 910964363 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1481490 0 0 0 60573 3438 0 0 25 0 1 0 910964363 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+650.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1486444 0 0 0 61561 3450 0 0 25 0 1 0 910964363 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1486444 0 0 0 62561 3450 0 0 25 0 1 0 910964363 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+670.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1486444 0 0 0 63562 3450 0 0 25 0 1 0 910964363 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+680.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1486444 0 0 0 64562 3450 0 0 25 0 1 0 910964363 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+690.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1486444 0 0 0 65562 3451 0 0 25 0 1 0 910964363 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+700.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 66551 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+710.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 67552 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+720.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 68552 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+730.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 69552 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+740.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 70552 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+750.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1491429 0 0 0 71553 3462 0 0 25 0 1 0 910964363 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+760.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 72542 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+770.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 73543 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+780.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 74543 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+790.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 75543 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+800.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 76543 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+810.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1496445 0 0 0 77543 3472 0 0 25 0 1 0 910964363 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+820.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 78533 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+830.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 79533 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+840.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 80533 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+850.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 81534 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+860.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 82534 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+870.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1501513 0 0 0 83534 3483 0 0 25 0 1 0 910964363 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+880.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1505070 0 0 0 84523 3494 0 0 25 0 1 0 910964363 228298752 52519 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55737 52519 1111 63 0 55674 0
vsize: 222948
[startup+890.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1505181 0 0 0 85521 3497 0 0 25 0 1 0 910964363 228753408 52630 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55848 52630 1111 63 0 55785 0
vsize: 223392
[startup+900.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1506508 0 0 0 86517 3500 0 0 25 0 1 0 910964363 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+910.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1506508 0 0 0 87517 3501 0 0 25 0 1 0 910964363 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+920.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1506508 0 0 0 88518 3501 0 0 25 0 1 0 910964363 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+930.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1506508 0 0 0 89518 3501 0 0 25 0 1 0 910964363 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+940.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1506508 0 0 0 90518 3501 0 0 25 0 1 0 910964363 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+950.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 91506 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+960.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 92506 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+970.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 93506 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+980.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 94507 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+990.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 95507 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1511445 0 0 0 96507 3513 0 0 25 0 1 0 910964363 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 97496 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 98496 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 99496 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 100496 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 101497 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1516372 0 0 0 102497 3524 0 0 25 0 1 0 910964363 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1521349 0 0 0 103486 3535 0 0 25 0 1 0 910964363 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1521349 0 0 0 104486 3535 0 0 25 0 1 0 910964363 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1521349 0 0 0 105486 3535 0 0 25 0 1 0 910964363 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1521349 0 0 0 106487 3535 0 0 25 0 1 0 910964363 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1521349 0 0 0 107487 3535 0 0 25 0 1 0 910964363 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1524867 0 0 0 108478 3544 0 0 25 0 1 0 910964363 228102144 52471 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55689 52471 1111 63 0 55626 0
vsize: 222756
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1525017 0 0 0 109477 3545 0 0 25 0 1 0 910964363 228716544 52621 4294967295 134512640 134716908 3221224560 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55839 52621 1111 63 0 55776 0
vsize: 223356
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1526000 0 0 0 110475 3548 0 0 25 0 1 0 910964363 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1526000 0 0 0 111475 3548 0 0 25 0 1 0 910964363 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1526000 0 0 0 112475 3548 0 0 25 0 1 0 910964363 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1529129 0 0 0 113467 3556 0 0 25 0 1 0 910964363 229220352 52744 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55962 52744 1111 63 0 55899 0
vsize: 223848
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1530127 0 0 0 114464 3560 0 0 25 0 1 0 910964363 231522304 53306 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56524 53306 1111 63 0 56461 0
vsize: 226096
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1530127 0 0 0 115464 3560 0 0 25 0 1 0 910964363 231522304 53306 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56524 53306 1111 63 0 56461 0
vsize: 226096
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) R 17381 21152 21151 0 -1 0 1530127 0 0 0 116464 3560 0 0 25 0 1 0 910964363 231522304 53306 4294967295 134512640 134716908 3221224560 3221222560 1074918201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56524 53306 1111 63 0 56461 0
vsize: 226096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17382
Raw data (stat): 17382 (bsolo_lpr_cuts-) Z 17381 21152 21151 0 -1 1036 1530127 0 0 0 116464 3569 0 0 25 0 1 0 910964363 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.19
CPU time (s): 1200.35
CPU user time (s): 1164.65
CPU system time (s): 35.6996
CPU usage (%): 100.013
Max. virtual memory (Kb): 227240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####