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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
MD5SUM	8d302f04261c322e5b8c31c087553d24
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1272
Optimality of the best value was proved	NO
Number of terms in the objective function	3300
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3300
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3300
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	3300
Total number of constraints	21018
Number of constraints which are clauses	21018
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 40684

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 18:18:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28750 boxname=wulflinc5 idbench=136 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8d302f04261c322e5b8c31c087553d24  /oldhome/oroussel/tmp/wulflinc5/normalized-ii16a1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii16a1.opb
IDLAUNCH: 28750
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        844928 kB
Buffers:         23808 kB
Cached:         144256 kB
SwapCached:        644 kB
Active:          31244 kB
Inactive:       138880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        844676 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13992 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:38:12 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 28750 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 21018 constraints.
c After prepocess the problem consists of 3300 variables and 21018 constraints.
c preprocess terminated 78.681 s
c Initial Lower Bound: 630
c Lower Bound Elapsed time: 99.936
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1650 @ 179.509
c NEW SOLUTION FOUND: 1649 @ 179.517
c NEW SOLUTION FOUND: 1648 @ 179.576
c NEW SOLUTION FOUND: 1647 @ 179.613
c NEW SOLUTION FOUND: 1646 @ 179.65
c NEW SOLUTION FOUND: 1645 @ 179.688
c NEW SOLUTION FOUND: 1644 @ 179.727
c NEW SOLUTION FOUND: 1643 @ 179.765
c NEW SOLUTION FOUND: 1642 @ 179.804
c NEW SOLUTION FOUND: 1641 @ 179.845
c NEW SOLUTION FOUND: 1640 @ 179.925
c NEW SOLUTION FOUND: 1639 @ 180.005
c NEW SOLUTION FOUND: 1638 @ 180.049
c NEW SOLUTION FOUND: 1637 @ 180.094
c NEW SOLUTION FOUND: 1636 @ 180.138
c NEW SOLUTION FOUND: 1635 @ 180.186
c NEW SOLUTION FOUND: 1634 @ 180.24
c NEW SOLUTION FOUND: 1633 @ 180.322
c NEW SOLUTION FOUND: 1632 @ 180.377
c NEW SOLUTION FOUND: 1631 @ 180.523
c NEW SOLUTION FOUND: 1630 @ 180.574
c NEW SOLUTION FOUND: 1629 @ 180.625
c NEW SOLUTION FOUND: 1628 @ 180.677
c NEW SOLUTION FOUND: 1627 @ 180.731
c NEW SOLUTION FOUND: 1626 @ 180.785
c NEW SOLUTION FOUND: 1621 @ 180.844
c NEW SOLUTION FOUND: 1620 @ 180.965
c NEW SOLUTION FOUND: 1619 @ 181.028
c NEW SOLUTION FOUND: 1618 @ 181.153
c NEW SOLUTION FOUND: 1617 @ 181.217
c NEW SOLUTION FOUND: 1616 @ 181.281
c NEW SOLUTION FOUND: 1615 @ 181.346
c NEW SOLUTION FOUND: 1614 @ 181.412
c NEW SOLUTION FOUND: 1613 @ 181.478
c NEW SOLUTION FOUND: 1612 @ 181.544
c NEW SOLUTION FOUND: 1611 @ 181.61
c NEW SOLUTION FOUND: 1610 @ 181.743
c NEW SOLUTION FOUND: 1609 @ 181.881
c NEW SOLUTION FOUND: 1608 @ 182.028
c NEW SOLUTION FOUND: 1607 @ 182.18
c NEW SOLUTION FOUND: 1606 @ 182.258
c NEW SOLUTION FOUND: 1605 @ 182.339
c NEW SOLUTION FOUND: 1604 @ 182.422
c NEW SOLUTION FOUND: 1603 @ 182.508
c NEW SOLUTION FOUND: 1602 @ 182.595
c NEW SOLUTION FOUND: 1601 @ 182.729
c NEW SOLUTION FOUND: 1600 @ 182.869
c NEW SOLUTION FOUND: 1599 @ 182.973
c NEW SOLUTION FOUND: 1598 @ 183.078
c NEW SOLUTION FOUND: 1597 @ 183.187
c NEW SOLUTION FOUND: 1596 @ 183.295
c NEW SOLUTION FOUND: 1595 @ 183.403
c NEW SOLUTION FOUND: 1594 @ 183.512
c NEW SOLUTION FOUND: 1593 @ 183.622
c NEW SOLUTION FOUND: 1592 @ 183.733
c NEW SOLUTION FOUND: 1591 @ 183.845
c NEW SOLUTION FOUND: 1590 @ 183.958
c NEW SOLUTION FOUND: 1589 @ 184.075
c NEW SOLUTION FOUND: 1588 @ 184.309
c NEW SOLUTION FOUND: 1587 @ 184.782
c NEW SOLUTION FOUND: 1586 @ 185.342
c NEW SOLUTION FOUND: 1585 @ 185.484
c NEW SOLUTION FOUND: 1584 @ 185.625
c NEW SOLUTION FOUND: 1583 @ 185.766
c NEW SOLUTION FOUND: 1582 @ 185.914
c NEW SOLUTION FOUND: 1581 @ 186.222
c NEW SOLUTION FOUND: 1580 @ 186.427
c NEW SOLUTION FOUND: 1579 @ 186.647
c NEW SOLUTION FOUND: 1578 @ 186.805
c NEW SOLUTION FOUND: 1576 @ 186.972
c NEW SOLUTION FOUND: 1575 @ 187.561
c NEW SOLUTION FOUND: 1574 @ 187.747
c NEW SOLUTION FOUND: 1573 @ 188.108
c NEW SOLUTION FOUND: 1572 @ 188.315
c NEW SOLUTION FOUND: 1571 @ 189.013
c NEW SOLUTION FOUND: 1570 @ 189.226
c NEW SOLUTION FOUND: 1558 @ 190.29
c NEW SOLUTION FOUND: 1557 @ 190.775
c NEW SOLUTION FOUND: 1556 @ 191.14
c NEW SOLUTION FOUND: 1550 @ 192.939
c NEW SOLUTION FOUND: 1547 @ 193.293
c NEW SOLUTION FOUND: 1546 @ 193.654
c NEW SOLUTION FOUND: 1540 @ 194.038
c NEW SOLUTION FOUND: 1539 @ 194.433
c NEW SOLUTION FOUND: 1538 @ 196.044
c NEW SOLUTION FOUND: 1537 @ 197.685
c NEW SOLUTION FOUND: 1536 @ 198.912
c NEW SOLUTION FOUND: 1535 @ 199.44
c NEW SOLUTION FOUND: 1534 @ 199.966
c NEW SOLUTION FOUND: 1532 @ 203.36
#### 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.92 0.95 0.91 1/54 21433
Raw data (stat): 21433 (runsolver) D 21432 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 903734047 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4764 0 0 0 984 11 0 0 25 0 1 0 903734047 22626304 4676 4294967295 134512640 134716908 3221224576 3221223088 134528607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5524 4676 1111 63 0 5461 0
vsize: 22096
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 1985 11 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 2985 11 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 3985 11 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 4985 12 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 5985 12 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 4788 0 0 0 6985 12 0 0 25 0 1 0 903734047 22765568 4700 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4700 1111 63 0 5495 0
vsize: 22232
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 5255 0 0 0 7985 12 0 0 25 0 1 0 903734047 24788992 5167 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5167 1111 63 0 5989 0
vsize: 24208
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 5494 0 0 0 8981 14 0 0 25 0 1 0 903734047 25739264 5406 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5406 1111 63 0 6221 0
vsize: 25136
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 5531 0 0 0 9979 17 0 0 25 0 1 0 903734047 25845760 5443 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6310 5443 1111 63 0 6247 0
vsize: 25240
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 8278 0 0 0 10973 23 0 0 25 0 1 0 903734047 40615936 7505 4294967295 134512640 134716908 3221224576 3221221424 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 7505 1111 63 0 9853 0
vsize: 39664
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 8380 0 0 0 11973 24 0 0 25 0 1 0 903734047 40615936 7541 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 7541 1111 63 0 9853 0
vsize: 39664
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 8503 0 0 0 12973 24 0 0 25 0 1 0 903734047 41369600 7604 4294967295 134512640 134716908 3221224576 3221221112 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10100 7604 1111 63 0 10037 0
vsize: 40400
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 13319 0 0 0 13958 39 0 0 25 0 1 0 903734047 29872128 6503 4294967295 134512640 134716908 3221224576 3221222960 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6503 1111 63 0 7230 0
vsize: 29172
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 15999 0 0 0 14945 52 0 0 25 0 1 0 903734047 29872128 6503 4294967295 134512640 134716908 3221224576 3221222896 1073989416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6503 1111 63 0 7230 0
vsize: 29172
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 18519 0 0 0 15936 62 0 0 25 0 1 0 903734047 29872128 6503 4294967295 134512640 134716908 3221224576 3221222784 1073990306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6503 1111 63 0 7230 0
vsize: 29172
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 21024 0 0 0 16926 72 0 0 25 0 1 0 903734047 29872128 6503 4294967295 134512640 134716908 3221224576 3221222632 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6503 1111 63 0 7230 0
vsize: 29172
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 23700 0 0 0 17916 82 0 0 25 0 1 0 903734047 26415104 5721 4294967295 134512640 134716908 3221224576 3221222620 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6449 5721 1111 63 0 6386 0
vsize: 25796
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 38741 0 0 0 18877 120 0 0 25 0 1 0 903734047 26431488 5728 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 5728 1111 63 0 6390 0
vsize: 25812
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 43131 0 0 0 19866 131 0 0 25 0 1 0 903734047 26431488 5735 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6453 5735 1111 63 0 6390 0
vsize: 25812
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 47082 0 0 0 20854 143 0 0 25 0 1 0 903734047 35135488 5940 4294967295 134512640 134716908 3221224576 3221221176 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8578 5940 1111 63 0 8515 0
vsize: 34312
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 51512 0 0 0 21843 154 0 0 25 0 1 0 903734047 27361280 5939 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6680 5939 1111 63 0 6617 0
vsize: 26720
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 55612 0 0 0 22832 166 0 0 25 0 1 0 903734047 27234304 5939 4294967295 134512640 134716908 3221224576 3221223136 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6649 5939 1111 63 0 6586 0
vsize: 26596
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 61588 0 0 0 23817 180 0 0 25 0 1 0 903734047 36220928 6225 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8843 6225 1111 63 0 8780 0
vsize: 35372
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 64152 0 0 0 24809 188 0 0 25 0 1 0 903734047 28475392 6215 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6215 1111 63 0 6889 0
vsize: 27808
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 64375 0 0 0 25808 190 0 0 25 0 1 0 903734047 29229056 6426 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7136 6426 1111 63 0 7073 0
vsize: 28544
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 64424 0 0 0 26806 192 0 0 25 0 1 0 903734047 29331456 6451 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7161 6451 1111 63 0 7098 0
vsize: 28644
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 66838 0 0 0 27800 198 0 0 25 0 1 0 903734047 43339776 8201 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 8201 1111 63 0 10518 0
vsize: 42324
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 66924 0 0 0 28799 199 0 0 25 0 1 0 903734047 43339776 8221 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 8221 1111 63 0 10518 0
vsize: 42324
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 66991 0 0 0 29799 199 0 0 25 0 1 0 903734047 43180032 8222 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10542 8222 1111 63 0 10479 0
vsize: 42168
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 68995 0 0 0 30795 204 0 0 25 0 1 0 903734047 28471296 6240 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6951 6240 1111 63 0 6888 0
vsize: 27804
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 69101 0 0 0 31792 207 0 0 25 0 1 0 903734047 28766208 6313 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7023 6313 1111 63 0 6960 0
vsize: 28092
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 69248 0 0 0 32791 208 0 0 25 0 1 0 903734047 29368320 6460 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7170 6460 1111 63 0 7107 0
vsize: 28680
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 71673 0 0 0 33786 213 0 0 25 0 1 0 903734047 43134976 8212 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10531 8212 1111 63 0 10468 0
vsize: 42124
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 71746 0 0 0 34786 213 0 0 25 0 1 0 903734047 43134976 8221 4294967295 134512640 134716908 3221224576 3221220456 1074788416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10531 8221 1111 63 0 10468 0
vsize: 42124
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 73761 0 0 0 35782 218 0 0 25 0 1 0 903734047 28241920 6161 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6161 1111 63 0 6832 0
vsize: 27580
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 73941 0 0 0 36779 221 0 0 25 0 1 0 903734047 28745728 6308 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7018 6308 1111 63 0 6955 0
vsize: 28072
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 74034 0 0 0 37776 224 0 0 25 0 1 0 903734047 29126656 6401 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7111 6401 1111 63 0 7048 0
vsize: 28444
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 76481 0 0 0 38770 230 0 0 25 0 1 0 903734047 43102208 8198 4294967295 134512640 134716908 3221224576 3221220796 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10523 8198 1111 63 0 10460 0
vsize: 42092
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 76561 0 0 0 39769 231 0 0 25 0 1 0 903734047 43102208 8212 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10523 8212 1111 63 0 10460 0
vsize: 42092
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 78571 0 0 0 40765 236 0 0 25 0 1 0 903734047 28241920 6157 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6157 1111 63 0 6832 0
vsize: 27580
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 78767 0 0 0 41762 239 0 0 25 0 1 0 903734047 28901376 6320 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6320 1111 63 0 6993 0
vsize: 28224
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 78834 0 0 0 42760 240 0 0 25 0 1 0 903734047 29134848 6387 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7113 6387 1111 63 0 7050 0
vsize: 28452
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 81116 0 0 0 43756 245 0 0 25 0 1 0 903734047 42459136 8026 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10366 8026 1111 63 0 10303 0
vsize: 41464
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 81191 0 0 0 44756 246 0 0 25 0 1 0 903734047 42459136 8033 4294967295 134512640 134716908 3221224576 3221221344 1076083606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10366 8033 1111 63 0 10303 0
vsize: 41464
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 83139 0 0 0 45750 251 0 0 25 0 1 0 903734047 28397568 6223 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6933 6223 1111 63 0 6870 0
vsize: 27732
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 83245 0 0 0 46749 253 0 0 25 0 1 0 903734047 28831744 6329 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7039 6329 1111 63 0 6976 0
vsize: 28156
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 85507 0 0 0 47742 260 0 0 25 0 1 0 903734047 42409984 7990 4294967295 134512640 134716908 3221224576 3221220720 1074970884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10354 7990 1111 63 0 10291 0
vsize: 41416
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 85625 0 0 0 48742 260 0 0 25 0 1 0 903734047 42409984 8038 4294967295 134512640 134716908 3221224576 3221220632 1074860243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10354 8038 1111 63 0 10291 0
vsize: 41416
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 87451 0 0 0 49738 264 0 0 25 0 1 0 903734047 27975680 6120 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 6120 1111 63 0 6767 0
vsize: 27320
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 87687 0 0 0 50737 265 0 0 25 0 1 0 903734047 29057024 6356 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6356 1111 63 0 7031 0
vsize: 28376
[startup+520.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 87786 0 0 0 51736 267 0 0 25 0 1 0 903734047 29417472 6455 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7182 6455 1111 63 0 7119 0
vsize: 28728
[startup+530.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 89983 0 0 0 52730 273 0 0 25 0 1 0 903734047 42360832 8017 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 8017 1111 63 0 10279 0
vsize: 41368
[startup+540.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 90060 0 0 0 53730 273 0 0 25 0 1 0 903734047 42360832 8026 4294967295 134512640 134716908 3221224576 3221220796 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 8026 1111 63 0 10279 0
vsize: 41368
[startup+550.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 91939 0 0 0 54726 277 0 0 25 0 1 0 903734047 28336128 6180 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 6180 1111 63 0 6855 0
vsize: 27672
[startup+560.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 92145 0 0 0 55725 278 0 0 25 0 1 0 903734047 29163520 6386 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7120 6386 1111 63 0 7057 0
vsize: 28480
[startup+570.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 92848 0 0 0 56722 282 0 0 25 0 1 0 903734047 31182848 6837 4294967295 134512640 134716908 3221224576 3221222856 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7613 6837 1111 63 0 7550 0
vsize: 30452
[startup+580.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 94442 0 0 0 57719 285 0 0 25 0 1 0 903734047 42401792 8033 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10352 8033 1111 63 0 10289 0
vsize: 41408
[startup+590.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 94515 0 0 0 58718 286 0 0 25 0 1 0 903734047 42401792 8038 4294967295 134512640 134716908 3221224576 3221220536 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10352 8038 1111 63 0 10289 0
vsize: 41408
[startup+600.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 96497 0 0 0 59713 292 0 0 25 0 1 0 903734047 28307456 6174 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 6174 1111 63 0 6848 0
vsize: 27644
[startup+610.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 96710 0 0 0 60711 293 0 0 25 0 1 0 903734047 29192192 6387 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7127 6387 1111 63 0 7064 0
vsize: 28508
[startup+620.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 98780 0 0 0 61705 299 0 0 25 0 1 0 903734047 42102784 7877 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7877 1111 63 0 10216 0
vsize: 41116
[startup+630.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 98997 0 0 0 62705 300 0 0 25 0 1 0 903734047 42287104 8022 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 8022 1111 63 0 10261 0
vsize: 41296
[startup+640.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 99069 0 0 0 63705 301 0 0 25 0 1 0 903734047 42287104 8026 4294967295 134512640 134716908 3221224576 3221220796 1075116760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 8026 1111 63 0 10261 0
vsize: 41296
[startup+650.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 100873 0 0 0 64700 306 0 0 25 0 1 0 903734047 28258304 6187 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6899 6187 1111 63 0 6836 0
vsize: 27596
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 101033 0 0 0 65696 309 0 0 25 0 1 0 903734047 28819456 6326 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7036 6326 1111 63 0 6973 0
vsize: 28144
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 103223 0 0 0 66690 316 0 0 25 0 1 0 903734047 42471424 7931 4294967295 134512640 134716908 3221224576 3221221108 1075863612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10369 7931 1111 63 0 10306 0
vsize: 41476
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 103375 0 0 0 67690 316 0 0 25 0 1 0 903734047 42328064 8009 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10334 8009 1111 63 0 10271 0
vsize: 41336
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 103497 0 0 0 68690 317 0 0 25 0 1 0 903734047 42942464 8063 4294967295 134512640 134716908 3221224576 3221221344 1076083506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10484 8063 1111 63 0 10421 0
vsize: 41936
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 105327 0 0 0 69686 320 0 0 25 0 1 0 903734047 28557312 6240 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6240 1111 63 0 6909 0
vsize: 27888
[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 105494 0 0 0 70684 323 0 0 25 0 1 0 903734047 29237248 6407 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6407 1111 63 0 7075 0
vsize: 28552
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 107684 0 0 0 71679 328 0 0 25 0 1 0 903734047 42299392 7986 4294967295 134512640 134716908 3221224576 3221220632 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 7986 1111 63 0 10264 0
vsize: 41308
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 107775 0 0 0 72678 329 0 0 25 0 1 0 903734047 42299392 8005 4294967295 134512640 134716908 3221224576 3221221556 1075964073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 8005 1111 63 0 10264 0
vsize: 41308
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 107849 0 0 0 73678 329 0 0 25 0 1 0 903734047 42442752 8011 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10362 8011 1111 63 0 10299 0
vsize: 41448
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 109827 0 0 0 74673 334 0 0 25 0 1 0 903734047 28483584 6233 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6233 1111 63 0 6891 0
vsize: 27816
[startup+760.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 110029 0 0 0 75671 336 0 0 25 0 1 0 903734047 29347840 6435 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7165 6435 1111 63 0 7102 0
vsize: 28660
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 112210 0 0 0 76666 342 0 0 25 0 1 0 903734047 42479616 7999 4294967295 134512640 134716908 3221224576 3221221232 1075967898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10371 7999 1111 63 0 10308 0
vsize: 41484
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 112298 0 0 0 77665 343 0 0 25 0 1 0 903734047 42336256 8017 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10336 8017 1111 63 0 10273 0
vsize: 41344
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 112411 0 0 0 78665 343 0 0 25 0 1 0 903734047 42807296 8060 4294967295 134512640 134716908 3221224576 3221221696 1074837180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 8060 1111 63 0 10388 0
vsize: 41804
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 114151 0 0 0 79660 348 0 0 25 0 1 0 903734047 28577792 6260 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6260 1111 63 0 6914 0
vsize: 27908
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 114333 0 0 0 80659 350 0 0 25 0 1 0 903734047 29388800 6442 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7175 6442 1111 63 0 7112 0
vsize: 28700
[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 116512 0 0 0 81654 355 0 0 25 0 1 0 903734047 42323968 7999 4294967295 134512640 134716908 3221224576 3221220796 1075116760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10333 7999 1111 63 0 10270 0
vsize: 41332
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 116597 0 0 0 82653 356 0 0 25 0 1 0 903734047 42323968 8014 4294967295 134512640 134716908 3221224576 3221220796 1075116535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10333 8014 1111 63 0 10270 0
vsize: 41332
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 116670 0 0 0 83654 356 0 0 25 0 1 0 903734047 42467328 8019 4294967295 134512640 134716908 3221224576 3221221728 1075969830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10368 8019 1111 63 0 10305 0
vsize: 41472
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 118546 0 0 0 84648 361 0 0 25 0 1 0 903734047 28241920 6157 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6895 6157 1111 63 0 6832 0
vsize: 27580
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 118728 0 0 0 85646 363 0 0 25 0 1 0 903734047 28737536 6306 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6306 1111 63 0 6953 0
vsize: 28064
[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 118825 0 0 0 86644 365 0 0 25 0 1 0 903734047 29134848 6403 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7113 6403 1111 63 0 7050 0
vsize: 28452
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 121069 0 0 0 87639 370 0 0 25 0 1 0 903734047 42299392 8004 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 8004 1111 63 0 10264 0
vsize: 41308
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 121145 0 0 0 88639 371 0 0 25 0 1 0 903734047 42442752 8012 4294967295 134512640 134716908 3221224576 3221221344 1076084137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10362 8012 1111 63 0 10299 0
vsize: 41448
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 123118 0 0 0 89634 376 0 0 25 0 1 0 903734047 28241920 6160 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6160 1111 63 0 6832 0
vsize: 27580
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 123315 0 0 0 90632 378 0 0 25 0 1 0 903734047 28913664 6324 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6324 1111 63 0 6996 0
vsize: 28236
[startup+920.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 125438 0 0 0 91627 383 0 0 25 0 1 0 903734047 42123264 7873 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10284 7873 1111 63 0 10221 0
vsize: 41136
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 125644 0 0 0 92626 384 0 0 25 0 1 0 903734047 42450944 8007 4294967295 134512640 134716908 3221224576 3221221504 1075960263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10364 8007 1111 63 0 10301 0
vsize: 41456
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 127380 0 0 0 93622 389 0 0 25 0 1 0 903734047 29208576 6420 4294967295 134512640 134716908 3221224576 3221222976 1074118864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7131 6420 1111 63 0 7068 0
vsize: 28524
[startup+950.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 127663 0 0 0 94621 390 0 0 25 0 1 0 903734047 28590080 6270 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6980 6270 1111 63 0 6917 0
vsize: 27920
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 127790 0 0 0 95620 392 0 0 25 0 1 0 903734047 29110272 6397 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7107 6397 1111 63 0 7044 0
vsize: 28428
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 130022 0 0 0 96614 397 0 0 25 0 1 0 903734047 42418176 8001 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10356 8001 1111 63 0 10293 0
vsize: 41424
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 130095 0 0 0 97614 397 0 0 25 0 1 0 903734047 42274816 8004 4294967295 134512640 134716908 3221224576 3221220796 1075116530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10321 8004 1111 63 0 10258 0
vsize: 41284
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 132043 0 0 0 98609 403 0 0 25 0 1 0 903734047 28553216 6261 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6971 6261 1111 63 0 6908 0
vsize: 27884
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 132186 0 0 0 99607 405 0 0 25 0 1 0 903734047 29089792 6371 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7102 6371 1111 63 0 7039 0
vsize: 28408
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 134409 0 0 0 100603 409 0 0 25 0 1 0 903734047 42434560 7990 4294967295 134512640 134716908 3221224576 3221221344 1076083593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10360 7990 1111 63 0 10297 0
vsize: 41440
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 134493 0 0 0 101603 410 0 0 25 0 1 0 903734047 42434560 8004 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10360 8004 1111 63 0 10297 0
vsize: 41440
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 136333 0 0 0 102598 414 0 0 25 0 1 0 903734047 28106752 6152 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6862 6152 1111 63 0 6799 0
vsize: 27448
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 136534 0 0 0 103596 417 0 0 25 0 1 0 903734047 28868608 6338 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7048 6338 1111 63 0 6985 0
vsize: 28192
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 138722 0 0 0 104591 422 0 0 25 0 1 0 903734047 42418176 7942 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10356 7942 1111 63 0 10293 0
vsize: 41424
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 138850 0 0 0 105590 423 0 0 25 0 1 0 903734047 42274816 7998 4294967295 134512640 134716908 3221224576 3221220572 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10321 7998 1111 63 0 10258 0
vsize: 41284
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 138921 0 0 0 106590 423 0 0 25 0 1 0 903734047 42274816 7999 4294967295 134512640 134716908 3221224576 3221220632 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10321 7999 1111 63 0 10258 0
vsize: 41284
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 140975 0 0 0 107585 429 0 0 25 0 1 0 903734047 29036544 6347 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7089 6347 1111 63 0 7026 0
vsize: 28356
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 141079 0 0 0 108583 431 0 0 25 0 1 0 903734047 29409280 6451 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7180 6451 1111 63 0 7117 0
vsize: 28720
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 143232 0 0 0 109577 437 0 0 25 0 1 0 903734047 42266624 7982 4294967295 134512640 134716908 3221224576 3221220712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 7982 1111 63 0 10256 0
vsize: 41276
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 143314 0 0 0 110577 437 0 0 25 0 1 0 903734047 42266624 7994 4294967295 134512640 134716908 3221224576 3221221696 1074834233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 7994 1111 63 0 10256 0
vsize: 41276
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 145150 0 0 0 111572 442 0 0 25 0 1 0 903734047 28336128 6183 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 6183 1111 63 0 6855 0
vsize: 27672
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 145356 0 0 0 112571 444 0 0 25 0 1 0 903734047 29175808 6389 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 6389 1111 63 0 7060 0
vsize: 28492
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 147508 0 0 0 113566 449 0 0 25 0 1 0 903734047 42266624 7947 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 7947 1111 63 0 10256 0
vsize: 41276
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 147623 0 0 0 114565 450 0 0 25 0 1 0 903734047 42266624 7992 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 7992 1111 63 0 10256 0
vsize: 41276
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 149403 0 0 0 115561 454 0 0 25 0 1 0 903734047 28241920 6156 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6156 1111 63 0 6832 0
vsize: 27580
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 149587 0 0 0 116559 457 0 0 25 0 1 0 903734047 28741632 6307 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7017 6307 1111 63 0 6954 0
vsize: 28068
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 151735 0 0 0 117554 462 0 0 25 0 1 0 903734047 42053632 7879 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10267 7879 1111 63 0 10204 0
vsize: 41068
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 151904 0 0 0 118554 462 0 0 25 0 1 0 903734047 42237952 7976 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10312 7976 1111 63 0 10249 0
vsize: 41248
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) R 21432 7266 7265 0 -1 0 152026 0 0 0 119554 463 0 0 25 0 1 0 903734047 42704896 8028 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 8028 1111 63 0 10363 0
vsize: 41704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 21433
Raw data (stat): 21433 (bsolo_lpr_cuts-) Z 21432 7266 7265 0 -1 1036 152026 0 0 0 119554 464 0 0 25 0 1 0 903734047 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.06
CPU time (s): 1200.19
CPU user time (s): 1195.54
CPU system time (s): 4.64929
CPU usage (%): 100.011
Max. virtual memory (Kb): 42324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####